|
|
|
Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings / edited by Jan Vitek.
by Vitek, Jan [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
|
|
|
|
Testing: Academic and Industrial Conference - Practice and Research Techniques [electronic resource] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / edited by Leonardo Bottaci, Gordon Fraser.
by Bottaci, Leonardo [editor.] | Fraser, Gordon [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 Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.
by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [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
|
|
|
|
Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil.
by Grunske, Lars [editor.] | Reussner, Ralf H [editor.] | Plasil, Frantisek [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
|
|
|
|
Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke.
by Franke, Björn [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
|
|
|
|
Programming Languages [electronic resource] : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / edited by Fernando Magno Quintao Pereira.
by Quintao Pereira, Fernando Magno [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / edited by Dominique Méry, Stephan Merz.
by Méry, Dominique [editor.] | Merz, Stephan [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
|
|
|
|
Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.
by Gleizes, Marie-Pierre [editor.] | Gomez-Sanz, Jorge J [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
|
|
|
|
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff.
by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [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
|
|
|
|
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers / edited by Michel R. V. Chaudron.
by Chaudron, Michel R. V [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / edited by Zhenjiang Hu.
by Hu, Zhenjiang [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
|
|
|
|
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi.
by Azevedo, Francisco [editor.] | Barahona, Pedro [editor.] | Fages, Francois [editor.] | Rossi, Francesca [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
|
|
|
|
Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann.
by Barringer, Howard [editor.] | Falcone, Ylies [editor.] | Finkbeiner, Bernd [editor.] | Havelund, Klaus [editor.] | Lee, Insup [editor.] | Pace, Gordon [editor.] | Rosu, Grigore [editor.] | Sokolsky, Oleg [editor.] | Tillmann, Nikolai [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
|
|
|
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich.
by Yenigün, Hüsnü [editor.] | Yilmaz, Cemal [editor.] | Ulrich, Andreas [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
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa.
by Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [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
|
|
|
|
Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy.
by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [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
|
|
|
|
The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / edited by Peter Achten, Pieter Koopman.
by Achten, Peter [editor.] | Koopman, Pieter [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
|
|
|
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / edited by Georges Gonthier, Michael Norrish.
by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen.
by Blazy, Sandrine [editor.] | Jensen, Thomas [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
|
|
|
|
Transactions on Computational Science V [electronic resource] : Special Issue on Cognitive Knowledge Representation / edited by Yingxu Wang, Keith Chan.
by Wang, Yingxu [editor.] | Chan, Keith [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
|
