| Your search for 19415 returns 1567 document(s) |
| Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I |
|
Call Number: SEM-042 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 9th asian technology conference in mathematics 13-17 december 2004 national institute of education,singapure |
|
Call Number: SEM-351 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Seminar on the role of ASAIHL Universities in the transfer of technology Jakarta December 6-8, 1988 |
|
Call Number: SEM-033 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fast and effective query refinement, Hal. 6-16 |
|
Author: Bienvenido Velez; Ron Welse; Mark A. Sheldon; David K. Gifford; | Call Number: SEM-249 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Prototyping framework for reconfigurable processors, (LNCS-Lecture Notes in Computer Science 2147) Hal 6-16 |
|
Author: Sergej Sawitzki; Steffen Kohler; Rainer G. Spallek; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Seminar information center management, Jakarta 22-23 November 1988 |
|
Call Number: SEM-201 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages and Systems: 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, December 1-4,2019 Proceedings |
|
Call Number: SEM-374 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Temporal Framework for Database Specification and Verification (91-99) |
|
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings symposium on appropriate technology, Jakarta November 30 -December 4, 1976 |
|
Call Number: SEM-242 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms concuranccy and knowledge: proceedings 1995 Asian Computing Science Kanchanasut ACSC'95 Pathuumthani, Thailand, December 11-13, 1995 Kanchana Kancahnasut/ |
|
Call Number: 005.1 Alg | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result