Limit Search Results
Author
SpringerLink (Online service)
(739)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
Subject
Information theory.
(518)
Computer science.
(437)
Software engineering.
(167)
Artificial intelligence.
(164)
Computer software.
(125)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
983 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Author 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Elements of quantum information
Elements of quantum information
Author 
Schleich, Wolfgang. Walther, H. (Herbert), 1935-2006. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527611065
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Channel coding in communication networks from theory to turbocodes
Channel coding in communication networks from theory to turbocodes
Author 
Glavieux, Alain. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0701/2006032632-b.html
John Wiley http://dx.doi.org/10.1002/9780470612422
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Evolutionäre Algorithmen
Evolutionäre Algorithmen
Author 
Weicker, Karsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Die Macht der Abstraktion Einführung in die Programmierung
Die Macht der Abstraktion Einführung in die Programmierung
Author 
Klaeren, Herbert. author. Sperber, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9079-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The minimum description length principle
The minimum description length principle
Author 
Grünwald, Peter D.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267274
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Deformable Models Theory and Biomaterial Applications
Deformable Models Theory and Biomaterial Applications
Author 
Suri, Jasjit S. author. Farag, Aly A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68343-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Theoretical Aspects of Local Search
Theoretical Aspects of Local Search
Author 
Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35854-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action