| Your search for 2727 returns 6353 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
|
| On cuncurrent programming/ Fred B. Schneider |
|
Author: Schneider, Fred B.; | Call Number: 005.275 Sch o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Hands-on introduction to data science |
|
Author: Shah, Chirag; | Call Number: 004 Sha h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| File structures 2nd edition/Michael J. Folk; Bill Zoellick |
|
Author: Folk, Michael J.; | Call Number: 005.74 Fol f | Type: Buku
|
|
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
|
| Computers in science and social studies: a sourcebbok of ideas/ edited by David H. Ahl |
|
Call Number: 001.434 Com | Type: Buku
|
|
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
|
| 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
|
| 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
|
Search Result