Limit Search Results
Author
Sterling, Leon.
(2)
Acher, Jean.
(1)
Angeline, Peter J.
(1)
Apt, Krzysztof R., 1949-
(1)
Aït-Kaci, Hassan, 1954-
(1)
Language
Publication Date
-
Subject
programmation en logique.
(11)
Logic programming.
(5)
Logisch programmeren.
(5)
PROLOG.
(5)
Logic programming -- Congresses.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for La Programmation lineaire
La Programmation lineaire
Author 
Solnik, B. H.
Preferred Shelf Number 
T 57.74 S65 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Algebre lineaire et programmation lineaire
Algebre lineaire et programmation lineaire
Author 
Acher, Jean. Gardelle, Jean, ort. yaz.
Preferred Shelf Number 
QA 251 A22 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Chemical engineering dynamics modelling with PC simulation
Chemical engineering dynamics modelling with PC simulation
Author 
Ingham, John, Dr. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527616015
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Joe Celko's SQL programming style
Joe Celko's SQL programming style
Author 
Celko, Joe.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120887972
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dynamic programming and its application to optimal control
Dynamic programming and its application to optimal control
Author 
Boudarel, R. (René) Delmas, J. (Jacques H.) Guichet, P. (Pierre)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121189501
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Introduction to C++ for financial engineers : an object-oriented approach
Introduction to C++ for financial engineers : an object-oriented approach
Author 
Duffy, Daniel J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Object-oriented software engineering : practical software development using UML and Java
Object-oriented software engineering : practical software development using UML and Java
Author 
Lethbridge, Timothy Christian, 1963- Laganiere, Robert. King, Catriona.
Preferred Shelf Number 
QA76.64 .L647 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Handbook of learning and approximate dynamic programming
Handbook of learning and approximate dynamic programming
Author 
Si, Jennie.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273582
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Head First design patterns
Head First design patterns
Author 
Freeman, Eric, 1965- Freeman, Elisabeth. Sierra, Kathy. Bates, Bert. Safari Tech Books Online
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415229
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Object-oriented simulation reusability, adaptability, maintainability
Object-oriented simulation reusability, adaptability, maintainability
Author 
Zobrist, George W. (George Winston), 1934- Leonard, James V.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Advances in genetic programming. Vol. 2
Advances in genetic programming. Vol. 2
Author 
Kinnear, Kenneth E. Angeline, Peter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for The High performance Fortran handbook
The High performance Fortran handbook
Author 
Koelbel, Charles H.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276823
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for From logic to logic programming
From logic to logic programming
Author 
Doets, Kees.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for A grammatical view of logic programming
A grammatical view of logic programming
Author 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Concurrent constraint programming
Concurrent constraint programming
Author 
Saraswat, Vijay.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming
Logic programming proceedings of the Tenth International Conference on Logic Programming
Author 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Graphics gems III
Graphics gems III
Author 
Kirk, David, 1960-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124096738
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Lazy functional languages abstract interpretation and compilation
Lazy functional languages abstract interpretation and compilation
Author 
Burn, Geoffrey.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Basic category theory for computer scientists
Basic category theory for computer scientists
Author 
Pierce, Benjamin C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
Author 
Hatcher, Philip J. Quinn, Michael J. (Michael Jay)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for An introduction to programming with specifications a mathematical approach
An introduction to programming with specifications a mathematical approach
Author 
Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Warren's abstract machine a tutorial reconstruction
Warren's abstract machine a tutorial reconstruction
Author 
Aït-Kaci, Hassan, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for The Practice of Prolog
The Practice of Prolog
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Algorithmic program debugging
Algorithmic program debugging
Author 
Shapiro, Ehud Y.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Optimal expansion of a water resources system
Optimal expansion of a water resources system
Author 
O'Laoghaire, Domhnall T. Himmelblau, David Mautner, 1923- joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125254502
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Integer programming
Integer programming
Author 
Greenberg, Harold, 1928-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122994500
Format: 
Availability 
Online Library~1
Available:
Copies: