| Your search for 25582 returns 2183 document(s) |
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | 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
|
| Science in history: vol. 4 the social sciences: conclusion/ J.D . Bernal |
|
Author: Bernal, J.D.; | Call Number: R. 901.9 Ber s | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Science in history: vol. 2: the scientific and industrial revolutions/ J.D. Bernal |
|
Author: Bernal, J.D; | Call Number: R. 901.9 Ber s | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Science in history: vol. 3 the the Natural sciences in Our Time/ J.D . Bernal |
|
Call Number: R. 901.9 Ber s | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding computer science for advanced level 3rd ed./ Ray Bradley |
|
Author: Bradley, Ray; | Call Number: 004 Bra u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An invitation to computer science 2nd ed. /G. Michael Schneider Judith |
|
Author: Schneider, G. Michael; | Call Number: 004 Sch i | 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
|
| 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
|
Search Result