Search Result
Save to File
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