Resultados de 1 a 10 de 12 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Computer Programming
Analyse Statique
Analyse Statique
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedingsInternational Static Analysis Symposium (12th 2005 London, England) Chris Hankin; Igor SiveroniBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedingsInternational Static Analysis Symposium (11th 2004 Verona, Italy) Roberto GiacobazziBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, ProceedingsGiacobazzi, Roberto Giacobazzi, RobertoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 4 |
Material Type: Livro
|
|
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 ProceedingsEriksson, Lars-Henrik ; Lindsay, Peter Alexander Eriksson, Lars-Henrik ; Lindsay, Peter Alexander ; Lindsay, Peter Alexander ; Eriksson, Lars-HenrikBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
| 5 |
Material Type: Livro
|
|
ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, ProceedingsLindskov Knudsen, Jorgen Knudsen, Jørgen LindskovBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : ProceedingsCousot, Patrick Cousot, PatrickBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. ProceedingsPalsberg, Jens Palsberg, JensBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, ProceedingsCortesi, Agostino ; File, Gilberto ; van Leeuwen, Jan Filé, Gilberto ; Cortesi, AgostinoBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 ProceedingsPalamidessi, Catuscia ; Glaser, Hugh ; Meinke, Karl Meinke, Karl ; Palamidessi, Catuscia ; Glaser, HughBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, ProceedingsLevi, Giorgio Levi, GiorgioBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
Resultados de 1 a 10 de 12 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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
Refinar Meus Resultados
Assunto
- Programming Languages, Compilers, Interpreters (10)
- E-Book Springer Lncs (10)
- Logics And Meanings Of Programs (10)
- Kongress (10)
- Programming Languages (10)
- Congresses (10)
- Computer Science (10)
- Computer Logic (10)
- Logic Design (10)
- Programming Techniques (10)
- Statische Analyse (9)
- Compilers (9)
- Software Engineering (9)
- Programming Languages -- Congresses (7)
- Mathematical Logic And Formal Languages (7)
- Electronic Digital Computers (6)
- Computers (6)
- Programmation (6)
- Congrès (6)
- Langages De Programmation (6)
- Programmanalyse (3)
- Programmverifikation (2)
- Programmanalyse (2)
- Langages De Programmation (2)
- Datenfluss (2)
- Técnicas De Programação (Congressos) (2)
- Kontrollfluss (2)
- Programmation (Informatique) (2)
- Computer Programming–Congresses (2)
- Programmverifikation (2)
- Static Analysis (2)
- Datenfluss (2)
- Programmtransformation (2)
- Programming Languages (Electronic Computers) (2)
- Programmtransformation (2)
- Kontrollfluss (2)
- Langage De Programmation (2)
- Programmation (1)
- Langage De Programmation (1)
- Sas (1)
- Static Analysis (1)
- Sas (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1998 (2)
- 1998Até1999 (3)
- 2000Até2001 (3)
- 2002Até2004 (5)
- Após 2004 (5)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (10)
- Springer Books Online Archive (10)
- SpringerLINK Lecture Notes in Computer Science (2015) (10)
- SpringerLink Books Lecture Notes in Computer Science Archive (10)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (10)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (10)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 