Limit Search Results
Author
SpringerLink (Online service)
(50646)
Project Muse.
(12202)
Wiley InterScience (Online service)
(6536)
John Wiley & Sons.
(798)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(21137)
2012
(20588)
2013
(18049)
2010
(17681)
2014
(13506)
Subject
Computer science.
(10803)
Artificial intelligence.
(6246)
Engineering.
(6166)
Medicine.
(5628)
Software engineering.
(3525)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
233261 Results Found Subscribe to search results
000000000000DEFAULT
Print
137209. 
Cover image for Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
Author 
Godefroid, Patrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537328
Format: 
Availability 
Online Library~1
Available:
Copies:
137210. 
Cover image for Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005. Proceedings
Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005. Proceedings
Author 
Szczepaniak, Piotr S. editor. Kacprzyk, Janusz. editor. Niewiadomski, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137066
Format: 
Availability 
Online Library~1
Available:
Copies:
137211. 
Cover image for Engineering Self-Organising Systems Methodologies and Applications
Engineering Self-Organising Systems Methodologies and Applications
Author 
Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136984
Format: 
Availability 
Online Library~1
Available:
Copies:
137212. 
Cover image for Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Zhang, Xiao-Ping. editor. Huang, Guang-Bin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538059
Format: 
Availability 
Online Library~1
Available:
Copies:
137213. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
137214. 
Cover image for Advances in Spatial and Temporal Databases 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings
Advances in Spatial and Temporal Databases 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings
Author 
Bauzer Medeiros, Claudia. editor. Egenhofer, Max J. editor. Bertino, Elisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11535331
Format: 
Availability 
Online Library~1
Available:
Copies:
137215. 
Cover image for Smart Graphics 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005. Proceedings
Smart Graphics 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005. Proceedings
Author 
Butz, Andreas. editor. Fisher, Brian. editor. Krüger, Antonio. editor. Olivier, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11536482
Format: 
Availability 
Online Library~1
Available:
Copies:
137216. 
Cover image for Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Author 
Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558989
Format: 
Availability 
Online Library~1
Available:
Copies:
137217. 
Cover image for Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Zhang, Xiao-Ping. editor. Huang, Guang-Bin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538356
Format: 
Availability 
Online Library~1
Available:
Copies:
137218. 
Cover image for Microscopy of Semiconducting Materials Proceedings of the 14th Conference, April 11–14, 2005, Oxford, UK
Microscopy of Semiconducting Materials Proceedings of the 14th Conference, April 11–14, 2005, Oxford, UK
Author 
Cullis, A. G. editor. Hutchison, J. L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31915-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137219. 
Cover image for Reactions, Processes Oxidants and Antioxidant Defense Systems
Reactions, Processes Oxidants and Antioxidant Defense Systems
Author 
Grune, Tilman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b98750
Format: 
Availability 
Online Library~1
Available:
Copies:
137220. 
Cover image for Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Author 
Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549468
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action