Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for The art of computer programming
The art of computer programming
Author 
Knuth, Donald E.
Preferred Shelf Number 
QA 76.5 K57 1968- V.1
Format: 
Availability 
Beytepe Library~7
Available:
Copies:
2. 
Cover image for Temporal logic of programs
Temporal logic of programs
Author 
Kröger, Fred, 1945-
Preferred Shelf Number 
QA 76.6 K753 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic tools programming
Logic tools programming
Author 
Pace, Philip, 1956- Pace, L., ort. yaz.
Preferred Shelf Number 
QA 76.6 P325 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies: