Limit Search Results
Author
SpringerLink (Online service)
(1258)
Wiley InterScience (Online service)
(51)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(36)
Murgante, Beniamino. editor.
(27)
Language
Publication Date
-
Subject
Computer simulation.
(1255)
Computer science.
(720)
Artificial intelligence.
(358)
Software engineering.
(318)
Engineering.
(177)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1982 Results Found Subscribe to search results
000000000000DEFAULT
Print
1045. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1046. 
Cover image for Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Author 
Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1047. 
Cover image for Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
Author 
Cotronis, Yiannis. editor. Danalis, Anthony. editor. Nikolopoulos, Dimitrios S. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1048. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Author 
Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1049. 
Cover image for Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers
Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers
Author 
Barjis, Joseph. editor. Eldabi, Tillal. editor. Gupta, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24175-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1050. 
Cover image for Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I
Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I
Author 
Lu, Bao-Liang. editor. Zhang, Liqing. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1051. 
Cover image for Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part II
Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part II
Author 
Lu, Bao-Liang. editor. Zhang, Liqing. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24958-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1052. 
Cover image for Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part III
Neural Information Processing 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part III
Author 
Lu, Bao-Liang. editor. Zhang, Liqing. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1053. 
Cover image for Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Author 
Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9911-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1054. 
Cover image for Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach
Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach
Author 
Li, Han-Xiong. author. Qi, Chenkun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0741-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1055. 
Cover image for Direct and Large-Eddy Simulation VIII
Direct and Large-Eddy Simulation VIII
Author 
Kuerten, Hans. editor. Geurts, Bernard. editor. Armenio, Vincenzo. editor. Fröhlich, Jochen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1056. 
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:
Select an Action