| Your search for 19397 returns 2691 document(s) |
| Logic in Computer Science: Existential Second-Order Logic Over Strings |
|
Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed computer control systems 1981: proceedings of the third IFAC workshop, Beijing, China, 15-17 Agust 1981 |
|
Call Number: 629.895 Dis | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings the fifteenth annual International computer software and applications conference/editor George J. Knafl |
|
Call Number: SEM-159 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings the sixteenth annual International computer software & applications conference September 21-25, 1992, Chicago, Illinois |
|
Call Number: SEM-160 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings Institut Teknologi Bandung vol. 26 no. 1, 1994 suplemen : Symposium on computational methods in applied science/ edited E. Soewono |
|
Call Number: SEM-200 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ISASTI Proceedings of International Symposium on Aeronautical science and technology of Indonesia (ISASTI) Jakarta, June 24-27, 1986 |
|
Call Number: SEM-078 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the fifth international workshop on computer-aided software engineering Montreal, Quebec, Canada July 6-10, 1992/ Editors Gene Forte |
|
Call Number: SEM-169 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Engineering & industrial software directory third edition: a guide to computer programs in applied science |
|
Call Number: R.005.1 025 Eng | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symposium on foundations of computer science/Sponsore by The IEEE Computer Society & Technical Committee on Mathematical Foundations of Computing |
|
Call Number: 519.4 Sym | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Does it need trusted third party? design of buyyer-seller watermarking protocol without trusted third party, (LNCS-Lecture Notes in Computer Science 2576) Hal 265-279 |
|
Author: Jae-Gwi Choi; Kouichi Sakurai; Ji-Hwan Park; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result