Limit Search Results
Author
SpringerLink (Online service)
(175)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Gavrilova, Marina L. editor.
(15)
Language
Publication Date
-
Subject
Computer science.
(137)
Electronic data processing.
(84)
Software engineering.
(63)
Information systems.
(49)
Artificial intelligence.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
186 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Real-time simulation technologies principles, methodologies, and applications
Real-time simulation technologies principles, methodologies, and applications
Author 
Popovici, Katalin. Mosterman, Pieter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Author 
Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334573.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Author 
Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334768.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39259-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Author 
Vöcking, Berthold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Author 
Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Author 
Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334992.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40708-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action