|
|
|
Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / edited by Jacques Garrigue, Manuel Hermenegildo.
by Garrigue, Jacques [editor.] | Hermenegildo, Manuel [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
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / edited by David F. Gleich, Júlia Komjáthy, Nelly Litvak.
by Gleich, David F [editor.] | Komjáthy, Júlia [editor.] | Litvak, Nelly [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2007 [electronic resource] : 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings / edited by Kaoru Kurosawa.
by Kurosawa, Kaoru [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
|
|
|
|
Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings / edited by Neamat El Gayar, Josef Kittler, Fabio Roli.
by El Gayar, Neamat [editor.] | Kittler, Josef [editor.] | Roli, Fabio [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 Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori.
by Fisher, Michael [editor.] | van der Torre, Leon [editor.] | Dastani, Mehdi [editor.] | Governatori, Guido [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / edited by Claude-Guy Quimper.
by Quimper, Claude-Guy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings / edited by Armin Duff, Nathan F. Lepora, Anna Mura, Tony J. Prescott, Paul F.M.J. Verschure.
by Duff, Armin [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F.M.J [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
|
|
|
|
Hybrid Learning and Education [electronic resource] : Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009, Proceedings / edited by Fu Lee Wang, Joseph Fong, Liming Zhang, Victor K. S. Lee.
by Wang, Fu Lee [editor.] | Fong, Joseph [editor.] | Zhang, Liming [editor.] | Lee, Victor K. S [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 II / 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
|
|
|
|
Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel.
by Martinelli, Fabio [editor.] | Preneel, Bart [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
|
|
|
|
Advances in Computer Games [electronic resource] : 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers / edited by H. Jaap van den Herik, Shun-Chin Hsu, Tsan-sheng Hsu, H.H.L.M. Donkers.
by Herik, H. Jaap van den [editor.] | Hsu, Shun-Chin [editor.] | Hsu, Tsan-sheng [editor.] | Donkers, H.H.L.M [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
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings / edited by Alberto Bemporad, Giorgio C Buttazzo, Antonio Bicchi.
by Bemporad, Alberto [editor.] | Buttazzo, Giorgio C [editor.] | Bicchi, Antonio [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
|
|
|
|
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
|
|
|
|
The Semantic Web - ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin.
by d'Amato, Claudia [editor.] | Fernandez, Miriam [editor.] | Tamma, Valentina [editor.] | Lecue, Freddy [editor.] | Cudré-Mauroux, Philippe [editor.] | Sequeda, Juan [editor.] | Lange, Christoph [editor.] | Heflin, Jeff [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
|
|
|
|
Transactions on Computational Science XIV [electronic resource] : Special Issue on Voronoi Diagrams and Delaunay Triangulation / edited by Mir Abolfazl Mostafavi.
by Mostafavi, Mir Abolfazl [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 and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau.
by Cao, Jiannong [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Lau, Francis [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / edited by Lusheng Wang.
by Wang, Lusheng [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
|
|
|
|
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
|
