|
|
|
Algorithmic Learning Theory [electronic resource] : 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings / edited by Peter Auer, Alexander Clark, Thomas Zeugmann, Sandra Zilles.
by Auer, Peter [editor.] | Clark, Alexander [editor.] | Zeugmann, Thomas [editor.] | Zilles, Sandra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav.
by Yahav, Eran [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2010 [electronic resource] : 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings / edited by Masayuki Abe.
by Abe, Masayuki [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
|
|
|
|
Haptics: Perception, Devices, Control, and Applications [electronic resource] : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / edited by Fernando Bello, Hiroyuki Kajimoto, Yon Visell.
by Bello, Fernando [editor.] | Kajimoto, Hiroyuki [editor.] | Visell, Yon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt.
by Agha, Gul [editor.] | Van Houdt, Benny [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing [electronic resource] : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings / edited by Roberto Basili, Maria Teresa Pazienza.
by Basili, Roberto [editor.] | Pazienza, Maria Teresa [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
|
|
|
|
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis.
by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Cicekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [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
|
|
|
|
Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / edited by Pietro Lio, Giuseppe Nicosia, Thomas Stibor.
by Lio, Pietro [editor.] | Nicosia, Giuseppe [editor.] | Stibor, Thomas [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
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró.
by Schürr, Andy [editor.] | Varró, Dániel [editor.] | Varró, Gergely [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
|
|
|
|
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.
by Gibbons, Jeremy [editor.] | Nogueira, Pablo [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases, Part III [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis.
by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [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
|
|
|
|
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 / edited by Jaime Simao Sichman, Helder Coelho, Solange Oliveira Rezende.
by Sichman, Jaime Simao [editor.] | Coelho, Helder [editor.] | Rezende, Solange Oliveira [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
|
|
|
|
Transactions on Computational Collective Intelligence I [electronic resource].
by 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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings / edited by Martin Leucker, Charles Carroll Morgan.
by Leucker, Martin [editor.] | Morgan, Charles Carroll [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider.
by Coninx, Karin [editor.] | Luyten, Kris [editor.] | Schneider, Kevin 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
|
|
|
|
Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings / edited by Akio Yamada, Helen Meng, Sung Hyon Myaeng.
by Yamada, Akio [editor.] | Meng, Helen [editor.] | Myaeng, Sung Hyon [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
|
|
|
|
Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil.
by Scholz, Sven-Bodo [editor.] | Chitil, Olaf [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
|
|
|
|
Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Fredric Gey, Julio Gonzalo, Henning Mueller, Gareh Jones, Michael Kluck, Bernardo Magnini, Maarten de Rijke.
by Gey, Fredric [editor.] | Gonzalo, Julio [editor.] | Mueller, Henning [editor.] | Jones, Gareh [editor.] | Kluck, Michael [editor.] | Magnini, Bernardo [editor.] | de Rijke, Maarten [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012, Proceedings / edited by Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr.
by Fischer-Hübner, Simone [editor.] | Katsikas, Sokratis [editor.] | Quirchmayr, Gerald [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
|
