|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / edited by Ugo Dal Lago, Ricardo Peña.
by Dal Lago, Ugo [editor.] | Peña, Ricardo [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings / edited by Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro.
by De Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Search Based Software Engineering [electronic resource] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza.
by Fraser, Gordon [editor.] | Teixeira de Souza, Jerffeson [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
|
|
|
|
Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / edited by Franz Winkler.
by Winkler, Franz [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
|
|
|
|
Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva.
by Maziero, Carlos Alberto [editor.] | Silva, João Gabriel [editor.] | Andrade, Aline Maria Santos [editor.] | Assis Silva, Flávio Morais de [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
|
|
|
|
Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana.
by Jain, Hemant [editor.] | Sinha, Atish P [editor.] | Vitharana, Padmal [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas.
by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, Wolfgang [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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger.
by Dixon, Clare [editor.] | Finger, Marcelo [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
|
|
|
|
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque.
by Winckler, Marco [editor.] | Johnson, Hilary [editor.] | Palanque, Philippe [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
|
|
|
|
Innovations in Applied Artificial Intelligence [electronic resource] : 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings / edited by Floriana Esposito.
by Esposito, Floriana [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / edited by Lars Birkedal.
by Birkedal, Lars [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu.
by Basu, Samik [editor.] | Pautasso, Cesare [editor.] | Zhang, Liang [editor.] | Fu, Xiang [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
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers / edited by Javier Lopez, Indrajit Ray, Bruno Crispo.
by Lopez, Javier [editor.] | Ray, Indrajit [editor.] | Crispo, Bruno [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings / edited by Thomas Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy.
by Braun, Thomas [editor.] | Carle, Georg [editor.] | Fahmy, Sonia [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / edited by Dominique Borrione, Wolfgang Paul.
by Borrione, Dominique [editor.] | Paul, Wolfgang [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
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
by Gnesi, Stefania [editor.] | Rensink, Arend [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.
by Muggleton, Stephen [editor.] | Otero, Ramon [editor.] | Tamaddoni-Nezhad, Alireza [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
|
|
|
|
Model and Data Engineering [electronic resource] : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings / edited by Alfredo Cuzzocrea, Sofian Maabout.
by Cuzzocrea, Alfredo [editor.] | Maabout, Sofian [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Ahmed Bouajjani, Alexandra Silva.
by Bouajjani, Ahmed [editor.] | Silva, Alexandra [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / edited by David Clarke, Gul Agha.
by Clarke, David [editor.] | Agha, Gul [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
|
