|
|
Internet and Distributed Computing Systems [electronic resource] : 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / edited by Giuseppe Di Fatta, Giancarlo Fortino, Wenfeng Li, Mukaddim Pathan, Frederic Stahl, Antonio Guerrieri.
by Di Fatta, Giuseppe [editor.] | Fortino, Giancarlo [editor.] | Li, Wenfeng [editor.] | Pathan, Mukaddim [editor.] | Stahl, Frederic [editor.] | Guerrieri, Antonio [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
|
|
|
Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / edited by Patrick Godefroid.
by Godefroid, Patrick [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
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings / edited by Hai Jin, Daniel Reed, Wenbin Jiang.
by Jin, Hai [editor.] | Reed, Daniel [editor.] | Jiang, Wenbin [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
|
|
|
Runtime Verification [electronic resource] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / edited by Koushik Sen, Sarfaz Khurshid.
by Sen, Koushik [editor.] | Khurshid, Sarfaz [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
|
|
|
Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / edited by Reyhan Aydoğan, Tim Baarslag, Enrico Gerding, Catholijn M. Jonker, Vicente Julian, Victor Sanchez-Anguix.
by Aydoğan, Reyhan [editor.] | Baarslag, Tim [editor.] | Gerding, Enrico [editor.] | Jonker, Catholijn M [editor.] | Julian, Vicente [editor.] | Sanchez-Anguix, Victor [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
|
|
|
Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven Brueckner, Salima Hassas, Mark Jelasity, Daniel Yamins.
by Brueckner, Sven [editor.] | Hassas, Salima [editor.] | Jelasity, Mark [editor.] | Yamins, Daniel [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
|
|
|
Web Information Systems Engineering -- WISE 2014 [electronic resource] : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I / edited by Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [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
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / 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
|
|
|
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / edited by Verónica Dahl, Ilkka Niemelä.
by Dahl, Verónica [editor.] | Niemelä, Ilkka [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
|
|
|
NETWORKING 2012 Workshops [electronic resource] : International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012, Proceedings / edited by Zdenek Becvar, Robert Bestak, Lukas Kencl.
by Becvar, Zdenek [editor.] | Bestak, Robert [editor.] | Kencl, Lukas [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
|
|
|
Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by R.H. Bordini, M. Dastani, J. Dix, A El Fallah Seghrouchni.
by Bordini, R.H [editor.] | Dastani, M [editor.] | Dix, J [editor.] | El Fallah Seghrouchni, 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
|
|
|
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / edited by Jose Bravo, Ramón Hervás, Marcela Rodriguez.
by Bravo, Jose [editor.] | Hervás, Ramón [editor.] | Rodriguez, Marcela [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
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / edited by Kai Brünnler, George Metcalfe.
by Brünnler, Kai [editor.] | Metcalfe, George [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
|
|
|
Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski.
by Hinchey, Michael G [editor.] | Rago, Patricia [editor.] | Rash, James L [editor.] | Rouff, Christopher A [editor.] | Truszkowski, Walt [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
|
|
|
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky.
by Bernardo, Marco [editor.] | de Vink, Erik [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [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
|
|
|
Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings / edited by Camil Demetrescu.
by Demetrescu, Camil [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
|
|
|
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Ian Cleland, Luis Guerrero, José Bravo.
by Cleland, Ian [editor.] | Guerrero, Luis [editor.] | Bravo, José [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
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini.
by Flammini, Francesco [editor.] | Bologna, Sandro [editor.] | Vittorini, Valeria [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
|
|
|
Algorithms - ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl.
by Arge, Lars [editor.] | Hoffmann, Michael [editor.] | Welzl, Emo [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
|