|
|
|
Internet and Network Economics [electronic resource] : Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings / edited by Paul Spirakis, Marios Mavronicolas, Spyros Kontogiannis.
by Spirakis, Paul [editor.] | Mavronicolas, Marios [editor.] | Kontogiannis, Spyros [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
|
|
|
|
Scientific and Statistical Database Management [electronic resource] : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings / edited by Bertram Ludäscher, Nikos Mamoulis.
by Ludäscher, Bertram [editor.] | Mamoulis, Nikos [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II / 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
|
|
|
|
Pervasive Computing [electronic resource] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009, Proceedings / edited by Hideyuki Tokuda, Michael Beigl, Adrian Friday, A. J. Bernheim Brush, Yoshito Tobe.
by Tokuda, Hideyuki [editor.] | Beigl, Michael [editor.] | Friday, Adrian [editor.] | Brush, A. J. Bernheim [editor.] | Tobe, Yoshito [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings / edited by Michela Bertolotto, Cyril Ray, Xiang Li.
by Bertolotto, Michela [editor.] | Ray, Cyril [editor.] | Li, Xiang [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
|
|
|
|
Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola.
by Blume, Matthias [editor.] | Kobayashi, Naoki [editor.] | Vidal-Oriola, Germán [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
|
|
|
|
SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings / edited by Emmanuel Gaudin, Élie Najm, Rick Reed.
by Gaudin, Emmanuel [editor.] | Najm, Élie [editor.] | Reed, Rick [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
|
|
|
|
Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari.
by Bolduc, Claude [editor.] | Desharnais, Jules [editor.] | Ktari, Bechir [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part III / edited by Chun-Yi Su, Subhash Rakheja, Liu Honghai.
by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Honghai, Liu [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
|
|
|
|
Information, Technology in Bio- and Medical Informatics, ITBAM 2010 [electronic resource] : First International Conference, Bilbao, Spain, September 1-2, 2010, Proceedings / edited by Sami Khuri, Lenka Lhotská, Nadia Pisanti.
by Khuri, Sami [editor.] | Lhotská, Lenka [editor.] | Pisanti, Nadia [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
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / edited by Michael Bailey, Thorsten Holz, Manolis Stamatogiannakis, Sotiris Ioannidis.
by Bailey, Michael [editor.] | Holz, Thorsten [editor.] | Stamatogiannakis, Manolis [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat.
by Howar, Falk [editor.] | Barnat, Jiří [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr.
by García Bringas, Pablo [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [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
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, Proceedings / edited by Linda Bushnell, Radha Poovendran, Tamer Başar.
by Bushnell, Linda [editor.] | Poovendran, Radha [editor.] | Başar, Tamer [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Processing and Analysis of Biomedical Information [electronic resource] : First International SIPAIM Workshop, SaMBa 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Revised Selected Papers / edited by Natasha Lepore, Jorge Brieva, Eduardo Romero, Daniel Racoceanu, Leo Joskowicz.
by Lepore, Natasha [editor.] | Brieva, Jorge [editor.] | Romero, Eduardo [editor.] | Racoceanu, Daniel [editor.] | Joskowicz, Leo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers / edited by Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.
by Hinze, Thomas [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman.
by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Proper, Henderik A [editor.] | Ardagna, Claudio Agostino [editor.] | Roman, Dumitru [editor.] | Meersman, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Cyber Physical Systems. Model-Based Design [electronic resource] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
