skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Models of computation exploring the power of computing
Models of computation exploring the power of computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Models of computation exploring the power of computing

John E. Savage 1939-

Reading, Mass. Addison Wesley c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.10 S264mc e.1 )(Acessar)

2
Alan Turing : his work and impact
Alan Turing : his work and impact
Alan Turing : his work and impact
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing : his work and impact

S. Barry Cooper S. Barry Cooper; Jan Leeuwen; Alan Mathison Turing; J van Leeuwen J. van Leeuwen

Elsevier 2013

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

3
An introduction to discrete mathematics, formal system specification, and Z
An introduction to discrete mathematics, formal system specification, and Z
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to discrete mathematics, formal system specification, and Z

D. Ince (Darrel) D Ince (Darrel)

Oxford Clarendon Press New York Oxford University Press 1992

Localização: IME - Inst. Matemática e Estatística    (QA752 I36i )(Acessar)

4
An introduction to discrete mathematics and formal system specification
An introduction to discrete mathematics and formal system specification
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to discrete mathematics and formal system specification

D. Ince (Darrel)

Oxford England Clarendon New York Oxford University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68R01 I36i e.1 )(Acessar)

5
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings

Asian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis Lassez

Berlin Springer-Verlag New York c2004

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

6
Delay Compensation for Nonlinear, Adaptive, and PDE Systems
Delay Compensation for Nonlinear, Adaptive, and PDE Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Delay Compensation for Nonlinear, Adaptive, and PDE Systems

Krstic, Miroslav

Boston, MA: Birkhäuser 2009

Texto completo disponível

Citações Citado por
7
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Material Type:
Livro 		Adicionar ao Meu Espaço

Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

Marwedel, Peter

Cham: Springer International Publishing AG 2021

Texto completo disponível

Citações Citado por
8
CockroachDB: The Resilient Geo-Distributed SQL Database
CockroachDB: The Resilient Geo-Distributed SQL Database
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

CockroachDB: The Resilient Geo-Distributed SQL Database

Taft, Rebecca ; Sharif, Irfan ; Matei, Andrei ; VanBenschoten, Nathan ; Lewis, Jordan ; Grieger, Tobias ; Niemi, Kai ; Woods, Andy ; Birzin, Anne ; Poss, Raphael ; Bardea, Paul ; Ranade, Amruta ; Darnell, Ben ; Gruneir, Bram ; Jaffray, Justin ; Zhang, Lucy ; Mattis, Peter

Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, 2020, p.1493-1509

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings
Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings

Jongbae, Kim ; Seungbok, Lee ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, Hamdi

Cham: Springer Nature 2023

Texto completo disponível

Citações Citado por
10
Data and Applications Security and Privacy XXIX: 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings
Data and Applications Security and Privacy XXIX: 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Data and Applications Security and Privacy XXIX: 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings

Samarati, Pierangela Samarati, Pierangela ; Samarati, Pierangela

Netherlands: Springer Nature 2015

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.348.602)
  2. Revistas revisadas por pares (854.771)
  3. Disponível na Biblioteca (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (836.919)
  2. Anais de Congresso  (444.427)
  3. Book Chapters  (35.655)
  4. magazinearticle  (16.018)
  5. Livros  (13.159)
  6. Resenhas  (1.547)
  7. Newsletter Articles  (434)
  8. Dissertações  (134)
  9. Reports  (118)
  10. Verbetes  (60)
  11. Conjunto de Dados  (55)
  12. Artigos de Jornal  (42)
  13. Recursos Textuais  (22)
  14. Web Resources  (14)
  15. Imagens  (1)
  16. Mais opções open sub menu

Assunto 

  1. Science & Technology  (1.293.305)
  2. Technology  (1.285.039)
  3. Computer Science, Information Systems  (731.679)
  4. Engineering  (523.140)
  5. Engineering, Electrical & Electronic  (448.283)
  6. Computer Science, Artificial Intelligence  (315.538)
  7. Computer Science, Theory & Methods  (313.236)
  8. Telecommunications  (261.444)
  9. Computer Science, Software Engineering  (202.012)
  10. Exact Sciences And Technology  (192.832)
  11. Applied Sciences  (175.332)
  12. Algorithms  (162.126)
  13. Computer Science, Interdisciplinary Applications  (151.568)
  14. Computer Science; Control Theory; Systems  (145.289)
  15. Computer Science, Hardware & Architecture  (143.884)
  16. Artificial Intelligence  (134.035)
  17. Automation & Control Systems  (122.304)
  18. Software  (111.155)
  19. Physical Sciences  (109.765)
  20. Programming Languages  (14.255)
  21. Kongress  (2.548)
  22. Informatique  (2.141)
  23. System Design  (1.116)
  24. Verteiltes System  (633)
  25. Technologie De L'information  (228)
  26. Theoretische Informatik  (112)
  27. Logische Programmierung  (96)
  28. Mathematicians  (79)
  29. Lógica Matemática  (16)
  30. Lógica Simbólica  (5)
  31. Computer Science–Mathematics  (3)
  32. Matemática Da Computação  (2)
  33. System Design  (2)
  34. Finite mathematics - For computer sciences  (1)
  35. Theoretische Informatik  (1)
  36. Verteiltes System  (1)
  37. Biografias  (1)
  38. Lógica Simbólica  (1)
  39. Ciência Da Computação (Congressos)  (1)
  40. Informatique  (1)
  41. Logische Programmierung  (1)
  42. Computer Science–Congresses  (1)
  43. Mathematicians  (1)
  44. Kongress  (1)
  45. Programming languages  (1)
  46. Matemática Da Computação  (1)
  47. Tecnologia Da Informação (Congressos)  (1)
  48. Lógica Matemática  (1)
  49. Programming Languages (Electronic Computers)  (1)
  50. Linguagem De Programação (Congressos)  (1)
  51. Technologie De L'Information  (1)
  52. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1963  (1.725)
  2. 1963Até1977  (8.964)
  3. 1978Até1992  (46.728)
  4. 1993Até2008  (423.593)
  5. Após 2008  (880.769)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.348.070)
  2. Japonês  (61.008)
  3. Português  (2.954)
  4. Espanhol  (2.194)
  5. Alemão  (1.581)
  6. Chinês  (1.172)
  7. Francês  (613)
  8. Norueguês  (189)
  9. Coreano  (180)
  10. Árabe  (115)
  11. Russo  (77)
  12. Turco  (76)
  13. Interlingue  (13)
  14. Tcheco  (9)
  15. Sueco  (8)
  16. Catalão  (6)
  17. Ucraniano  (6)
  18. Galês  (6)
  19. Italiano  (5)
  20. Dinamarquês  (4)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.