| Your search for 51289 returns 5483 document(s) |
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combinatorics for computer science/S. Gill Williamson |
|
Author: Willamson, S. Gill; | Call Number: 511.5 Wil c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concrete mathematics |
|
Author: Graham, Ronald L.; | Call Number: 510 Gra c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CSCW'92 sharing perspectives: proceedings of the confrence on computer-supported cooperative work October 31 to November 4 1992 Toronto, Canada/John Turner |
|
Call Number: SEM-180 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Discrete structures of computer science/ Leon S. Levy |
|
Author: Levy, Leon S.; | Call Number: 519.4 Lev d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer security : art and science |
|
Author: Bishop, Matt; | Call Number: 005.8 Bis c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures and other objects: a second couse in computer science/Michael Main;Walter Savitch |
|
Author: Main, Michael; | Call Number: 005.73 Mai d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program of the 2nd international conference on the teaching of mathematics (at the undergraduate level) University of create 1-6 July 2002/ Deborah Hughes Hallett, Douglas Quinney, Christos K., Constantinos T. |
|
Call Number: SEM-264 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result