Resultados de 1 a 10 de 65 para Acervo Físico
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
- Disponível na Biblioteca (57)
- Recursos Online (17)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Models and Tools for Managing Development ProcessesBernhard Westfechtel Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Incremental Speech TranslationJan Willers Amtrup J Hartmanis; J van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Formal Syntax and Semantics of JavaJim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Mobile Agents and SecurityGiovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Universal Routing Strategies for Interconnection NetworksChristian Scheideler G Goos; J Hartmanis; Jan Van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Computer science today recent trends and developmentJan Van LeeuwenGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1000 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Theoretical computer science exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / J. van Leeuwen ... et al.](eds.)International Conference IFIP TCS 2000 (2000 Sendai-shi, Miyagi-ken, Japan) J. van Leeuwen (Jan)Berlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1872 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 65 para Acervo Físico
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
Mostrar Somente
- Disponível na Biblioteca (57)
- Recursos Online (17)
Refinar Meus Resultados
Tipo de Recurso
- Livros (49)
- Artigos (12)
- Outros (3)
- Produções Acadêmicas (1)
-
Mais opções
Assunto
- Computer Security (7)
- Redes De Computadores (6)
- Computers (5)
- Algoritmos E Estruturas De Dados (5)
- Catálise (5)
- Ciência Da Computação (5)
- Computabilidade E Complexidade (4)
- Metodologia E Técnicas De Computação (4)
- Imunologia (4)
- Computer Science (4)
- Cryptography (4)
- Computer Software (3)
- Sistemas Operacionais (3)
- Computer Algorithms (3)
- Catalysis (3)
- Termodinâmica Química (2)
- Genomas (2)
- Programming Languages (Electronic Computers) (2)
- Criptologia (Congressos) (2)
- Mutação Genética (2)
-
Mais opções
Autor/Criador
- van Leeuwen, J (21)
- Hartmanis, J (17)
- Leeuwen, J (17)
- Goos, G (8)
- Köker, M (4)
- Stasia, M (4)
- Leeuwen, P (4)
- Roesler, J (4)
- Condino-Neto, A (4)
- Leeuwen, K (4)
- International Workshop on Security Protocols (4)
- Bustamante, J (4)
- Roos, D (4)
- Boer, M (4)
- Kuhns, D (3)
- Gallin, J (3)
- Alves, V (3)
- Malech, H (3)
- Christianson, B (3)
- Leeuwen, D (3)
-
Mais opções
Data de Publicação
- Antes de1989 (7)
- 1989Até1993 (8)
- 1994Até1999 (23)
- 2000Até2011 (13)
- Após 2011 (13)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (27)
- IME - Inst. Matemática e Estatística (21)
- IFSC - Inst. Física de São Carlos (19)
- IQSC - Inst. Química de São Carlos (7)
- FEA - Fac. Econ. Adm. Contab. e Atuária (5)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (3)
- CQ - Conjunto das Químicas (3)
- FM - Fac. Medicina (2)
- ICB - Inst. Ciências Biomédicas (2)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (2)
- EPQI - Esc. Politécnica-Bib Eng Quim (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- EEL - Biotecnologia e Química (1)
- IF - Instituto de Física (1)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (1)
-
Mais opções
Idioma
- Inglês (62)
- Português (2)
- Grego (2)
- Indeterminado (2)
- Alemão (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (3)
- Microbiology Resource Announcements (2)
- Blood Cells, Moleculares and Diseases (2)
- Blood Cells, Molecules and Diseases (2)
- Lecture Notes in Artificial Intelligence (2)
- American Journal of Clinical Pathology (1)
- Transportation Research Part A: Policy and Practice (1)
- Astronomy & Astrophysics (1)
- Expert Review of Gastroenterology & Hepatology (1)
- Liver International (1)
- Aplicações e perspectivas para agricultura do futuro: anais... (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 