|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe.
by Barthe, Gilles [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
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / edited by Doron A. Peled, Michael Wooldridge.
by Peled, Doron A [editor.] | Wooldridge, Michael [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
|
|
|
|
Cryptology and Network Security [electronic resource] : 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings / edited by Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi.
by Heng, Swee-Huay [editor.] | Wright, Rebecca N [editor.] | Goi, Bok-Min [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
|
|
|
|
Coordination, Organizations, Institutions and Norms in Agent Systems IV [electronic resource] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / edited by Jomi Fred Hubner, Eric T Matson, Olivier Boissier, Virginia Dignum.
by Hubner, Jomi Fred [editor.] | Matson, Eric T [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [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
|
|
|
|
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar.
by Bartocci, Ezio [editor.] | Majumdar, Rupak [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings / edited by Ming-Yang Kao, Xiang-Yang Li.
by Kao, Ming-Yang [editor.] | Li, Xiang-Yang [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings / edited by Erik Altman, Weisong Shi.
by Altman, Erik [editor.] | Shi, Weisong [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
|
|
|
|
Property Testing [electronic resource] : Current Research and Surveys / edited by Oded Goldreich.
by Goldreich, Oded [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
|
|
|
|
Programming Multi-Agents Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini.
by Dennis, Louise [editor.] | Boissier, Olivier [editor.] | Bordini, Rafael H [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky.
by Ciancarini, Paolo [editor.] | Wiklicky, Herbert [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
|
|
|
|
Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / edited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz.
by Gschwind, Thomas [editor.] | Assmann, Uwe [editor.] | Nierstrasz, Oscar [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.
by Groves, Lindsay [editor.] | Sun, Jing [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings / edited by Ofer Strichman, Stefan Szeider.
by Strichman, Ofer [editor.] | Szeider, Stefan [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
|
|
|
|
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar.
by Ibarra, Oscar H [editor.] | Ravikumar, Bala [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.
by Anderson, James H [editor.] | Prencipe, Giuseppe [editor.] | Wattenhofer, Roger [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
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / edited by Andrea de Lucia, Filomena Ferrucci.
by de Lucia, Andrea [editor.] | Ferrucci, Filomena [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
|
|
|
|
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / edited by Gordon Fraser, Angelo Gargantini.
by Fraser, Gordon [editor.] | Gargantini, Angelo [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / edited by Gilles Barthe, Manuel Hermenegildo.
by Barthe, Gilles [editor.] | Hermenegildo, Manuel [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers / edited by Carlos Martin-Vide, Friedrich Otto, Henning Fernau.
by Martin-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [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
|
|
|
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / edited by Salvador Abreu, Dietmar Seipel.
by Abreu, Salvador [editor.] | Seipel, Dietmar [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
|
