Limit Search Results
Author
Language
Subject
Logisch programmeren.
(3)
programmation en logique.
(3)
ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.
(2)
Logic programming -- Congresses.
(2)
Logische Programmierung.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
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:
14. 
Cover image for A small matter of programming perspectives on end user computing
A small matter of programming perspectives on end user computing
Author 
Nardi, Bonnie A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic programming and non-monotonic reasoning proceedings of the second international workshop
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Author 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Learning in embedded systems
Learning in embedded systems
Author 
Kaelbling, Leslie Pack.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267472
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Learn C++ on the Macintosh : Includes special version of Symantec's C++ for Macintosh
Learn C++ on the Macintosh : Includes special version of Symantec's C++ for Macintosh
Author 
Mark, Dave.
Preferred Shelf Number 
QA 76.8.M3 M3677 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Çok amaçlı lineer kesirli programlama problemi için çözüm önerileri
Çok amaçlı lineer kesirli programlama problemi için çözüm önerileri
Author 
Tiryaki, Fatma.
Preferred Shelf Number 
T 57.74 T57 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies: