Search Result Save to File Save as CSV
Your search for 19415 returns 1529 document(s)
On verification of database temporal contraints (169-179)
Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
DDN protocol handbook volume 3 supplement december 1985/ Elizabeth J. Feinler
Call Number: R. 355.028 Ddn | Type: Buku Referensi
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings of the institution of mechanical engineers fourth European Conference 6-7 December 1989
Call Number: SEM-128 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal verification of research reactive systems: safety
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings intertelec'88 the 3rd International exhibition and conference on telecommunications and electronic 6-8 April 1988
Call Number: SEM-070 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings AAAI-88 seventh national conference on artificial intelligence August 21-26, 1988, volume 2
Call Number: SEM-009 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings AAAI-88 seventh national conference on artificial intelligence August 21-26, 1988, volume 1
Call Number: SEM-008 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Seminar " Potensi pemanfaatan komputer dalam proses belajar mengajar di Indonesia" Jakarta February 12-13 1988
Call Number: SEM-036 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
29th annul symposium on foundations of computer science: (formerly called the annual symposium on switching and automata theory) October 24-26, 1988
Call Number: SEM-050 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next