| Your search for 2403 returns 5367 document(s) |
| 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
|
| 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
|
| Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2010) Bali 20 th-23 rd November 2010 |
|
Call Number: SEM-297 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to computer-based education |
|
Call Number: 004 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of computer science c edition |
|
Author: Aho, Alfred; | Call Number: 004. Aho f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer science : a primer/ Forsyte |
|
Author: Forsythe; ALexandra I; | Call Number: 004 For c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Science an overview 7th ed. |
|
Author: Brookshear, J. Glenn; | Call Number: 004 Bro c ( MTI ) | Edition: 7th edition | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer science: an overview 3rd ed./J. Glenn Brookshear |
|
Author: Brokshear, J. Glenn; | Call Number: 004 Bro c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen |
|
Call Number: R. 004.02 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of theoritical computer science: vol.a. format moedels and semantics/J. Van Leeuwen |
|
Call Number: R.004.02 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result