|
|
|
The Semantic Web: Trends and Challenges [electronic resource] : 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Proceedings / edited by Valentina Presutti, Claudia d'Amato, Fabien Gandon, Mathieu d'Acquin, Steffen Staab, Anna Tordai.
by Presutti, Valentina [editor.] | d'Amato, Claudia [editor.] | Gandon, Fabien [editor.] | d'Acquin, Mathieu [editor.] | Staab, Steffen [editor.] | Tordai, Anna [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / edited by Jin Song Dong, Huibiao Zhu.
by Dong, Jin Song [editor.] | Zhu, Huibiao [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
|
|
|
|
Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 [electronic resource] : 3rd International Conference on Human-Society@Internet, Tokyo, Japan, July 27-29, 2005, Proceedings / edited by Shinji Shimojo, Shingo Ichii, Tok Wang Ling, Kwan-Ho Song.
by Shimojo, Shinji [editor.] | Ichii, Shingo [editor.] | Ling, Tok Wang [editor.] | Song, Kwan-Ho [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010. Proceedings, Part I / edited by José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag.
by Balcázar, José L [editor.] | Bonchi, Francesco [editor.] | Gionis, Aristides [editor.] | Sebag, Michèle [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
|
|
|
|
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet.
by Adi, Asaf [editor.] | Stoutenburg, Suzette [editor.] | Tabet, Said [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz.
by Barner, Sharon [editor.] | Harris, Ian [editor.] | Kroening, Daniel [editor.] | Raz, Orna [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
|
|
|
|
Towards Affordance-Based Robot Control [electronic resource] : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006, Revised Papers / edited by Erich Rome, Joachim Hertzberg, Georg Dorffner.
by Rome, Erich [editor.] | Hertzberg, Joachim [editor.] | Dorffner, Georg [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann.
by Gomes, Carla [editor.] | Sellmann, Meinolf [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
|
|
|
|
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings / edited by Frank Nielsen, Frédéric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Frédéric [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
|
|
|
|
Transactions on Computational Collective Intelligence XIV [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, Australia, April 14-17, and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers / edited by Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang.
by Cao, Longbing [editor.] | Motoda, Hiroshi [editor.] | Srivastava, Jaideep [editor.] | Lim, Ee-peng [editor.] | King, Irwin [editor.] | Yu, Philip S [editor.] | Nejdl, Wolfgang [editor.] | Xu, Guandong [editor.] | Li, Gang [editor.] | Zhang, Ya [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / edited by Armin Biere, Roderick Bloem.
by Biere, Armin [editor.] | Bloem, Roderick [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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 12th Annual Conference, TAROS 2011, Sheffield, UK, August 31 -- September 2, 2011, Proceedings / edited by Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony T. Prescott, Jacques Penders.
by Groß, Roderich [editor.] | Alboul, Lyuba [editor.] | Melhuish, Chris [editor.] | Witkowski, Mark [editor.] | Prescott, Tony T [editor.] | Penders, Jacques [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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2009 [electronic resource] : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I / edited by Guang-Zhong Yang, David J. Hawkes, Daniel Rueckert, Alison Noble, Chris Taylor.
by Yang, Guang-Zhong [editor.] | Hawkes, David J [editor.] | Rueckert, Daniel [editor.] | Noble, Alison [editor.] | Taylor, Chris [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou.
by Hameurlain, Abdelkader [editor.] | Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Zhou, Xiaofang [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
|
|
|
|
Interactive Storytelling [electronic resource] : 5th International Conference, ICIDS 2012, San Sebastián, Spain, November 12-15, 2012. Proceedings / edited by David Oyarzun, Federico Peinado, R. Michael Young, Ane Elizalde, Gonzalo Méndez.
by Oyarzun, David [editor.] | Peinado, Federico [editor.] | Young, R. Michael [editor.] | Elizalde, Ane [editor.] | Méndez, Gonzalo [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings / edited by Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu.
by Martin-Vide, Carlos [editor.] | Fernau, Henning [editor.] | Dediu, Adrian Horia [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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca.
by Mauri, Giancarlo [editor.] | Dennunzio, Alberto [editor.] | Manzoni, Luca [editor.] | Porreca, Antonio E [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / edited by Theodore P. Baker, Alain Bui, Sebastien Tixeuil.
by Baker, Theodore P [editor.] | Bui, Alain [editor.] | Tixeuil, Sebastien [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Li, Baoxin [editor.] | Porikli, Fatih [editor.] | Zordan, Victor [editor.] | Klosowski, James [editor.] | Coquillart, Sabine [editor.] | Luo, Xun [editor.] | Chen, Min [editor.] | Gotz, David [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
|
