|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 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 Andrew Pitts.
by Pitts, Andrew [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
|
|
|
|
Quality of Software Architectures Models and Architectures [electronic resource] : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / edited by Steffen Becker, Frantisek Plasil, Ralf H. Reussner.
by Becker, Steffen [editor.] | Plasil, Frantisek [editor.] | Reussner, Ralf H [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 II [electronic resource] : Focus: AOP Systems, Software and Middleware / edited by Awais Rashid, Mehmet Aksit.
by Rashid, Awais [editor.] | Aksit, Mehmet [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
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings / edited by Sebastian Rudolph, Claudio Gutierrez.
by Rudolph, Sebastian [editor.] | Gutierrez, Claudio [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
|
|
|
|
NETWORKING 2010 [electronic resource] : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings / edited by Mark Crovella, Laura Marie Feeney, Dan Rubenstein, S.V. Raghavan.
by Crovella, Mark [editor.] | Feeney, Laura Marie [editor.] | Rubenstein, Dan [editor.] | Raghavan, S.V [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
|
|
|
|
Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke.
by Clark, John A [editor.] | Paige, Richard F [editor.] | Polack, Fiona A.C [editor.] | Brooke, Phillip J [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
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 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 David S. Rosenblum, Gabriele Taentzer.
by Rosenblum, David S [editor.] | Taentzer, Gabriele [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
|
|
|
|
Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal.
by Marchetti-Spaccamela, Alberto [editor.] | Segal, Michael [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
|
|
|
|
CONCUR 2013 -- Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / edited by Pedro R. D'Argenio, Hernan Melgratti.
by D'Argenio, Pedro R [editor.] | Melgratti, Hernan [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
|
|
|
|
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / edited by Robert Glück, Tetsuo Yokoyama.
by Glück, Robert [editor.] | Yokoyama, Tetsuo [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
|
|
|
|
Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino.
by Pathan, Mukaddim [editor.] | Wei, Guiyi [editor.] | Fortino, Giancarlo [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
|
|
|
|
Principles and Practice of Multi-Agent Systems [electronic resource] : 15th International Conference, PRIMA 2012, Kuching, Sarawak, Malaysia, September 3-7, 2012, Proceedings / edited by Iyad Rahwan, Wayne Wobcke, Sandip Sen, Toshiharu Sugawara.
by Rahwan, Iyad [editor.] | Wobcke, Wayne [editor.] | Sen, Sandip [editor.] | Sugawara, Toshiharu [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings / edited by Gwen Salaün, Bernhard Schätz.
by Salaün, Gwen [editor.] | Schätz, Bernhard [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 Security - ESORICS 2017 [electronic resource] : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II / edited by Simon N. Foley, Dieter Gollmann, Einar Snekkenes.
by Foley, Simon N [editor.] | Gollmann, Dieter [editor.] | Snekkenes, Einar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.
by Brodman, James [editor.] | Tu, Peng [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
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 Proceedings / edited by Thomas Kunz, S.S. Ravi.
by Kunz, Thomas [editor.] | Ravi, S.S [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
|
|
|
|
Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / edited by Walid Mohamed Taha.
by Taha, Walid Mohamed [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
|
|
|
|
FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / edited by John Fitzgerald, Ian J. Hayes.
by Fitzgerald, John [editor.] | Hayes, Ian J [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
|
|
|
|
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring.
by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [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
|
|
|
|
Human-Computer Interaction -- INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III / edited by Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler.
by Campos, Pedro [editor.] | Graham, Nicholas [editor.] | Jorge, Joaquim [editor.] | Nunes, Nuno [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [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
|
