Limit Search Results
Author
SpringerLink (Online service)
(19)
Liu, Baoxiang. editor.
(2)
Ma, Maode. editor.
(2)
Yang, Yuhang. editor.
(2)
Bader, Michael. editor.
(1)
Language
Publication Date
-
2013
(19)
Subject
Computer simulation.
(19)
Computer science.
(17)
Electronic data processing.
(7)
Computer Appl. in Administrative Data Processing.
(6)
Information Systems Applications (incl. Internet).
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Author 
Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
Author 
Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41033-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Author 
Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336488.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-6239-018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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: