Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3449 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Adaptive Dynamic Programming for Control Algorithms and Stability
Adaptive Dynamic Programming for Control Algorithms and Stability
Author 
Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331049.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4757-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for An Introduction to Network Programming with Java Java 7 Compatible
An Introduction to Network Programming with Java Java 7 Compatible
Author 
Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advanced Network Programming – Principles and Techniques Network Application Programming with Java
Advanced Network Programming – Principles and Techniques Network Application Programming with Java
Author 
Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331186.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Author 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Credibilistic Programming An Introduction to Models and Applications
Credibilistic Programming An Introduction to Models and Applications
Author 
Li, Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334188.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36376-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number 
ONLINE(334384.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Author 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action