Resultados de 1 a 10 de 41 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 (25)
- Revistas revisadas por pares (11)
- Disponível na Biblioteca (18)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Static AnalysisInternational Static Analysis Symposium Jens PalsbergSpringer Berlin Heidelberg 2000Acesso online |
| 2 |
Material Type: Livro
|
|
Static AnalysisInternational Static Analysis Symposium Roberto GiacobazziSpringer Berlin / Heidelberg 2004Acesso online |
| 3 |
Material Type: Livro
|
|
Static AnalysisInternational Static Analysis Symposium Alan MycroftSpringer Berlin Heidelberg 1995Acesso online |
| 4 |
Material Type: Livro
|
|
Static AnalysisInternational Static Analysis Symposium Baudouin Le CharlierSpringer Berlin Heidelberg 1994Acesso online |
| 5 |
Material Type: Livro
|
|
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedingsInternational Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens PalsbergBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1824 )(Acessar) |
| 6 |
Material Type: Livro
|
|
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedingsInternational Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2126 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Static analysis proceedings of the second international symposium, sas'95, held in glasgow, uk, september 25-27, 1995International Static Analysis Symposium (2. 1995 Glasgow, Uk) Alan MycroftBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lcns v.983 e.1 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Static analysisInternational Static Analysis Symposium, SAS'94 1994 Namur Baudouin Le CharlierGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1994Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.864 )(Acessar) |
| 9 |
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. |
| 10 |
Material Type: Livro
|
|
Static AnalysisInternational Static Analysis Symposium Patrick Cousot; Jörg Siekmann; Gerhard GoosSpringer Berlin Heidelberg 2001Acesso online |
Resultados de 1 a 10 de 41 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 (25)
- Revistas revisadas por pares (11)
- Disponível na Biblioteca (18)
Refinar Meus Resultados
Assunto
- Computer Programming (24)
- Statische Analyse (17)
- Programming Languages, Compilers, Interpreters (15)
- Logics And Meanings Of Programs (15)
- Programming Languages (15)
- Congresses (15)
- Software Engineering (15)
- Computer Science (15)
- Computer Logic (15)
- Logic Design (15)
- Mathematical Logic And Formal Languages (14)
- Compilers (14)
- Programmation (13)
- Programming Techniques (11)
- Mathematical Logic (10)
- E-Book Springer Lncs (10)
- Kongress (10)
- Programming Languages (Electronic Computers) (10)
- Machine Theory (9)
- Electronic Digital Computers (8)
- Técnicas De Programação (Congressos) (8)
- Computer Software Engineering (7)
- Langages De Programmation (7)
- Ciência Da Computação (6)
- Analyse Statique (6)
- Metodologia E Técnicas De Computação (6)
- Programmanalyse (5)
- Programmtransformation (4)
- Programmverifikation (3)
- Engenharia De Software (3)
- Programmverifikation (2)
- Programmanalyse (2)
- Langages De Programmation (2)
- Datenfluss (2)
- Kontrollfluss (2)
- Programmation (Informatique) (2)
- Analyse Statique (2)
- Datenfluss (2)
- Programmtransformation (2)
- Kontrollfluss (2)
- Langage De Programmation (2)
- Langage De Programmation (1)
- System Analysis (1)
- Técnicas De Programação (1)
- System Analysis (1)
-
Mais opções
Autor/Criador
- International Static Analysis Symposium (20)
- Le Charlier, B (3)
- International Symposium on Static Analysis, S (3)
- Cousot, R (3)
- Palsberg, J (3)
- Cortesi, A (3)
- Levi, G (2)
- Puebla, G (2)
- Filé, G (2)
- Cousot, P (2)
- Hermenegildo, M (2)
- Mycroft, A (2)
- Giacobazzi, R (2)
- International Static Analysis Symposium, S (2)
- Schmidt, D (2)
- Goos, G (1)
- Association for Computing Machinery-Digital Library (1)
- Hankin, C (1)
- van Hentenryck, P (1)
- Nielson, H (1)
-
Mais opções
Data de Publicação
- Antes de1996 (7)
- 1996Até1998 (9)
- 1999Até2001 (12)
- 2002Até2005 (15)
- Após 2005 (8)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (15)
- Springer Books (15)
- SpringerLINK Lecture Notes in Computer Science (2015) (15)
- SpringerLINK Lecture Notes in Computer Science (14)
- SpringerLink Books Lecture Notes in Computer Science Archive (11)
- Springer Books Online Archive (11)
- SpringerLINK Lecture Notes in Computer Science (2014) (2)
- Springer Nature - Springer Computer Science eBooks 2012 English International (1)
- ACM Digital Library (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2016) (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2012) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 