|
|
|
Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / edited by Serge Haddad, Lucia Pomello.
by Haddad, Serge [editor.] | Pomello, Lucia [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
|
|
|
|
Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice / edited by Alexander Pasko, Valery Adzhiev, Peter Comninos.
by Pasko, Alexander [editor.] | Adzhiev, Valery [editor.] | Comninos, Peter [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 [electronic resource] : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / edited by Julian M. Kunkel, Thomas Ludwig.
by Kunkel, Julian M [editor.] | Ludwig, Thomas [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 Metaheuristics [electronic resource] : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings / edited by Maria José Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels.
by Blesa, Maria José [editor.] | Blum, Christian [editor.] | Raidl, Günther [editor.] | Roli, Andrea [editor.] | Sampels, Michael [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
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.
by Governatori, Guido [editor.] | Sartor, Giovanni [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
|
|
|
|
High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings / edited by Jack Dongarra, Laurence T. Yang, Omer F. Rana, Beniamino Di Martino.
by Dongarra, Jack [editor.] | Yang, Laurence T [editor.] | Rana, Omer F [editor.] | Di Martino, Beniamino [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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau.
by Taentzer, Gabriele [editor.] | Bordeleau, Francis [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
|
|
|
|
Experimental Algorithms [electronic resource] : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings / edited by Joachim Gudmundsson, Jyrki Katajainen.
by Gudmundsson, Joachim [editor.] | Katajainen, Jyrki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.
by Koornneef, Floor [editor.] | van Gulijk, Coen [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
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp.
by Moreno, J. Manuel [editor.] | Madrenas, Jordi [editor.] | Cosp, Jordi [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / edited by Eugene Asarin, Patricia Bouyer.
by Asarin, Eugene [editor.] | Bouyer, Patricia [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
|
|
|
|
Mobile Ad-hoc and Sensor Networks [electronic resource] : Third International Conference, MSN 2007 Beijing, China, December 12-14, 2007 Proceedings / edited by Hongke Zhang, Stephan Olariu, Jiannong Cao, David B. Johnson.
by Zhang, Hongke [editor.] | Olariu, Stephan [editor.] | Cao, Jiannong [editor.] | Johnson, David B [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
|
|
|
|
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers / edited by Sudipto Ghosh.
by Ghosh, Sudipto [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
|
|
|
|
Technologies and Applications of Artificial Intelligence [electronic resource] : 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings / edited by Shin-Ming Cheng, Min-Yuh Day.
by Cheng, Shin-Ming [editor.] | Day, Min-Yuh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers / edited by Tal Malkin, Vladimir Kolesnikov, Allison Lewko, Michalis Polychronakis.
by Malkin, Tal [editor.] | Kolesnikov, Vladimir [editor.] | Lewko, Allison [editor.] | Polychronakis, Michalis [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
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings / edited by Volker Diekert, Mikhail Volkov, Andrei Voronkov.
by Diekert, Volker [editor.] | Volkov, Mikhail [editor.] | Voronkov, Andrei [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
|
|
|
|
Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Composium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / edited by Fuchun Sun, Jianwei Zhang, Jinde Cao, Wen Yu.
by Sun, Fuchun [editor.] | Zhang, Jianwei [editor.] | Cao, Jinde [editor.] | Yu, Wen [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi.
by Frasconi, Paolo [editor.] | Lisi, Francesca A [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
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2016 [electronic resource] : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / edited by Benedikt Gierlichs, Axel Y. Poschmann.
by Gierlichs, Benedikt [editor.] | Poschmann, Axel Y [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
|
|
|
|
Advances in Neural Networks [electronic resource] : 5th International Symposium on Neural networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / edited by Fuchun Sun, Jianwei Zhang, Jinde Cao, Wen Yu.
by Sun, Fuchun [editor.] | Zhang, Jianwei [editor.] | Cao, Jinde [editor.] | Yu, Wen [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
|
