Your search for 22099 returns 5114 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
|
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
|
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
|
Computer data structures |
Author: Pfaltz, John L; | Call Number: 005.73 Pfa c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematics for computer science |
Author: Haggry Gary, Schlipf John, Whietesides Sue; | Call Number: 510.22 Bel d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Foundations of computer science c edition |
Author: Aho, Alfred V.; | Call Number: 004 Aho f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematical structures for computer science |
Author: Bernard Kolman; | Call Number: 511 Ber i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Clausal form logic: an introduction to the logic of computer reasoning |
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematics for computer scientist 2nd ed./ J.K.Truss |
Author: Truss, J.K.; | Call Number: 511 Tru d | Edition: 7th edition | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|