|
|
|
Software Architecture [electronic resource] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book.
by Crnkovic, Ivica [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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 and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / edited by Josep Diaz, Tiziana Calamoneri.
by Diaz, Josep [editor.] | Calamoneri, Tiziana [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
|
|
|
|
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.
by Banerjee, Mohua [editor.] | S., Krishna [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Wasniewski, Jerzy [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] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / edited by Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik.
by Kutylowski, Miroslaw [editor.] | Gebala, Maciej [editor.] | Charatonik, Witold [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
|
|
|
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.
by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [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
|
|
|
|
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings / edited by Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
by Veanes, Margus [editor.] | Tretmans, Jan [editor.] | Grieskamp, Wolfgang [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
|
|
|
|
Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / edited by David Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Corne, David [editor.] | Frisco, Pierluigi [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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] : 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by François Fages, Francesca Rossi, Sylvain Soliman.
by Fages, François [editor.] | Rossi, Francesca [editor.] | Soliman, Sylvain [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [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
|
|
|
|
CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings / edited by Franck van Breugel, Marsha Chechik.
by van Breugel, Franck [editor.] | Chechik, Marsha [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
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.
by De Nivelle, Hans [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
|
|
|
|
Advanced Internet Based Systems and Applications [electronic resource] : Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers / edited by Ernesto Damiani, Kokou Yetongnon, Richard Chbeir, Albert Dipanda.
by Damiani, Ernesto [editor.] | Yetongnon, Kokou [editor.] | Chbeir, Richard [editor.] | Dipanda, Albert [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
|
|
|
|
Model Driven Architecture - Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings / edited by Ina Schieferdecker, Alan Hartman.
by Schieferdecker, Ina [editor.] | Hartman, Alan [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 and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings / edited by Peter J. Stuckey.
by Stuckey, Peter J [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.
by Beringer, Lennart [editor.] | Felty, Amy [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
|
|
|
|
Model Driven Architecture - Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings / edited by Alan Hartman, David Kreische.
by Hartman, Alan [editor.] | Kreische, David [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / edited by Giuseppe Castagna.
by Castagna, Giuseppe [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
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.
by Huisman, Marieke [editor.] | Rubin, Julia [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings / edited by Jadwiga Indulska, Kerry Raymond.
by Indulska, Jadwiga [editor.] | Raymond, Kerry [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
|
