Resultados de 1 a 10 de 36 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
IngentaConnect Journals
tipo de recurso:
Livros
SpringerLINK Lecture Notes in Computer Science (2015)
tipo de recurso:
Livros
SpringerLINK Lecture Notes in Computer Science (2015)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 ProceedingsChandru, V ; Vinay, V Vinay, V. ; Chandru, V.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced LecturesLiu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao Zhu, Huibiao ; Liu, Zhiming ; Woodcock, JimNetherlands: Springer Nature 2013Texto completo disponível |
| 3 |
Material Type: Livro
|
|
The Semantic Web: ESWC 2013 Satellite Events : ESWC 2013, Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected PapersCimiano, Philipp ; Fernandez, Miriam ; Lopez, Vanessa ; Schlobach, Stefan ; Volker, Johanna Cimiano, Philipp ; Fern'ndez, Miriam ; Schlobach, Stefan ; Lopez, VanessaNetherlands: Springer Nature 2013Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ProceedingsGalmiche, Didier ; Larchey-Wendling, Dominique Larchey-Wendling, Dominique ; Galmiche, DidierNetherlands: Springer Nature 2013Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Multidisciplinary Information Retrieval: 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013, ProceedingsLupu, Mihai ; Kanoulas, Evangelos ; Loizides, Fernando Kanoulas, Evangelos ; Lupu, Mihai ; Loizides, FernandoNetherlands: Springer Nature 2013Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, ProceedingsDierkes, Michael ; Pecheur, Charles Pecheur, Charles ; Dierkes, MichaelNetherlands: Springer Nature 2013Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, ProceedingsLiu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao Zhu, Huibiao ; Liu, Zhiming ; Woodcock, JimNetherlands: Springer Nature 2013Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Industrial Applications of Holonic and Multi-Agent Systems: 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013, ProceedingsMařík, Vladimír ; Martinez Lastra, Jose Luis ; Skobelev, Petr Martinez Lastra, Jose Luis ; Mař'k, Vladim'r ; Skobelev, PetrNetherlands: Springer Nature 2013Texto completo disponível |
| 9 |
Material Type: Livro
|
|
KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, ProceedingsTimm, Ingo J ; Thimm, Matthias Thimm, Matthias ; Timm, Ingo JNetherlands: Springer Nature 2013Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Combinatorics on Words: 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, ProceedingsKarhumäki, Juhani ; Lepistö, Arto ; Zamboni, Luca Karhum'ki, Juhani ; Zamboni, Luca ; Lepist', ArtoNetherlands: Springer Nature 2013Texto completo disponível |
Resultados de 1 a 10 de 36 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Informatika (34)
- Kongress (32)
- Electronic Data Processing (30)
- Simulation Methods (28)
- Logic Machines (27)
- Digital Computer Simulation (27)
- Machine Intelligence (27)
- Artificial Thinking (27)
- Artificial Intelligence (27)
- Intellectronics (27)
- Intelligence, Artificial (27)
- Fifth Generation Computers (27)
- Cognitive Science (27)
- Intelligent Machines (27)
- Bionics (27)
- Ai (27)
-
Mais opções
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (36)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (36)
- Springer Books (36)
- Springer Nature - Springer Computer Science eBooks 2013 English International (35)
- SpringerLINK Lecture Notes in Computer Science (2013) (35)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 