|
|
|
Computational Science - ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II / edited by Marian Bubak, Geert Dick van Albada, Jack Dongarra, Peter M.A. Sloot.
by Bubak, Marian [editor.] | van Albada, Geert Dick [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M.A [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009, Proceedings / edited by Luís Seabra Lopes, Nuno Lau, Pedro Mariano, Luís M. Rocha.
by Seabra Lopes, Luís [editor.] | Lau, Nuno [editor.] | Mariano, Pedro [editor.] | Rocha, Luís M [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 Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / edited by Rupak Majumdar, Viktor Kunčak.
by Majumdar, Rupak [editor.] | Kunčak, Viktor [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
|
|
|
|
Transactions on Computational Systems Biology XIV [electronic resource] : Special Issue on Computational Models for Cell Processes / edited by Ion Petre, Erik de Vink.
by Petre, Ion [editor.] | de Vink, Erik [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
|
|
|
|
Motion in Games [electronic resource] : 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012, Proceedings / edited by Marcelo Kallmann, Kostas Bekris.
by Kallmann, Marcelo [editor.] | Bekris, Kostas [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
|
|
|
|
Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino.
by Gallardo, María del Mar [editor.] | Merino, Pedro [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [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
|
|
|
|
HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, Proceedings / edited by Andreas Holzinger.
by Holzinger, Andreas [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III / edited by Osvaldo Gervasi.
by Gervasi, Osvaldo [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II / edited by Caihua Xiong, Yongan Huang, Youlun Xiong.
by Xiong, Caihua [editor.] | Huang, Yongan [editor.] | Xiong, Youlun [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 Robotics and Applications [electronic resource] : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I / edited by Caihua Xiong, Yongan Huang, Youlun Xiong.
by Xiong, Caihua [editor.] | Huang, Yongan [editor.] | Xiong, Youlun [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
|
|
|
|
Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / edited by Georgios Ch. Sirakoulis, Stefania Bandini.
by Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [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
|
|
|
|
Neural Information Processing [electronic resource] : 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II / edited by Chi-Sing Leung, Minho Lee, Jonathan H. Chan.
by Leung, Chi-Sing [editor.] | Lee, Minho [editor.] | Chan, Jonathan 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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2009 [electronic resource] : 10th International Conference, Burgos, Spain, September 23-26, 2009, Proceedings / edited by Emilio Corchado, Hujun Yin.
by Corchado, Emilio [editor.] | Yin, Hujun [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
|
|
|
|
Conceptual Modeling - ER 2005 [electronic resource] : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings / edited by Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor.
by Kop, Christian [editor.] | Mayr, Heinrich C [editor.] | Mylopoulos, John [editor.] | Pastor, Oscar [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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / edited by Matthew Cook, Turlough Neary.
by Cook, Matthew [editor.] | Neary, Turlough [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
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian.
by Rovatsos, Michael [editor.] | Vouros, George [editor.] | Julian, Vicente [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / edited by Vincent Danos, Vincent Schachter.
by Danos, Vincent [editor.] | Schachter, Vincent [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
|
|
|
|
Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource].
by 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
|
