|
|
|
Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings / edited by Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes de Mello.
by Stojmenovic, Ivan [editor.] | Thulasiram, Ruppa K [editor.] | Yang, Laurence T [editor.] | Jia, Weijia [editor.] | Guo, Minyi [editor.] | de Mello, Rodrigo Fernandes [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
|
|
|
|
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; 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
|
|
|
|
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; Format:
electronic
available online
; 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; 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 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; 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
|
|
|
|
Computer Vision Systems [electronic resource] : 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings / edited by Mario Fritz, Bernt Schiele, Justus H. Piater.
by Fritz, Mario [editor.] | Schiele, Bernt [editor.] | Piater, Justus H [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
|
|
|
|
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; 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
|
|
|
|
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; 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
|
|
|
|
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; 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
|
|
|
|
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; 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
|
|
|
|
Hybrid Learning and Continuing Education [electronic resource] : 6th International conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013, Proceedings / edited by Simon K.S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam-For Kwok.
by Cheung, Simon K.S [editor.] | Fong, Joseph [editor.] | Fong, Wilfred [editor.] | Wang, Fu Lee [editor.] | Kwok, Lam-For [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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; 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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Y. Zomaya.
by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert Y [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
|
|
|
|
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; 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
|
|
|
|
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; 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
|
|
|
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Biomedical Simulation [electronic resource] : 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings / edited by Fernando Bello, Eddie Edwards.
by Bello, Fernando [editor.] | Edwards, Eddie [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
|
|
|
|
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; Format:
electronic
available online
; 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; 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
|
|
|
|
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; 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
|
