|
|
|
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
|
|
|
|
Advances in Grid and Pervasive Computing [electronic resource] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings / edited by Jukka Riekki, Mika Ylianttila, Minyi Guo.
by Riekki, Jukka [editor.] | Ylianttila, Mika [editor.] | Guo, Minyi [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
|
|
|
|
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
|
|
|
|
Parallel Computing Technologies [electronic resource] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / edited by Malyshkin Victor.
by Victor, Malyshkin [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
|
|
|
|
Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, Andre Schiper.
by Charron-Bost, Bernadette [editor.] | Pedone, Fernando [editor.] | Schiper, Andre [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / edited by Manuel Grana Romay, Alexandre Manhaes Savio.
by Romay, Manuel Grana [editor.] | Savio, Alexandre Manhaes [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
|
|
|
|
Algorithmic Applications in Management [electronic resource] : First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / edited by Nimrod Megiddo, Yinfeng Xu, Nancy Alonstioti, Binhai Zhu.
by Megiddo, Nimrod [editor.] | Xu, Yinfeng [editor.] | Alonstioti, Nancy [editor.] | Zhu, Binhai [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings / edited by Gem Stapleton, John Howse, John Lee.
by Stapleton, Gem [editor.] | Howse, John [editor.] | Lee, John [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
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero.
by Rothlauf, Franz [editor.] | Branke, Jürgen [editor.] | Cagnoni, Stefano [editor.] | Corne, David W [editor.] | Drechsler, Rolf [editor.] | Jin, Yaochu [editor.] | Machado, Penousal [editor.] | Marchiori, Elena [editor.] | Romero, Juan [editor.] | Smith, George D [editor.] | Squillero, Giovanni [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / edited by Yuliya Lierler, Walid Taha.
by Lierler, Yuliya [editor.] | Taha, Walid [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
|
|
|
|
Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns.
by Eymann, Torsten [editor.] | Klügl, Franziska [editor.] | Lamersdorf, Winfried [editor.] | Klusch, Matthias [editor.] | Huhns, Michael N [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
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Aniko Ekart, Anna I. Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang.
by Giacobini, Mario [editor.] | Brabazon, Anthony [editor.] | Cagnoni, Stefano [editor.] | Ekart, Aniko [editor.] | Esparcia-Alcázar, Anna I [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Machado, Penousal [editor.] | McCormack, Jon [editor.] | O'Neill, Michael [editor.] | Neri, Ferrante [editor.] | Preuss, Mike [editor.] | Rothlauf, Franz [editor.] | Tarantino, Ernesto [editor.] | Yang, Shengxiang [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
|
|
|
|
Advances in Smalltalk [electronic resource] : 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang De Meuter.
by De Meuter, 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
|
