| Your search for 44486 returns 887 document(s) |
| Proceedings 1986 south east asia regional computer conference date: 17-20 November 1986 |
|
Call Number: SEM-003 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings 1984 South East Asia Regional Computer Conference, 24-28 September 1984 |
|
Call Number: SEM-049 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conference proceedings Search'80 south east Asia regional computer conference October 21-24, 1980 |
|
Call Number: SEM-043 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Icacsis 2016 internasional conference on advanced computer science and information systems october 15-16th,2016 malang,east java |
|
Call Number: SEM-353 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Iwbis 2016 international workshop on big data and information security october 18-19th 2016 east jakarta indonesia |
|
Call Number: SEM-340 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applying formal methods to semantic-based decomposition of transactions |
|
Author: Paul Ammann, Sushil Jajodia, and Indrakshi Ray | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal semantics of SQL queries, page 513 |
|
Author: Pelagatti, M.N. S. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of finite automata: with an introduction to formal languages |
|
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of a java compiler in isabelle, Hal. 63-77 |
|
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of a combination decision procedure, Hal. 347-362 |
|
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result