|
|
|
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
|
|
|
|
Web Information System Engineering -- WISE 2011 [electronic resource] : 12th International Conference, Sydney, Australia, October 13-14, 2011, Proceedings / edited by Athman Bouguettaya, Manfred Hauswirth, Ling Liu.
by Bouguettaya, Athman [editor.] | Hauswirth, Manfred [editor.] | Liu, Ling [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
|
|
|
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith.
by Sharygina, Natasha [editor.] | Veith, Helmut [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
|
|
|
|
Real-World Wireless Sensor Networks [electronic resource] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010, Proceedings / edited by Pedro José Marron, Thiemo Voigt, Peter Corke, Luca Mottola.
by Marron, Pedro José [editor.] | Voigt, Thiemo [editor.] | Corke, Peter [editor.] | Mottola, Luca [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
|
|
|
|
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf H. Reussner, Judith A. Stafford.
by Overhage, Sven [editor.] | Szyperski, Clemens A [editor.] | Reussner, Ralf H [editor.] | Stafford, Judith 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
|
|
|
|
Conceptual Modeling [electronic resource] : 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding / edited by Paolo Atzeni, David Cheung, Sudha Ram.
by Atzeni, Paolo [editor.] | Cheung, David [editor.] | Ram, Sudha [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
|
|
|
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frederic Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi.
by Garcia-Alfaro, Joaquin [editor.] | Cuppens, Frederic [editor.] | Cuppens-Boulahia, Nora [editor.] | Miri, Ali [editor.] | Tawbi, Nadia [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
|
|
|
|
Euro-Par 2006 Workshops: Parallel Processing [electronic resource] : CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart.
by Lehner, Wolfgang [editor.] | Meyer, Norbert [editor.] | Streit, Achim [editor.] | Stewart, Craig [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
|
|
|
|
Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / edited by Antonis Bikakis, Adrian Giurca.
by Bikakis, Antonis [editor.] | Giurca, Adrian [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
|
