Resultados de 1 a 10 de 28 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (18)
- Revistas revisadas por pares (11)
- Disponível na Biblioteca (10)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
TAPSOFT '91International Joint Conference on Theory and Practice of Software Development Samson Abramsky; Thomas S. E MaibaumSpringer Berlin Heidelberg 1991Acesso online |
| 2 |
Material Type: Livro
|
|
TAPSOFT '91International Joint Conference on Theory and Practice of Software Development Samson Abramsky; Thomas S. E MaibaumSpringer Berlin Heidelberg 1991Acesso online |
| 3 |
Material Type: Livro
|
|
TAPSOFT '89International Joint Conference on Theory and Practice of Software Development Josep Díaz; Fernando OrejasSpringer Berlin Heidelberg 1989Acesso online |
| 4 |
Material Type: Livro
|
|
TAPSOFT '89International Joint Conference on Theory and Practice of Software Development Josep Díaz; Fernando OrejasSpringer Berlin Heidelberg 1989Acesso online |
| 5 |
Material Type: Livro
|
|
TAPSOFT'93: Theory and Practice of Software DevelopmentInternational Joint Conference on Theory and Practice of Software Development Marie-Claude Gaudel; Jean-Pierre JouannaudSpringer Berlin Heidelberg 1993Acesso online |
| 6 |
Material Type: Livro
|
|
TAPSOFT '97: Theory and Practice of Software DevelopmentInternational Joint Conference on Theory and Practice of Software Development Michel Bidoit; Max DauchetSpringer Berlin Heidelberg 1997Acesso online |
| 7 |
Material Type: Livro
|
|
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedingsEuropean Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1381 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
ProceedingsM.-C. Gaudel (Marie-Claude) International Joint Conference on Theory and Practice of Software Development (5 1993 Orsay)Berlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.668 e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
TAPSOFT '95: Theory and Practice of Software DevelopmentInternational Joint Conference on Theory and Practice of Software Development Peter Mosses; Mogens Nielsen; Michael I SchwartzbachSpringer Berlin Heidelberg 1995Acesso online |
| 10 |
Material Type: Livro
|
|
Formal methods and software developmentColloquium on Software Engineering (1985 Berlin, Germany) Hartmut EhrigBerlin Springer-Verlag New York c1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.186 ex.1 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 28 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (18)
- Revistas revisadas por pares (11)
- Disponível na Biblioteca (10)
Refinar Meus Resultados
Assunto
- Computer Software (14)
- Software Engineering (11)
- Computer Science (11)
- Logics And Meanings Of Programs (10)
- Congresses (10)
- Logic Design (10)
- Mathematical Logic And Formal Languages (9)
- Programming Languages, Compilers, Interpreters (9)
- Teoria Da Computação (8)
- Software Engineering/programming And Operating Systems (8)
- Metodologia E Técnicas De Computação (7)
- Development (7)
- Técnicas De Programação (Congressos) (5)
- Programação Lógica (Congressos) (5)
- Compilers (5)
- Kongress (5)
- Programming Languages (5)
- Computer Logic (5)
- Mathematical Logic (4)
- E-Book Springer Lncs (4)
- Computation By Abstract Devices (3)
- Genua (3)
- Computers (3)
- Congrès (3)
- System Analysis (2)
- Engenharia De Software (2)
- Ciência Da Computação (1)
- Desenvolvimento De Software (1)
- Linguagem De Programação (1)
- Técnicas De Programação (1)
- System Analysis (1)
- Computer Programming (1)
- Programação Lógica (1)
- Matemática Da Computação (1)
- Softwares (1)
- Programming Languages (Electronic Computers) (1)
-
Mais opções
Autor/Criador
- International Joint Conference on Theory and Practice of Software Development (14)
- Dauchet, M (3)
- Maibaum, T (3)
- Ehrig, H (3)
- Abramsky, S (3)
- Bidoit, M (2)
- Díaz, J (2)
- Nielsen, M (2)
- Orejas, F (2)
- Mosses, P (2)
- Gaudel, M (2)
- Colloquium on Trees in Algebra and Programming (1)
- Thomas, W (1)
- Colloquium on Software Engineering (1)
- Advanced Seminar on Foundations of Innovative Software Development (1)
- Bidoit (1)
- FOSSACS '99 (1)
- Hankin, C (1)
- Colloquium on Functional and Logic Programming and Specifications (CFLP) (1)
- Advanced Seminar on Foundations of Innovative Software Development II (1)
-
Mais opções
Data de Publicação
- Antes de1989 (3)
- 1989Até1992 (6)
- 1993Até1996 (5)
- 1997Até1999 (7)
- Após 1999 (12)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (11)
- Springer Books (11)
- Springer Books Online Archive (11)
- SpringerLINK Lecture Notes in Computer Science (2015) (11)
- SpringerLink Books Lecture Notes in Computer Science Archive (11)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (11)
- SpringerLINK Lecture Notes in Computer Science (2012) (1)
- Springer Nature - Springer Computer Science eBooks 2012 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 