Limit Search Results
Author
SpringerLink (Online service)
(138)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Gavrilova, Marina L. editor.
(15)
Language
English
(138)
Publication Date
-
Subject
Computer science.
(117)
Electronic data processing.
(98)
Software engineering.
(57)
Computer simulation.
(37)
Computer software.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
138 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Author 
Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Author 
Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Author 
Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Author 
Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Genetic Programming Theory and Practice VIII
Genetic Programming Theory and Practice VIII
Author 
Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22494-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Author 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Author 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing
Author 
Aman, Bogdan. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Author 
Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action