Limit Search Results
Author
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Author 
Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number 
QA 76.751 F68 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, bad Honnef, June 15-18, 1980
Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, bad Honnef, June 15-18, 1980
Author 
Noltemeier, H., ed.
Preferred Shelf Number 
QA 166 G74 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Theoretische Informatik - kurzgefasst
Theoretische Informatik - kurzgefasst
Author 
Schöning, Uwe.
Preferred Shelf Number 
QA76 S36 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies: