skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introduction to Control Systems (Second Edition)
Introduction to Control Systems (Second Edition)
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to Control Systems (Second Edition)

D.K. Anand

Pergamon 1984

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

2
Constrained Optimal Control of Linear and Hybrid Systems
Constrained Optimal Control of Linear and Hybrid Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Constrained Optimal Control of Linear and Hybrid Systems

Francesco Borrelli

Springer Berlin Heidelberg 2003

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

3
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
Material Type:
Livro
Adicionar ao Meu Espaço

Automated Theorem Proving: A Logical Basis

D.W. Loveland

North-Holland 1978

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

4
Kleines Handbuch technischer Regelvorgänge
Material Type:
Livro
Adicionar ao Meu Espaço

Kleines Handbuch technischer Regelvorgänge

Winfried Oppelt

Weinheim/Bergst. Verlag Chemie c1972

Localização: EPBC - Esc. Politécnica-Bib Central    (681.51 Op5k5 )(Acessar)

5
Material Type:
Livro
Adicionar ao Meu Espaço

COBOL a self-instructional manual

James A. Saxon (James Anthony) b. 1912

Englewood Cliffs, N.J. Prentice-Hall 1963

Localização: IME - Inst. Matemática e Estatística    (QA724.7 S273c ) e outros locais(Acessar)

6
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

T. F Melham (Tom F.); Juanito Camilleri

Berlin New York Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.859 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Engineering cybernetics

Hsue Shen Tsien

New York McGraw-Hill 1954

Localização: IF - Instituto de Física    (629.8 T882e ex.2 ) e outros locais(Acessar)

8
Computational Logic
Computational Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computational Logic

Robert S. Boyer J Strother Moore; Thomas A Standish

Academic Press 1979

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

9
Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
Material Type:
Livro
Adicionar ao Meu Espaço

Diagnosis and Fault-Tolerant Control

Blanke Michel Kinnaert; Jan Lunze; J Schröder; Marcel Staroswiecki

Springer Berlin Heidelberg 2003

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

10
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.

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 (183.222)
  2. Revistas revisadas por pares (76.814)
  3. Disponível na Biblioteca (769)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (95.187)
  2. Anais de Congresso  (54.640)
  3. Book Chapters  (7.725)
  4. Reports  (6.483)
  5. Livros  (5.474)
  6. magazinearticle  (5.055)
  7. Dissertações  (3.567)
  8. Newsletter Articles  (3.303)
  9. Conjunto de Dados  (913)
  10. Recursos Textuais  (526)
  11. Web Resources  (417)
  12. Verbetes  (286)
  13. Standards  (130)
  14. Resenhas  (130)
  15. Produções Acadêmicas  (105)
  16. Artigos de Jornal  (60)
  17. Videos  (22)
  18. Imagens  (15)
  19. Outros  (7)
  20. Documentos Governamentais  (5)
  21. Revistas  (3)
  22. Computer Files  (2)
  23. Mais opções open sub menu

Assunto 

  1. Science & Technology  (93.257)
  2. Technology  (79.707)
  3. Engineering  (54.509)
  4. Automatic Control  (46.460)
  5. Computer Science  (41.050)
  6. Engineering, Electrical & Electronic  (40.855)
  7. Control Systems  (21.563)
  8. Automation & Control Systems  (17.684)
  9. Automatic  (14.164)
  10. Life Sciences & Biomedicine  (14.092)
  11. Algorithms  (13.599)
  12. Physical Sciences  (13.410)
  13. Automation  (12.957)
  14. Exact Sciences And Technology  (12.464)
  15. Humans  (12.186)
  16. Computer Science, Artificial Intelligence  (12.052)
  17. Automatic Testing  (11.007)
  18. Applied Sciences  (10.783)
  19. Engineering Sciences  (9.886)
  20. Telecommunications  (8.943)
  21. Automatic Speech Recognition  (8.757)
  22. Artificial Intelligence  (8.131)
  23. Automatic Data Processing  (4.176)
  24. Control Theory  (2.962)
  25. Process Control  (2.142)
  26. Automatic Control Systems  (786)
  27. Automatic Theorem Proving  (349)
  28. Engineering Instruments  (332)
  29. Logic, Symbolic And Mathematical  (292)
  30. Controle Automático  (277)
  31. Automatic Data Collection Systems  (256)
  32. Automatic Theorem Proving  (108)
  33. Controle (Teoria De Sistemas E Controle)  (98)
  34. Inteligência Artificial  (88)
  35. Automatic Data Processing  (78)
  36. Control Theory  (66)
  37. Controle Automático  (30)
  38. Automatic Speech Recognition  (29)
  39. Artificial Intelligence  (28)
  40. Logic, Symbolic And Mathematical  (28)
  41. Sistemas De Controle  (28)
  42. Inteligência Artificial (Congressos)  (25)
  43. Processamento De Linguagem Natural  (24)
  44. Lógica Matemática  (24)
  45. Engineering Instruments  (24)
  46. Teoria De Sistemas E Controle  (22)
  47. Automatic Data Collection Systems  (20)
  48. Computação Aplicada  (19)
  49. Automatic control systems  (18)
  50. Process Control  (18)
  51. Lógica Matemática  (15)
  52. Inteligência Artificial  (12)
  53. Sistemas De Controle  (10)
  54. Teoria De Sistemas E Controle  (3)
  55. Processamento De Linguagem Natural  (3)
  56. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (1.167)
  2. 1960Até1975  (6.435)
  3. 1976Até1991  (11.280)
  4. 1992Até2008  (68.050)
  5. Após 2008  (99.545)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (176.081)
  2. Japonês  (9.846)
  3. Espanhol  (3.286)
  4. Chinês  (844)
  5. Catalão  (798)
  6. Português  (610)
  7. Alemão  (522)
  8. Francês  (434)
  9. Russo  (300)
  10. Tcheco  (135)
  11. Coreano  (72)
  12. Italiano  (44)
  13. Norueguês  (42)
  14. Croatian  (41)
  15. Indonésio  (37)
  16. Persa  (34)
  17. Polonês  (28)
  18. Árabe  (26)
  19. Ucraniano  (24)
  20. Holandês  (23)
  21. Indeterminado  (1)
  22. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.