|
|
|
Software Process Improvement [electronic resource] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz.
by Abrahamsson, Pekka [editor.] | Baddoo, Nathan [editor.] | Margaria, Tiziana [editor.] | Messnarz, Richard [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
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / edited by Michael Grossniklaus, Manuel Wimmer.
by Grossniklaus, Michael [editor.] | Wimmer, Manuel [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 of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / edited by Luke Ong.
by Ong, Luke [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
|
|
|
|
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / edited by Michael Butler, Wolfram Schulte.
by Butler, Michael [editor.] | Schulte, Wolfram [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
|
|
|
|
Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings / edited by Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio MASSACCI.
by Stølen, Ketil [editor.] | Winsborough, William H [editor.] | Martinelli, Fabio [editor.] | MASSACCI, Fabio [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
|
|
|
|
Automated Deduction -- CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
by Bonacina, Maria Paola [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
|
|
|
|
Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings / edited by Paolo Petta, Jörg Müller, Matthias Klusch, Michael Georgeff.
by Petta, Paolo [editor.] | Müller, Jörg [editor.] | Klusch, Matthias [editor.] | Georgeff, Michael [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
|
|
|
|
Multiple Access Communications [electronic resource] : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings / edited by Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume Barcelo, Roman Maslennikov, Periklis Chatzimisios, David Malone.
by Bellalta, Boris [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Barcelo, Jaume [editor.] | Maslennikov, Roman [editor.] | Chatzimisios, Periklis [editor.] | Malone, David [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
|
|
|
|
Testing Software and Systems [electronic resource] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes de Oca.
by Merayo, Mercedes G [editor.] | Montes de Oca, Edgardo [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
|
|
|
|
Service Availability [electronic resource] : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / edited by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser.
by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Kaiser, Jörg [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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / edited by Emilio Tuosto, Chun Ouyang.
by Tuosto, Emilio [editor.] | Ouyang, Chun [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
|
|
|
|
Distributed Computing [electronic resource] : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / edited by Yoram Moses.
by Moses, Yoram [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
|
|
|
|
Objects, Components, Models, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings / edited by Judith Bishop, Antonio Vallecillo.
by Bishop, Judith [editor.] | Vallecillo, Antonio [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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | Vega-Rodríguez, Miguel A [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
|
|
|
|
Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Sven A. Brueckner, Giovanni Di Marzo Serugendo, David Hales.
by Brueckner, Sven A [editor.] | Di Marzo Serugendo, Giovanni [editor.] | Hales, David [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
|
|
|
|
Human-Computer Interaction: Users and Contexts [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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 Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings / edited by Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter.
by Czarnecki, Krzysztof [editor.] | Ober, Ileana [editor.] | Bruel, Jean-Michel [editor.] | Uhl, Axel [editor.] | Völter, Markus [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
|
|
|
|
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter.
by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Tanter, Éric [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
|
|
|
|
Self-Organizing Systems [electronic resource] : 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers / edited by Wilfried Elmenreich, Falko Dressler, Vittorio Loreto.
by Elmenreich, Wilfried [editor.] | Dressler, Falko [editor.] | Loreto, Vittorio [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
|
|
|
|
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / edited by Rudi Eigenmann, Bronis R. de Supinski.
by Eigenmann, Rudi [editor.] | de Supinski, Bronis R [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
|
