| Your search for 52038 returns 2792 document(s) |
| Pengembangan layanan Group chat tokopedia |
|
Author: Dwiyan Rezkia Putra; | Call Number: KP-2796 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
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 methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An environment for formal modeling and simulation of control systems, Hal. 74-79 |
|
Author: Bernardo Copstein; Michael da Costa Mora; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan perangkat lunak secara formal dengan metodologi raise, Hal. C.9-C.14 |
|
Author: Cecilia E. Nugraheni; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal description of a real-time component, 244-247 |
|
Author: Qi Zhong-xia; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Duration calculus: a formal appproach to real-time systems |
|
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result