Limit Search Results
Author
SpringerLink (Online service)
(103)
Wiley InterScience (Online service)
(6)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Iglesias, Andrés. editor.
(5)
Language
Subject
Computer simulation.
(109)
Computer science.
(71)
Artificial intelligence.
(32)
Software engineering.
(30)
Engineering.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
146 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Author 
Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mathematics of Complexity and Dynamical Systems
Mathematics of Complexity and Dynamical Systems
Author 
Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1806-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Triadic Game Design Balancing Reality, Meaning and Play
Triadic Game Design Balancing Reality, Meaning and Play
Author 
Harteveld, Casper. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-157-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Digitale Fabrik Methoden und Praxisbeispiele
Digitale Fabrik Methoden und Praxisbeispiele
Author 
Bracht, Uwe. author. Geckler, Dieter. author. Wenzel, Sigrid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88973-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Identification of Dynamic Systems An Introduction with Applications
Identification of Dynamic Systems An Introduction with Applications
Author 
Isermann, Rolf. author. Münchhof, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78879-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Author 
Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13621-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Author 
Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14261-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen
Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen
Author 
März, Lothar. editor. Krug, Wilfried. editor. Rose, Oliver. editor. Weigert, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Modeling the Dynamics and Consequences of Land System Change
Modeling the Dynamics and Consequences of Land System Change
Author 
Deng, Xiangzheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15447-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Author 
Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15769-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Author 
Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16277-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Manufacturing Systems Modeling and Analysis
Manufacturing Systems Modeling and Analysis
Author 
Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16618-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action