|
|
|
Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / edited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.
by Hertling, Peter [editor.] | Hoffmann, Christoph M [editor.] | Luther, Wolfram [editor.] | Revol, Nathalie [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / edited by Kim V. Andersen, John Debenham, Roland Wagner.
by Andersen, Kim V [editor.] | Debenham, John [editor.] | Wagner, Roland [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings / edited by Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais.
by Kop, Christian [editor.] | Fliedl, Günther [editor.] | Mayr, Heinrich C [editor.] | Métais, Elisabeth [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
|
|
|
|
Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner.
by Broy, Manfred [editor.] | Jonsson, Bengt [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [editor.] | Pretschner, Alexander [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
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang.
by Yang, Boting [editor.] | Du, Ding-Zhu [editor.] | Wang, Cao An [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
|
|
|
|
Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I / edited by Stefanos Kollias, Andreas Stafylopatis, Wlodzislaw Duch, Erkki Oja.
by Kollias, Stefanos [editor.] | Stafylopatis, Andreas [editor.] | Duch, Wlodzislaw [editor.] | Oja, Erkki [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
|
|
|
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle.
by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [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
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Kunsoo Park.
by Apostolico, Alberto [editor.] | Crochemore, Maxime [editor.] | Park, Kunsoo [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
|
|
|
|
Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg Michaelson, Ricardo Pena.
by Trinder, Phil [editor.] | Michaelson, Greg [editor.] | Pena, Ricardo [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
|
|
|
|
DNA Computing [electronic resource] : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / edited by Max H. Garzon, Hao Yan.
by Garzon, Max H [editor.] | Yan, Hao [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / edited by J. Christopher Beck, Barbara Smith.
by Beck, J. Christopher [editor.] | Smith, Barbara [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
|
|
|
|
Advances in Web-Age Information Management [electronic resource] : 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings / edited by Wenfei Fan, Zhaohui Wu, Jun Yang.
by Fan, Wenfei [editor.] | Wu, Zhaohui [editor.] | Yang, Jun [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
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers / edited by Lars Svensson, José Monteiro.
by Svensson, Lars [editor.] | Monteiro, José [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
|
|
|
|
Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw.
by Wermter, Stefan [editor.] | Palm, Günther [editor.] | Elshaw, Mark [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
|
|
|
|
Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings / edited by Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski.
by Kryszkiewicz, Marzena [editor.] | Peters, James F [editor.] | Rybinski, Henryk [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
|
|
|
|
Independent Component Analysis and Signal Separation [electronic resource] : 7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings / edited by Mike E. Davies, Christopher C. James, Samer A. Abdallah, Mark D. Plumbley.
by Davies, Mike E [editor.] | James, Christopher C [editor.] | Abdallah, Samer A [editor.] | Plumbley, Mark D [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
|
|
|
|
Knowledge and Information Visualization [electronic resource] : Searching for Synergies / edited by Sigmar-Olaf Tergan, Tanja Keller.
by Tergan, Sigmar-Olaf [editor.] | Keller, Tanja [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
|
|
|
|
Web Engineering [electronic resource] : 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings / edited by Luciano Baresi, Piero Fraternali, Geert-Jan Houben.
by Baresi, Luciano [editor.] | Fraternali, Piero [editor.] | Houben, Geert-Jan [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
|
|
|
|
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe.
by Beckmann, Arnold [editor.] | Dimitracopoulos, Costas [editor.] | Löwe, Benedikt [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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2018 [electronic resource] : 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part I / edited by Hujun Yin, David Camacho, Paulo Novais, Antonio J. Tallón-Ballesteros.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Novais, Paulo [editor.] | Tallón-Ballesteros, Antonio J [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
|
