Limit Search Results
Author
SpringerLink (Online service)
(1720)
Wiley InterScience (Online service)
(28)
Taylor and Francis.
(16)
Apduhan, Bernady O. editor.
(15)
Jansen, Klaus. editor.
(14)
Language
Publication Date
-
Subject
Algorithms.
(735)
Artificial intelligence.
(487)
Computer science.
(425)
Electronic books.
(341)
Computer software.
(288)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3149 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Author 
Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23490-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Author 
Xiang, Yang. editor. Cuzzocrea, Alfredo. editor. Hobbs, Michael. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24669-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithms and Computation 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings
Algorithms and Computation 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings
Author 
Asano, Takao. editor. Nakano, Shin-ichi. editor. Okamoto, Yoshio. editor. Watanabe, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25591-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Author 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Eigenstructure Control Algorithms Applications to aircraft/rotorcraft handling qualities design
Eigenstructure Control Algorithms Applications to aircraft/rotorcraft handling qualities design
Author 
Srinathkumar, S.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE074E
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automatic Digital Document Processing and Management Problems, Algorithms and Techniques
Automatic Digital Document Processing and Management Problems, Algorithms and Techniques
Author 
Ferilli, Stefano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications
Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications
Author 
Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Building software for simulation theory and algorithms, with applications in C++
Building software for simulation theory and algorithms, with applications in C++
Author 
Nutaro, James.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470877999
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470414699
MyiLibrary, Table of contents http://www.myilibrary.com?id=302507&ref=toc
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg
http://proquest.safaribooksonline.com/9780470414699
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Analysis for Computer Scientists Foundations, Methods, and Algorithms
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Author 
Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-446-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Author 
Bauschke, Heinz H. editor. Burachik, Regina S. editor. Combettes, Patrick L. editor. Elser, Veit. editor. Luke, D. Russell. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action