|
|
|
Autonomous Intelligent Systems: Agents and Data Mining [electronic resource] : International Workshop, AIS-ADM 2005 / edited by Vladimir Gorodetsky, Jiming Liu, Victor A. Skormin.
by Gorodetsky, Vladimir [editor.] | Liu, Jiming [editor.] | Skormin, Victor A [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
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / edited by Gianluca Tempesti, Andy Tyrrell, Julian F. Miller.
by Tempesti, Gianluca [editor.] | Tyrrell, Andy [editor.] | Miller, Julian F [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
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.
by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [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
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers / edited by Ali Miri, Serge Vaudenay.
by Miri, Ali [editor.] | Vaudenay, Serge [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F.M.J. Verschure, Tony J. Prescott.
by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Krapp, Holger G [editor.] | Verschure, Paul F.M.J [editor.] | Prescott, Tony J [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
|
|
|
|
Mobile Ad-hoc and Sensor Networks [electronic resource] : Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings / edited by Jiannong Cao, Ivan Stojmenovic, Xiaohua Jia, Sajal K. Das.
by Cao, Jiannong [editor.] | Stojmenovic, Ivan [editor.] | Jia, Xiaohua [editor.] | Das, Sajal K [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings / edited by Abhik Roychoudhury, Meenakshi D´Souza.
by Roychoudhury, Abhik [editor.] | D´Souza, Meenakshi [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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor.
by Daneva, Maya [editor.] | Pastor, Oscar [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
|
|
|
|
Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
|
|
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [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
|
|
|
|
Knowledge-Based and Intelligent Information and Engineering Systems, Part I [electronic resource] : 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I / edited by Andreas Koenig, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain.
by Koenig, Andreas [editor.] | Dengel, Andreas [editor.] | Hinkelmann, Knut [editor.] | Kise, Koichi [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam.
by Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011, Proceedings / edited by Mor Peleg, Nada Lavrač, Carlo Combi.
by Peleg, Mor [editor.] | Lavrač, Nada [editor.] | Combi, Carlo [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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I / edited by Manh Thanh Le, Jerzy Swiatek, Ngoc Thanh Nguyen.
by Le, Manh Thanh [editor.] | Swiatek, Jerzy [editor.] | Nguyen, Ngoc Thanh [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
|
|
|
|
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008, Proceedings / edited by Geun Sik Jo, Lakhmi Jain.
by Jo, Geun Sik [editor.] | Jain, Lakhmi [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
|
|
|
|
Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs.
by Guelfi, Nicolas [editor.] | Buchs, Didier [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / edited by Manuel Hermenegildo, Daniel Cabeza.
by Hermenegildo, Manuel [editor.] | Cabeza, Daniel [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
|
|
|
|
Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.
by Stanczak, Slawomir [author.] | Wiczanowski, Marcin [author.] | Boche, Holger [author.] | 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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / edited by Ranjit Jhala, David Schmidt.
by Jhala, Ranjit [editor.] | Schmidt, David [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
|
|
|
|
Location- and Context-Awareness [electronic resource] : Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings / edited by Mike Hazas, John Krumm, Thomas Strang.
by Hazas, Mike [editor.] | Krumm, John [editor.] | Strang, Thomas [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
|
