Your search returned 10983 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang.

by Feng, Xinyu [editor.] | Müller-Olm, Markus [editor.] | Yang, Zijiang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Topics in Cryptology - CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / edited by Nigel P. Smart.

by Smart, Nigel P [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / edited by Isil Dillig, Jens Palsberg.

by Dillig, Isil [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Developments in Language Theory [electronic resource] : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings / edited by Piotrek Hofman, Michał Skrzypczak.

by Hofman, Piotrek [editor.] | Skrzypczak, Michał [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Progress in Cryptology - LATINCRYPT 2017 [electronic resource] : 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017, Revised Selected Papers / edited by Tanja Lange, Orr Dunkelman.

by Lange, Tanja [editor.] | Dunkelman, Orr [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / edited by Graham Hutton.

by Hutton, Graham [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available