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.
(540)
Software engineering.
(442)
Artificial intelligence.
(290)
Logic design.
(183)
Computer programming.
(157)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2670 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Economic foundations of symmetric programming
Economic foundations of symmetric programming
Author 
Paris, Quirino.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=347847
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Practical database programming with Java
Practical database programming with Java
Author 
Bai, Ying, 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Oracle embedded programming and application development
Oracle embedded programming and application development
Author 
Lakshman, Bulusu., author.
Preferred Shelf Number 
QA76.76 .D47 L343 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for High performance computing : programming and applications
High performance computing : programming and applications
Author 
Levesque, John M., author. Wagenbreth, Gene.
Preferred Shelf Number 
QA76.88 .L48 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms and Programming Problems and Solutions
Algorithms and Programming Problems and Solutions
Author 
Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Matheuristics Hybridizing Metaheuristics and Mathematical Programming
Matheuristics Hybridizing Metaheuristics and Mathematical Programming
Author 
Maniezzo, Vittorio. editor. Stützle, Thomas. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1306-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
Author 
Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-914-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Programming Finite Elements in Java™
Programming Finite Elements in Java™
Author 
Nikishkov, Gennadiy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-972-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applied integer programming modeling and solution
Applied integer programming modeling and solution
Author 
Chen, Der-San, 1940- Batson, Robert G., 1950- Dang, Yu., 1977- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818939
http://onlinelibrary.wiley.com/book/10.1002/9781118166000
http://site.ebrary.com/lib/alltitles/Doc?id=10501264
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Linear programming and network flows
Linear programming and network flows
Author 
Bazaraa, M. S. Jarvis, John J. Sherali, Hanif D., 1952- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
http://site.ebrary.com/lib/alltitles/Doc?id=10504153
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action