Limit Search Results
Author
SpringerLink (Online service)
(457)
Wiley InterScience (Online service)
(13)
Apduhan, Bernady O. editor.
(10)
Gervasi, Osvaldo. editor.
(10)
Misra, Sanjay. editor.
(10)
Language
Publication Date
-
Subject
Computer simulation.
(204)
Computer science.
(143)
Simulation and Modeling.
(136)
Electronic books.
(133)
Artificial intelligence.
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
948 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Author 
Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Author 
Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334977.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings
Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings
Author 
Correia, Luís. editor. Reis, Luís Paulo. editor. Cascalho, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334986.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40669-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335213.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Author 
Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335215.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45404-2
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 Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action