|
|
|
High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers / edited by Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser.
by Di Napoli, Edoardo [editor.] | Hermanns, Marc-André [editor.] | Iliev, Hristo [editor.] | Lintermann, Andreas [editor.] | Peyser, Alexander [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
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / edited by Marko van Eekelen, Olha Shkaravska.
by van Eekelen, Marko [editor.] | Shkaravska, Olha [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 Intelligence for Knowledge-Based System Design [electronic resource] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.
by Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / edited by Carlos Bento, Amilcar Cardoso, Gael Dias.
by Bento, Carlos [editor.] | Cardoso, Amilcar [editor.] | Dias, Gael [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
|
|
|
|
Graph Transformation, Specifications, and Nets [electronic resource] : In Memory of Hartmut Ehrig / edited by Reiko Heckel, Gabriele Taentzer.
by Heckel, Reiko [editor.] | Taentzer, Gabriele [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
|
|
|
|
Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.
by Klasing, Ralf [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
|
|
|
|
Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata.
by Umeda, Masanobu [editor.] | Wolf, Armin [editor.] | Bartenstein, Oskar [editor.] | Geske, Ulrich [editor.] | Seipel, Dietmar [editor.] | Takata, Osamu [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi.
by Muggleton, Stephen [editor.] | Tamaddoni-Nezhad, Alireza [editor.] | Lisi, Francesca A [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: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso [editor.] | Morgan, Carroll [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.
by Van Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [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
|
|
|
|
Reachability Problems [electronic resource] : Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings / edited by Olivier Bournez, Igor Potapov.
by Bournez, Olivier [editor.] | Potapov, Igor [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
|
|
|
|
Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I / edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park.
by Cheong, Otfried [editor.] | Chwa, Kyung-Yong [editor.] | Park, Kunsoo [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
|
|
|
|
Euro-Par 2017: Parallel Processing [electronic resource] : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.
by Rivera, Francisco F [editor.] | Pena, Tomás F [editor.] | Cabaleiro, José C [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
|
|
|
|
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi.
by Dony, Christophe [editor.] | Knudsen, Jorgen Lindskov [editor.] | Romanovsky, Alexander [editor.] | Tripathi, Anand [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
|
|
|
|
Distributed Computing and Internet Technology [electronic resource] : First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings / edited by R.K. Ghosh, Hrushikesha Mohanty.
by Ghosh, R.K [editor.] | Mohanty, Hrushikesha [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
|
|
|
|
Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings / edited by Michael O'Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcázar, Ivanoe De Falco, Antonio Della Cioppa, Ernesto Tarantino.
by O'Neill, Michael [editor.] | Vanneschi, Leonardo [editor.] | Gustafson, Steven [editor.] | Esparcia Alcázar, Anna Isabel [editor.] | De Falco, Ivanoe [editor.] | Della Cioppa, Antonio [editor.] | Tarantino, Ernesto [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
|
|
|
|
Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / edited by Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama.
by Bacardit, Jaume [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | Kovacs, Tim [editor.] | Llorà, Xavier [editor.] | Takadama, Keiki [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 Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.
by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [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
|
|
|
|
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann.
by Schmid, Ute [editor.] | Kitzelmann, Emanuel [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
|
|
|
|
Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / edited by Peng Liu, Sjouke Mauw, Ketil Stolen.
by Liu, Peng [editor.] | Mauw, Sjouke [editor.] | Stolen, Ketil [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
|
