Limit Search Results
Author
SpringerLink (Online service)
(33)
Wiley InterScience (Online service)
(8)
ScienceDirect (Online service)
(3)
Engelbrecht, Andries P.
(2)
Kelly, James Floyd. author.
(2)
Language
Subject
Computer science.
(29)
Software engineering.
(14)
Artificial intelligence.
(13)
Electronic books.
(10)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
106 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Author 
Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74610-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Author 
Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Author 
Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75987-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Author 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transportation decision making principles of project evaluation and programming
Transportation decision making principles of project evaluation and programming
Author 
Sinha, Kumares C. (Kumares Chandra) Labi, Samuel, 1962- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view book
Volltext http://www3.interscience.wiley.com/cgi-bin/bookhome/114280235
John Wiley http://dx.doi.org/10.1002/9780470168073
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006022829-b.html
ebrary http://site.ebrary.com/id/10504182
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Approximate dynamic programming solving the curses of dimensionality
Approximate dynamic programming solving the curses of dimensionality
Author 
Powell, Warren B., 1955- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0742/2007013724-b.html
John Wiley http://dx.doi.org/10.1002/9780470182963
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming multi-agent systems in AgentSpeak using Jason
Programming multi-agent systems in AgentSpeak using Jason
Author 
Bordini, Rafael H. Hübner, Jomi Fred. Wooldridge, Michael J., 1966-
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html
John Wiley http://dx.doi.org/10.1002/9780470061848
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Smart card applications design models for using and programming smart cards
Smart card applications design models for using and programming smart cards
Author 
Rankl, W. (Wolfgang) Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298657-b.html
John Wiley http://dx.doi.org/10.1002/9780470511954
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=292591
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mobile phone programming and its application to wireless networking
Mobile phone programming and its application to wireless networking
Author 
Fitzek, Frank H. P. Reichert, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=206228
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Aspect-oriented programming with the e verification language a pragmatic guide for testbench developers
Aspect-oriented programming with the e verification language a pragmatic guide for testbench developers
Author 
Robinson, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123742100
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets