Limit Search Results
Author
SpringerLink (Online service)
(136)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(136)
Publication Date
-
2013
(136)
Subject
Computer simulation.
(136)
Computer science.
(95)
Artificial Intelligence (incl. Robotics).
(31)
Artificial intelligence.
(31)
Software engineering.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
136 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Probability Models
Probability Models
Author 
Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Simulation and Learning A Model-Centered Approach
Simulation and Learning A Model-Centered Approach
Author 
Landriscina, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331291.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1954-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Imaging Heat and Mass Transfer Processes Visualization and Analysis
Imaging Heat and Mass Transfer Processes Visualization and Analysis
Author 
Panigrahi, Pradipta Kumar. author. Muralidhar, Krishnamurthy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331588.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4791-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Process Simulation and Parametric Modeling for Strategic Project Management
Process Simulation and Parametric Modeling for Strategic Project Management
Author 
Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332177.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Modeling Trust Context in Networks
Modeling Trust Context in Networks
Author 
Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Predicting the Future Completing Models of Observed Complex Systems
Predicting the Future Completing Models of Observed Complex Systems
Author 
Abarbanel, Henry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332234.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7218-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Author 
Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332421.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Medicine in Data Mining and Modeling
Computational Medicine in Data Mining and Modeling
Author 
Rakocevic, Goran. editor. Djukic, Tijana. editor. Filipovic, Nenad. editor. Milutinović, Veljko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332448.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8785-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Author 
Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332753.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00440-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for New Geometric Data Structures for Collision Detection and Haptics
New Geometric Data Structures for Collision Detection and Haptics
Author 
Weller, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01020-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Author 
Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE(332866.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action