skip to main content
Idioma:
Refinado por: tipo de recurso: Livros remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John Harrison, John ; Aagaard, Mark

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
2
Intelligence in communication systems: IFIP interational conference, INTELLCOMM 2004, Bankok, Thailand November 23-26, 2004 : proceedings
Intelligence in communication systems: IFIP interational conference, INTELLCOMM 2004, Bankok, Thailand November 23-26, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligence in communication systems: IFIP interational conference, INTELLCOMM 2004, Bankok, Thailand November 23-26, 2004 : proceedings

Aagesen, Finn Arve ; Anutariya, Chutiporn ; Wuwongse, Vilas

Springer 2005

Texto completo disponível

Citações Citado por
3
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings

Aalberg, Trond ; Papatheodorou, Christos ; Dobreva, Milena ; Tsakonas, Giannis ; Farrugia, Charles J Papatheodorou, Christos ; Dobreva, Milena ; Aalberg, Trond ; Tsakonas, Giannis

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
4
Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013, Proceedings
Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013, Proceedings

Aanestad, Margunn ; Bratteteig, Tone Aanestad, Margunn ; Bratteteig, Tone

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
5
Ambient Intelligence: European Conference, AmI 2014, Eindhoven, the Netherlands, November 11-13, 2014. Revised Selected Papers
Ambient Intelligence: European Conference, AmI 2014, Eindhoven, the Netherlands, November 11-13, 2014. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Ambient Intelligence: European Conference, AmI 2014, Eindhoven, the Netherlands, November 11-13, 2014. Revised Selected Papers

Aarts, Emile ; de Ruyter, Boris ; Markopoulos, Panos ; van Loenen, Evert ; Wichert, Reiner ; Schouten, Ben ; Terken, Jacques ; Van Kranenburg, Rob ; Den Ouden, Elke ; O'Hare, Gregory

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
6
Advances in Speech and Language Technologies for Iberian Languages: Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings
Advances in Speech and Language Technologies for Iberian Languages: Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Speech and Language Technologies for Iberian Languages: Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings

Abad, Alberto ; Ortega, Alfonso ; Teixeira, António ; García Mateo, Carmen ; Martínez Hinarejos, Carlos D ; Perdigão, Fernando ; Batista, Fernando ; Mamede, Nuno Teixeira, Ant'nio ; Abad, Alberto ; Ortega, Alfonso ; Garc'a Mateo, Carmen

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
7
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Gross, Tom ; Barbosa, Simone ; Fetter, Mirko ; Abascal, Julio

Netherlands: Springer Nature 2015

Texto completo disponível

Citações Citado por
8
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Winckler, Marco ; Fetter, Mirko ; Abascal, Julio ; Barbosa, Simone ; Gross, Tom ; Palanque, Philippe

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
9
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Winckler, Marco ; Fetter, Mirko ; Abascal, Julio ; Barbosa, Simone ; Gross, Tom ; Palanque, Philippe

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
10
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Abate, Alessandro ; Safranek, David Safranek, David ; Abate, Alessandro

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Assunto 

  1. Artificial Intelligence  (10.277)
  2. Computer Science  (6.481)
  3. Congresses  (3.728)
  4. Electronic Data Processing  (3.458)
  5. Machine Theory  (3.201)
  6. Computers  (3.150)
  7. Electronic Brains  (2.965)
  8. Machine Intelligence  (2.920)
  9. Ai  (2.919)
  10. Intelligence, Artificial  (2.916)
  11. Intelligent Machines  (2.902)
  12. Intellectronics  (2.902)
  13. Thinking, Artificial  (2.900)
  14. Artificial Thinking  (2.900)
  15. Simulation Methods  (2.486)
  16. Bionics  (2.443)
  17. Self-Organizing Systems  (2.441)
  18. Cognitive Science  (2.428)
  19. Neural Computers  (2.396)
  20. Digital Computer Simulation  (2.379)
  21. Intelligence Artificielle  (1.154)
  22. Robotics  (791)
  23. Operations Research  (306)
  24. Decision Making  (233)
  25. Mehragentensystem  (230)
  26. Robotique  (161)
  27. Distributed Artificial Intelligence  (86)
  28. Inteligência Artificial  (79)
  29. Inteligência Artificial  (50)
  30. Agent Intelligent  (44)
  31. Inteligência Artificial (Congressos)  (34)
  32. Intelligence Artificielle  (19)
  33. Soccer  (16)
  34. Intelligent Agents (Computer Software)  (12)
  35. Neural Networks (Computer Science)  (9)
  36. Sistemas Multiagentes (Congressos)  (9)
  37. Mehragentensystem  (8)
  38. Expert Systems (Computer Science)  (8)
  39. Distributed Artificial Intelligence  (8)
  40. Robotics  (7)
  41. K Unstliche Intelligenz  (7)
  42. Syst Eme Multi-Agents  (6)
  43. Operations Research  (5)
  44. Decision Making  (5)
  45. Constraints (Artificial Intelligence)  (5)
  46. Agents Intelligents (Logiciels)  (5)
  47. Agent Intelligent  (5)
  48. Soccer  (5)
  49. Robotique  (4)
  50. K Unstliche Intelligenz  (1)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (49)
  2. 1976Até1987  (313)
  3. 1988Até1999  (2.213)
  4. 2000Até2012  (5.560)
  5. Após 2012  (5.691)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (10.675)
  2. Alemão  (169)
  3. Japonês  (88)
  4. Espanhol  (21)
  5. Francês  (12)
  6. Italiano  (5)
  7. Tcheco  (2)
  8. Holandês  (2)
  9. Serbian  (1)
  10. Turco  (1)
  11. Macedônio  (1)
  12. Português  (1)
  13. Finlandês  (1)
  14. Estoniano  (1)
  15. Búlgaro  (1)
  16. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.