|
|
|
Applications of Evolutionary Computation [electronic resource] : 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings / edited by Kevin Sim, Paul Kaufmann.
by Sim, Kevin [editor.] | Kaufmann, Paul [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
|
|
|
|
Advances in Computer Entertainment Technology [electronic resource] : 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings / edited by Adrian David Cheok, Masahiko Inami, Teresa Romão.
by Cheok, Adrian David [editor.] | Inami, Masahiko [editor.] | Romão, Teresa [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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / edited by Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz.
by Kamsties, Erik [editor.] | Horkoff, Jennifer [editor.] | Dalpiaz, Fabiano [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
|
|
|
|
Image and Signal Processing [electronic resource] : 8th International Conference, ICISP 2018, Cherbourg, France, July 2-4, 2018, Proceedings / edited by Alamin Mansouri, Abderrahim El Moataz, Fathallah Nouboud, Driss Mammass.
by Mansouri, Alamin [editor.] | El Moataz, Abderrahim [editor.] | Nouboud, Fathallah [editor.] | Mammass, Driss [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers / edited by Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta.
by Arai, Sachiyo [editor.] | Kojima, Kazuhiro [editor.] | Mineshima, Koji [editor.] | Bekki, Daisuke [editor.] | Satoh, Ken [editor.] | Ohta, Yuiko [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
|
|
|
|
Computational Science - ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot.
by Shi, Yong [editor.] | Fu, Haohuan [editor.] | Tian, Yingjie [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael Harold [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [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
|
|
|
|
Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / edited by Ian F. C. Smith, Bernd Domer.
by Smith, Ian F. C [editor.] | Domer, Bernd [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
|
|
|
|
Computational Intelligence in Music, Sound, Art and Design [electronic resource] : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings / edited by Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt.
by Liapis, Antonios [editor.] | Romero Cardalda, Juan Jesús [editor.] | Ekárt, Anikó [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
|
|
|
|
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.
by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [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
|
|
|
|
Hybrid Metaheuristics [electronic resource] : Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings / edited by Francisco Almeida, María J. Blesa Aguilera, Christian Blum, José Marcos Moreno Vega, Melquíades Pérez, Andrea Roli, MIchael Sampels.
by Almeida, Francisco [editor.] | Blesa Aguilera, María J [editor.] | Blum, Christian [editor.] | Moreno Vega, José Marcos [editor.] | Pérez, Melquíades [editor.] | Roli, Andrea [editor.] | Sampels, MIchael [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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 [electronic resource] : 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part II / edited by Gabor Fichtinger, Anne Martel, Terry Peters.
by Fichtinger, Gabor [editor.] | Martel, Anne [editor.] | Peters, Terry [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
|
|
|
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.
by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [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
|
|
|
|
Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / edited by Judith Bayard Cushing, James French, Shawn Bowers.
by Bayard Cushing, Judith [editor.] | French, James [editor.] | Bowers, Shawn [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
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings / edited by Costin Badica, Ngoc Thanh Nguyen, Marius Brezovan.
by Badica, Costin [editor.] | Nguyen, Ngoc Thanh [editor.] | Brezovan, Marius [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / edited by Francisco Chicano, Bin Hu, Pablo García-Sánchez.
by Chicano, Francisco [editor.] | Hu, Bin [editor.] | García-Sánchez, Pablo [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
|
|
|
|
Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / edited by Robert Winter, J. Leon Zhao, Stephan Aier.
by Winter, Robert [editor.] | Zhao, J. Leon [editor.] | Aier, Stephan [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
|
|
|
|
Fuzzy Logic and Soft Computing Applications [electronic resource] : 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers / edited by Alfredo Petrosino, Vincenzo Loia, Witold Pedrycz.
by Petrosino, Alfredo [editor.] | Loia, Vincenzo [editor.] | Pedrycz, Witold [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 Proceedings / edited by José M. Puerta, José A. Gámez, Bernabe Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar.
by Puerta, José M [editor.] | Gámez, José A [editor.] | Dorronsoro, Bernabe [editor.] | Barrenechea, Edurne [editor.] | Troncoso, Alicia [editor.] | Baruque, Bruno [editor.] | Galar, Mikel [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings / edited by Jin-Yi Cai, Barry S. Cooper, Angsheng Li.
by Cai, Jin-Yi [editor.] | Cooper, Barry S [editor.] | Li, Angsheng [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
|
