Your search returned 10983 results. Subscribe to this search

|
Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings / edited by Anthony Bonato, Fan R.K. Chung.

by Bonato, Anthony [editor.] | Chung, Fan R.K [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

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings / edited by Josep Diaz, Klaus Jansen, José D.P. Rolim, Uri Zwick.

by Diaz, Josep [editor.] | Jansen, Klaus [editor.] | Rolim, José D.P [editor.] | Zwick, Uri [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

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings / edited by Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek El-Ghazawi.

by Koch, Andreas [editor.] | Krishnamurthy, Ram [editor.] | McAllister, John [editor.] | Woods, Roger [editor.] | El-Ghazawi, Tarek [editor.] | SpringerLink (Online service).

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Rolf Drechsler, Aniko Ekart, Anna I. Esparcia-Alcazar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Sima Uyar, Shengxiang Yang.

by Giacobini, Mario [editor.] | Brabazon, Anthony [editor.] | Cagnoni, Stefano [editor.] | Di Caro, Gianni A [editor.] | Drechsler, Rolf [editor.] | Ekart, Aniko [editor.] | Esparcia-Alcazar, Anna I [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | McCormack, Jon [editor.] | O'Neill, Michael [editor.] | Romero, Juan [editor.] | Rothlauf, Franz [editor.] | Squillero, Giovanni [editor.] | Uyar, Sima [editor.] | Yang, Shengxiang [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

Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / edited by Joel Ouaknine, Frits W. Vaandrager.

by Ouaknine, Joel [editor.] | Vaandrager, Frits W [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

Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez, Grzegorz Rozenberg.

by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Paun, Gheorghe [editor.] | Pérez-Jiménez, Mario de Jesus [editor.] | Rozenberg, Grzegorz [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

Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I / edited by Cecilia Di Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Aniko Ekart, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis.

by Di Chio, Cecilia [editor.] | Cagnoni, Stefano [editor.] | Cotta, Carlos [editor.] | Ebner, Marc [editor.] | Ekart, Aniko [editor.] | Esparcia-Alcázar, Anna I [editor.] | Merelo, Juan J [editor.] | Neri, Ferrante [editor.] | Preuss, Mike [editor.] | Richter, Hendrik [editor.] | Togelius, Julian [editor.] | Yannakakis, Georgios N [editor.] | SpringerLink (Online service).

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

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings / edited by Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis.

by Hämäläinen, Timo D [editor.] | Pimentel, Andy D [editor.] | Takala, Jarmo [editor.] | Vassiliadis, Stamatis [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

Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / edited by Jianxin Wang, Chee Yap.

by Wang, Jianxin [editor.] | Yap, Chee [editor.] | SpringerLink (Online service).

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

Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / edited by Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao.

by Runarsson, Thomas Philip [editor.] | Beyer, Hans-Georg [editor.] | Burke, Edmund [editor.] | Merelo-Guervós, Juan J [editor.] | Whitley, L. Darrell [editor.] | Yao, Xin [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 Self-Organizing Maps [electronic resource] : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings / edited by Jorma Laaksonen, Timo Honkela.

by Laaksonen, Jorma [editor.] | Honkela, Timo [editor.] | SpringerLink (Online service).

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

Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / edited by Rudolf Berghammer, Ali Jaoua, Bernhard Möller.

by Berghammer, Rudolf [editor.] | Jaoua, Ali [editor.] | Möller, Bernhard [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

Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.

by Jürgensen [editor.] | Reis, Rogério [editor.] | SpringerLink (Online service).

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

Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

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

Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / edited by Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii.

by Hirsch, Edward [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Prilutskii, Michail [editor.] | SpringerLink (Online service).

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

Unconventional Computation and Natural Computation [electronic resource] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / edited by Cristian S. Calude, Michael J. Dinneen.

by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | SpringerLink (Online service).

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

Swarm Intelligence [electronic resource] : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / edited by Marco Dorigo, Mauro Birattari, Xiaodong Li, Manuel López-Ibáñez, Kazuhiro Ohkura, Carlo Pinciroli, Thomas Stützle.

by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Li, Xiaodong [editor.] | López-Ibáñez, Manuel [editor.] | Ohkura, Kazuhiro [editor.] | Pinciroli, Carlo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service).

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

Web and Internet Economics [electronic resource] : 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / edited by Yang Cai, Adrian Vetta.

by Cai, Yang [editor.] | Vetta, Adrian [editor.] | SpringerLink (Online service).

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

Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort.

by Campos, Javier [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service).

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