Mostrando
1 - 4
resultados de
4
para a busca '
(
'
Pular 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
Número de Chamada
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Código de Barra
coleção
Navegar por ordem alfabética: Títulos
Navegar por ordem alfabética: Autores
Navegar por ordem alfabética: Assuntos
Navegar por ordem alfabética: By LC Call Number
Navegar por ordem alfabética: By Dewey Call Number
Buscar
Avançada
A página será recarregada quando um filtro for removido.
Filtros aplicados:
Autor:
Remover filtro
SpringerLink (Online service)
E
Remover filtro
ETAPS 2005
A página será recarregada quando um filtro for removido.
Mostrar filtros (2)
Autor:
Remover filtro
SpringerLink (Online service)
E
Remover filtro
ETAPS 2005
UC Library
Busca no Catálogo da Biblioteca
Resultados da busca - (
Mostrando
1 - 4
resultados de
4
para a busca '
(
'
Refinar Resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
Selecione todas as entradas na página
E-mail
Exportar
Imprimir
Gravar
Selcionar número de resultado 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
Localizado
Carregando...
Número de Chamada
Carregando...
Connect to electronic resource
Recurso Eletrônico
Anais de Congresso
Livro
Salvar na lista
Na minha lista:
Selcionar número de resultado 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
Localizado
Carregando...
Número de Chamada
Carregando...
Connect to electronic resource
Recurso Eletrônico
Anais de Congresso
Livro
Salvar na lista
Na minha lista:
Selcionar número de resultado 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
Localizado
Carregando...
Número de Chamada
Carregando...
Connect to electronic resource
Recurso Eletrônico
Anais de Congresso
Livro
Salvar na lista
Na minha lista:
Selcionar número de resultado 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
Localizado
Carregando...
Número de Chamada
Carregando...
Connect to electronic resource
Recurso Eletrônico
Anais de Congresso
livro eletrônico
Salvar na lista
Na minha lista:
Selecione todas as entradas na página
E-mail
Exportar
Imprimir
Gravar
Ferramentas de busca:
Obter Feed RSS
Enviar busca por e-mail
Salvar a busca
Voltar
Refinar Resultados
A página será recarregada quando um filtro for selecionado ou excluído.
Formato
Anais de Congresso
4 resultados
4
Recurso Eletrônico
4 resultados
4
Livro
3 resultados
3
livro eletrônico
1 resultados
1
Ano da publicação
De:
Até:
Sugestões de Tópicos
Computer software
2 resultados
2
Compilers (Computer programs)
1 resultados
1
Development
1 resultados
1
Software engineering
1 resultados
1
System analysis
1 resultados
1
System design
1 resultados
1
Gênero
Congresses
4 resultados
4
Idioma
English
4 resultados
4
Autor
ETAPS 2005
SpringerLink (Online service)
Bodik, Rastislav
1 resultados
1
CC 2005 Edinburgh, Scotland
1 resultados
1
Cerioli, Maura
1 resultados
1
FASE 2005 Edinburgh, Scotland
1 resultados
1
FOSSACS 2005 Edinburgh, UK
1 resultados
1
Halbwachs, Nicolas
1 resultados
1
Sassone, Vladimiro
1 resultados
1
TACAS 2005 Edinburgh, Scotland
1 resultados
1
Zuck, Lenore D., 1958-
1 resultados
1
Ver todos…
Número de Chamada
Q - Ciência
3 resultados
3
Carregando...