skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Models and Tools for Managing Development Processes

Bernhard Westfechtel Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

2
Compiling Natural Semantics
Compiling Natural Semantics
Compiling Natural Semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Compiling Natural Semantics

Mikael Pettersson Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

3
Algebraic structure theory of sequential machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic structure theory of sequential machines

Juris Hartmanis R. E Stearns

Englewood Cliffs, N.J. Prentice-Hall 1966

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (510.78 H333 ) e outros locais(Acessar)

4
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory Reasoning in Connection Calculi

Peter Baumgartner Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Acesso online. A biblioteca também possui exemplares impressos.

5
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart Juris Hartmanis; Jan van Leeuwen

Springer Berlin / Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

6
Incremental Speech Translation
Incremental Speech Translation
Incremental Speech Translation
Material Type:
Livro 		Adicionar ao Meu Espaço

Incremental Speech Translation

Jan Willers Amtrup J Hartmanis; J van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

7
Mobile Agents and Security
Mobile Agents and Security
Mobile Agents and Security
Material Type:
Livro 		Adicionar ao Meu Espaço

Mobile Agents and Security

Giovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Acesso online. A biblioteca também possui exemplares impressos.

8
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Syntax and Semantics of Java

Jim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

9
Universal Routing Strategies for Interconnection Networks
Universal Routing Strategies for Interconnection Networks
Universal Routing Strategies for Interconnection Networks
Material Type:
Livro 		Adicionar ao Meu Espaço

Universal Routing Strategies for Interconnection Networks

Christian Scheideler G Goos; J Hartmanis; Jan Van Leeuwen

Springer Berlin Heidelberg 1998

Acesso online. A biblioteca também possui exemplares impressos.

10
Advances in Cryptology — EUROCRYPT’ 85
Advances in Cryptology — EUROCRYPT’ 85
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Cryptology — EUROCRYPT’ 85

G. Hartmanis, J. Barstow, D. Goos D Barstow; J Hartmanis

Springer Berlin Heidelberg 1986

Acesso online

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (1.773)
  2. Livros  (332)
  3. Artigos  (65)
  4. Anais de Congresso  (21)
  5. Resenhas  (6)
  6. magazinearticle  (4)
  7. Reports  (1)
  8. Mais opções open sub menu

Assunto 

  1. Computer Science  (338)
  2. Artificial Intelligence  (250)
  3. Science & Technology  (198)
  4. Technology  (197)
  5. Exact Sciences And Technology  (195)
  6. Applied Sciences  (194)
  7. Computer Science; Control Theory; Systems  (156)
  8. Computer Science, Artificial Intelligence  (125)
  9. Computing: General  (105)
  10. Learning And Adaptive Systems  (76)
  11. Information Retrieval  (73)
  12. Congresses  (69)
  13. Computer Science, Theory & Methods  (65)
  14. Computer Programming / Software Development  (59)
  15. Algorithms & Data Structures  (54)
  16. Software  (53)
  17. Software Engineering  (51)
  18. Kongress  (47)
  19. E-Book Springer Lncs  (39)
  20. Information Systems. Data Bases  (38)
  21. Computers  (33)
  22. Cryptography  (26)
  23. Computer Networks  (13)
  24. Computer Security  (7)
  25. Computer Security  (7)
  26. Computabilidade E Complexidade  (6)
  27. Redes De Computadores  (6)
  28. Computer Algorithms  (5)
  29. Metodologia E Técnicas De Computação  (4)
  30. Computers  (4)
  31. Cryptography  (4)
  32. Algoritmos E Estruturas De Dados  (3)
  33. Automatic Theorem Proving  (3)
  34. Engenharia De Software  (3)
  35. Algoritmos E Estruturas De Dados  (3)
  36. Ciência Da Computação  (2)
  37. Computer Algorithms  (2)
  38. Sistemas Operacionais  (2)
  39. Computer Networks  (2)
  40. Linguagens Formais  (2)
  41. Automatic Theorem Proving  (2)
  42. Inteligência Artificial  (2)
  43. Criptologia (Congressos)  (2)
  44. Redes E Comunicação De Dados  (2)
  45. Programming Languages (Electronic Computers)  (2)
  46. Verificação E Validação De Software  (2)
  47. Criptologia  (2)
  48. Redes De Computadores  (1)
  49. Inteligência Artificial  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (17)
  2. 1967Até1976  (77)
  3. 1977Até1985  (72)
  4. 1986Até1995  (154)
  5. Após 1995  (1.976)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.201)
  2. Japonês  (15)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hartmanis, J
  2. Van Leeuwen, J
  3. Goos, G
  4. Leeuwen, J
  5. Barstow, D

Neste Assunto:

  1. Computer Science
  2. Artificial Intelligence
  3. Science & Technology
  4. Technology
  5. Exact Sciences And Technology

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.