Limit Search Results
Author
SpringerLink (Online service)
(159)
Fei, Shumin. editor.
(3)
Liu, Derong. editor.
(3)
Okamoto, Tatsuaki. editor.
(3)
Paragios, Nikos. editor.
(3)
Language
Subject
Computer science.
(153)
Artificial intelligence.
(52)
Computer Communication Networks.
(49)
Computational complexity.
(47)
Electronic data processing.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
160 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
Author 
Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
Author 
Biryukov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74619-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Author 
Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer concepts : illustrated
Computer concepts : illustrated
Author 
Parsons, June Jamrich. Oja, Dan.
Preferred Shelf Number 
QA76 .P3557 2007
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
6. 
Cover image for Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Author 
Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35651-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Author 
Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Algebra Recipes An Advanced Guide to Scientific Modeling
Computer Algebra Recipes An Advanced Guide to Scientific Modeling
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Essentials of Mathematica With Applications to Mathematics and Physics
Essentials of Mathematica With Applications to Mathematics and Physics
Author 
Boccara, Nino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Genetic Programming Theory and Practice IV
Genetic Programming Theory and Practice IV
Author 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction à Scilab
Introduction à Scilab
Author 
Chancelier, Jean-Philippe. editor. Delebecque, François. editor. Gomez, Claude. editor. Goursat, Maurice. editor. Nikoukhah, Ramine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-31017-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Simulation-based Algorithms for Markov Decision Processes
Simulation-based Algorithms for Markov Decision Processes
Author 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-690-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets