|
|
|
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / edited by Kousha Etessami, Sriram K. Rajamani.
by Etessami, Kousha [editor.] | Rajamani, Sriram K [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XX [electronic resource] : Special Issue on Advanced Techniques for Big Data Management / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sherif Sakr, Lizhe Wang, Albert Zomaya.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Sakr, Sherif [editor.] | Wang, Lizhe [editor.] | Zomaya, Albert [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
|
|
|
|
Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano.
by Berekovic, Mladen [editor.] | Fornaciari, William [editor.] | Brinkschulte, Uwe [editor.] | Silvano, Cristina [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
|
|
|
|
Machine Learning, Optimization, and Big Data [electronic resource] : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers / edited by Panos M. Pardalos, Piero Conca, Giovanni Giuffrida, Giuseppe Nicosia.
by Pardalos, Panos M [editor.] | Conca, Piero [editor.] | Giuffrida, Giovanni [editor.] | Nicosia, Giuseppe [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
|
|
|
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / edited by Rogier M. van Eijk, Marc-Philippe Huget, Frank Dignum.
by van Eijk, Rogier M [editor.] | Huget, Marc-Philippe [editor.] | Dignum, Frank [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
|
|
|
|
Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers / edited by Refik Molva, Gene Tsudik, Dirk Westhoff.
by Molva, Refik [editor.] | Tsudik, Gene [editor.] | Westhoff, Dirk [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
|
|
|
|
Distributed Computing - IWDC 2005 [electronic resource] : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings / edited by Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta.
by Pal, Ajit [editor.] | Kshemkalyani, Ajay D [editor.] | Kumar, Rajeev [editor.] | Gupta, Arobinda [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / edited by Vladimiro Sassone.
by Sassone, Vladimiro [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems II [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
|
|
|
|
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings / edited by Allan Ramsay, Gennady Agre.
by Ramsay, Allan [editor.] | Agre, Gennady [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.
by Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems III [electronic resource] : Special Issue on Data and Knowledge Management in Grid and PSP Systems / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Norbert Streitz, Panos Markopoulos.
by Streitz, Norbert [editor.] | Markopoulos, Panos [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
|
|
|
|
Artificial Neural Networks: Biological Inspirations - ICANN 2005 [electronic resource] : 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I / edited by Wlodzislaw Duch, Erkki Oja, Slawomir Zadrozny.
by Duch, Wlodzislaw [editor.] | Oja, Erkki [editor.] | Zadrozny, Slawomir [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
|
|
|
|
Computer Vision - ACCV 2014 Workshops [electronic resource] : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I / edited by C.V. Jawahar, Shiguang Shan.
by Jawahar, C.V [editor.] | Shan, Shiguang [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / edited by Eran Yahav.
by Yahav, Eran [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
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran.
by Cuadrado-Gallego, Juan J [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Abran, Alain [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
|
|
|
|
Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports / edited by Jacques Malenfant, Bjarte M. Østvold.
by Malenfant, Jacques [editor.] | Østvold, Bjarte M [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems I [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [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
|
