skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving

Aagaard, Mark D. ; Jones, Robert B. ; Seger, Carl-Johan H. Hirschowitz, André ; Théry, Laurent ; Paulin, Christine ; Bertot, Yves ; Dowek, Gilles

Lecture notes in computer science, 1999, Vol.1690, p.323-340 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
2
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
3
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
4
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
5
Automatic Formal Model Generation and Analysis of SDL
Automatic Formal Model Generation and Analysis of SDL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automatic Formal Model Generation and Analysis of SDL

Aalto, Annikka ; Husberg, Nisse ; Varpaaniemi, Kimmo Reed, Jeanne ; Reed, Rick

Lecture notes in computer science, 2003, p.285-299 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Knowledge-Intensive Case-Based Reasoning in CREEK
Knowledge-Intensive Case-Based Reasoning in CREEK
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Knowledge-Intensive Case-Based Reasoning in CREEK

Aamodt, Agnar Funk, Peter ; González Calero, Pedro A.

Advances in Case-Based Reasoning, 2004, p.1-15 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Multi-Robot Foremost Coverage of Time-Varying Graphs
Multi-Robot Foremost Coverage of Time-Varying Graphs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Multi-Robot Foremost Coverage of Time-Varying Graphs

Aaron, Eric ; Krizanc, Danny ; Meyerson, Elliot Zhang, Yanyong ; Gao, Jie ; Fekete, Sándor P. ; Efrat, Alon

Algorithms for Sensor Systems, p.22-38 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
A Framework for Reasoning About Animation Systems
A Framework for Reasoning About Animation Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Framework for Reasoning About Animation Systems

Aaron, Eric ; Metaxas, Dimitris ; Ivančić, Franjo ; Sokolsky, Oleg Aylett, Ruth ; Ballin, Daniel ; de Antonio, Angélica

Intelligent Virtual Agents, 2001, p.47-60 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
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
10
On Articulation and Localization - Some Sociotechnical Issues of Design, Implementation and Evaluation of Knowledge Based Systems
On Articulation and Localization - Some Sociotechnical Issues of Design, Implementation and Evaluation of Knowledge Based Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Articulation and Localization - Some Sociotechnical Issues of Design, Implementation and Evaluation of Knowledge Based Systems

Aarts, Jos Barahona, Pedro ; Quaglini, Silvana ; Andreassen, Steen

Artificial Intelligence in Medicine, 2001, Vol.2101, p.16-19 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (62.788)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (39.029)
  2. Book Chapters  (31.295)
  3. Livros  (3.849)
  4. Artigos  (1.365)
  5. Recursos Textuais  (6)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (75.539)
  2. Japonês  (1.535)
  3. Norueguês  (24)
  4. Russo  (10)
  5. Francês  (7)
  6. Alemão  (2)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.