A mostrar
1 - 4
resultados de
4
para a pesquisa '
(
'
Ir para o conteúdo
A sua conta
Sair
Login Institucional
Idioma
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Palavra-chave
Curso
Título
Título do Periódico
Autor
Assunto
ISBN/ISSN
Área/Cota
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Barcode
Colecção
Percorrer por ordem alfabética: Títulos
Percorrer por ordem alfabética: Autores
Percorrer por ordem alfabética: Assuntos
Percorrer por ordem alfabética: By LC Call Number
Percorrer por ordem alfabética: By Dewey Call Number
Pesquisar
Avançada
Page will reload when a filter is removed.
Applied Filters:
Autor:
Remove Filter
SpringerLink (Online service)
E
Remove Filter
ETAPS 2005
Page will reload when a filter is removed.
Show filters (2)
Autor:
Remove Filter
SpringerLink (Online service)
E
Remove Filter
ETAPS 2005
UC Library
Pesquisa no Catálogo da Biblioteca
Resultados da pesquisa - (
A mostrar
1 - 4
resultados de
4
para a pesquisa '
(
'
Refinar resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
Seleccionar todos
Email
Exportar
Imprimir
Gravar
Select result number 1
1
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice o...
Publicado em 2005
Localização
A carregar...
Área/Cota
A carregar...
Connect to electronic resource
Recurso Electrónico
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
Select result number 2
2
Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinbu...
Publicado em 2005
Localização
A carregar...
Área/Cota
A carregar...
Connect to electronic resource
Recurso Electrónico
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
Select result number 3
3
Compiler construction 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-...
Publicado em 2005
Localização
A carregar...
Área/Cota
A carregar...
Connect to electronic resource
Recurso Electrónico
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
Select result number 4
4
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Soft...
Publicado em 2005
Localização
A carregar...
Área/Cota
A carregar...
Connect to electronic resource
Recurso Electrónico
Conference Proceeding
livro electrónico
Adic. favoritos
Na minha lista:
Seleccionar todos
Email
Exportar
Imprimir
Gravar
Ferramentas de pesquisa:
Obter Feed RSS
Enviar pesquisa por email
Guardar a pesquisa
Voltar
Refinar resultados
Page will reload when a filter is selected or excluded.
Formato
Conference Proceeding
4 results
4
Recurso Electrónico
4 results
4
Livro
3 results
3
livro electrónico
1 results
1
Ano da publicação
De:
Até:
Sugestões de Tópicos
Computer software
2 results
2
Compilers (Computer programs)
1 results
1
Development
1 results
1
Software engineering
1 results
1
System analysis
1 results
1
System design
1 results
1
Tipo
Congresses
4 results
4
Idioma
English
4 results
4
Autor
ETAPS 2005
SpringerLink (Online service)
Bodik, Rastislav
1 results
1
CC 2005 Edinburgh, Scotland
1 results
1
Cerioli, Maura
1 results
1
FASE 2005 Edinburgh, Scotland
1 results
1
FOSSACS 2005 Edinburgh, UK
1 results
1
Halbwachs, Nicolas
1 results
1
Sassone, Vladimiro
1 results
1
TACAS 2005 Edinburgh, Scotland
1 results
1
Zuck, Lenore D., 1958-
1 results
1
Ver todos...
Área/Cota
Q - Science
3 results
3
A carregar...