|
|
|
Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected Papers / edited by Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton.
by Monmarché, Nicolas [editor.] | Talbi, El-Ghazali [editor.] | Collet, Pierre [editor.] | Schoenauer, Marc [editor.] | Lutton, Evelyne [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M.L.M. Palma, Álvaro L.G.A. Couthino, Esther Pacitti, João Correia Lopes.
by Daydé, Michel [editor.] | Palma, José M.L.M [editor.] | Couthino, Álvaro L.G.A [editor.] | Pacitti, Esther [editor.] | Correia Lopes, João [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
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef.
by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [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
|
|
|
|
SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings / edited by Villiam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková.
by Geffert, Villiam [editor.] | Karhumäki, Juhani [editor.] | Bertoni, Alberto [editor.] | Preneel, Bart [editor.] | Návrat, Pavol [editor.] | Bieliková, Mária [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 for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | de Roever, Willem-Paul [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis.
by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II / edited by Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun.
by Gervasi, Osvaldo [editor.] | Taniar, David [editor.] | Murgante, Beniamino [editor.] | Laganà, Antonio [editor.] | Mun, Youngsong [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
|
|
|
|
Computational Science - ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I / edited by Gabrielle Allen, Jaroslaw Nabrzyski, Edward Seidel, Geert Dick van Albada, Jack Dongarra, Peter M.A. Sloot.
by Allen, Gabrielle [editor.] | Nabrzyski, Jaroslaw [editor.] | Seidel, Edward [editor.] | van Albada, Geert Dick [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M.A [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 Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.
by Engels, Gregor [editor.] | Opdyke, Bill [editor.] | Schmidt, Douglas C [editor.] | Weil, Frank [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
|
|
|
|
Neural Information Processing. Theory and Algorithms [electronic resource] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I / edited by Kevin K.W. Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum.
by Wong, Kevin K.W [editor.] | Mendis, B. Sumudu U [editor.] | Bouzerdoum, Abdesselam [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
|
|
|
|
Scientific and Statistical Database Management [electronic resource] : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings / edited by Bertram Ludäscher, Nikos Mamoulis.
by Ludäscher, Bertram [editor.] | Mamoulis, Nikos [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
|
|
|
|
SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings / edited by Emmanuel Gaudin, Élie Najm, Rick Reed.
by Gaudin, Emmanuel [editor.] | Najm, Élie [editor.] | Reed, Rick [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
|
|
|
|
Transactions on Computational Collective Intelligence XXII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / edited by Barry S. Cooper, Benedikt Löwe, Andrea Sorbi.
by Cooper, Barry S [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat.
by Howar, Falk [editor.] | Barnat, Jiří [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings / edited by Joerg M. Haake, Sergio F. Ochoa, Alejandra Cechich.
by Haake, Joerg M [editor.] | Ochoa, Sergio F [editor.] | Cechich, Alejandra [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] : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers / edited by Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.
by Hinze, Thomas [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26-28, 2019, Proceedings / edited by Elisabeth Métais, Farid Meziane, Sunil Vadera, Vijayan Sugumaran, Mohamad Saraee.
by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Vadera, Sunil [editor.] | Sugumaran, Vijayan [editor.] | Saraee, Mohamad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
