|
|
|
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / edited by Verónica Dahl, Ilkka Niemelä.
by Dahl, Verónica [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.
by Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Gomes, Luís Mendes [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging the Semantics of Topic Maps [electronic resource] : Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected papers / edited by Lutz Maicher, Alexander Sigel, Lars Marius Garshol.
by Maicher, Lutz [editor.] | Sigel, Alexander [editor.] | Garshol, Lars Marius [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou.
by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by R.H. Bordini, M. Dastani, J. Dix, A El Fallah Seghrouchni.
by Bordini, R.H [editor.] | Dastani, M [editor.] | Dix, J [editor.] | El Fallah Seghrouchni, A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II / edited by Richard Boyle, Bahram Parvin, Darko Koracin, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender.
by Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / edited by Jose Bravo, Ramón Hervás, Marcela Rodriguez.
by Bravo, Jose [editor.] | Hervás, Ramón [editor.] | Rodriguez, Marcela [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / edited by Kai Brünnler, George Metcalfe.
by Brünnler, Kai [editor.] | Metcalfe, George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings / edited by Il-Yeol Song, Johann Eder, Tho Manh Nguyen.
by Song, Il-Yeol [editor.] | Eder, Johann [editor.] | Nguyen, Tho Manh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski.
by Hinchey, Michael G [editor.] | Rago, Patricia [editor.] | Rash, James L [editor.] | Rouff, Christopher A [editor.] | Truszkowski, Walt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe de Groote, Markus Egg, Laura Kallmeyer.
by de Groote, Philippe [editor.] | Egg, Markus [editor.] | Kallmeyer, Laura [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / edited by Marcin Detyniecki, Joemon M. Jose, Andreas Nürnberger, C. J. van Rijsbergen.
by Detyniecki, Marcin [editor.] | Jose, Joemon M [editor.] | Nürnberger, Andreas [editor.] | van Rijsbergen, C. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Cognitive Vision Systems [electronic resource] : Sampling the Spectrum of Approaches / edited by Henrik I. Christensen, Hans-Hellmut Nagel.
by Christensen, Henrik I [editor.] | Nagel, Hans-Hellmut [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Ian Cleland, Luis Guerrero, José Bravo.
by Cleland, Ian [editor.] | Guerrero, Luis [editor.] | Bravo, José [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Models for Cyber Situation Awareness [electronic resource] / edited by Peng Liu, Sushil Jajodia, Cliff Wang.
by Liu, Peng [editor.] | Jajodia, Sushil [editor.] | Wang, Cliff [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / edited by Jaap van den Herik, Joaquim Filipe.
by van den Herik, Jaap [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Systems Theory -- EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings / edited by Andrei Voronkov.
by Voronkov, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Artifical Intelligence for Human Computing [electronic resource] : ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 Hyderabad, India, January 6, 2007 Revised Selceted Papers / edited by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland.
by Huang, Thomas S [editor.] | Nijholt, Anton [editor.] | Pantic, Maja [editor.] | Pentland, Alex [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Systems Modeling and Simulation: Theory and Applications [electronic resource] : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / edited by Doo-Kwon Baik.
by Baik, Doo-Kwon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
