|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu.
by Liu, Shaoying [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
|
|
|
|
Dynamic Brain - from Neural Spikes to Behaviors [electronic resource] : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures / edited by Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi.
by Marinaro, Maria [editor.] | Scarpetta, Silvia [editor.] | Yamaguchi, Yoko [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick Amestoy, Michel Dayde, Marta Mattoso, Joao Correira Lopes.
by Palma, José M. Laginha M [editor.] | Amestoy, Patrick [editor.] | Dayde, Michel [editor.] | Mattoso, Marta [editor.] | Correira Lopes, Joao [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings / edited by Erzsébet Csuhaj-Varjú, Zoltán Ésik.
by Csuhaj-Varjú, Erzsébet [editor.] | Ésik, Zoltán [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
|
|
|
|
Haptics: Perception, Devices, Control, and Applications [electronic resource] : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / edited by Fernando Bello, Hiroyuki Kajimoto, Yon Visell.
by Bello, Fernando [editor.] | Kajimoto, Hiroyuki [editor.] | Visell, Yon [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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [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
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G.B. Tettamanzi.
by Bloch, Isabelle [editor.] | Petrosino, Alfredo [editor.] | Tettamanzi, Andrea G.B [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / edited by Franck Cassez, Claude Jard.
by Cassez, Franck [editor.] | Jard, Claude [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, MARINA AGUADO, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.
by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | AGUADO, MARINA [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers / edited by Martin Charles Golumbic, Michael Stern, Avivit Levy, Gila Morgenstern.
by Golumbic, Martin Charles [editor.] | Stern, Michael [editor.] | Levy, Avivit [editor.] | Morgenstern, Gila [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
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski.
by Kolehmainen, Ville [editor.] | Toivanen, Pekka [editor.] | Beliczynski, Bartlomiej [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / edited by Gerson Zaverucha, Vítor Santos Costa, Aline Paes.
by Zaverucha, Gerson [editor.] | Santos Costa, Vítor [editor.] | Paes, Aline [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 and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings / edited by Pinar Yolum, Tunga Güngör, Fikret Gürgen, Can Özturan.
by Yolum, Pinar [editor.] | Güngör, Tunga [editor.] | Gürgen, Fikret [editor.] | Özturan, Can [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
|
|
|
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe.
by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin F [editor.] | Löwe, Benedikt [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
|
|
|
|
Information Security and Cryptology - ICISC 2007 [electronic resource] : 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings / edited by Kil-Hyun Nam, Gwangsoo Rhee.
by Nam, Kil-Hyun [editor.] | Rhee, Gwangsoo [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
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / edited by Sanyou Zeng.
by Zeng, Sanyou [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
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers / edited by Vito Di Gesù, Francesco Masulli, Alfredo Petrosino.
by Di Gesù, Vito [editor.] | Masulli, Francesco [editor.] | Petrosino, Alfredo [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
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.
by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [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
|
|
|
|
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / edited by Martin Hirt, Adam Smith.
by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings / edited by Ludek Kucera, Antonín Kucera.
by Kucera, Ludek [editor.] | Kucera, Antonín [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
|
