| Your search for 16184 returns 3660 document(s) |
| A guide to the SQL standard: a user's guide to the standard database language SQL/C.J. Date with Hugh Darwen |
|
Author: Date, C.J; | Call Number: 005.756 Dat g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Belajar sendiri: pemograman database visual basic dalam SQL Server 7.0 dan SQL server 2005 |
|
Author: Alan, M. Agus J.; | Call Number: 005.76 Ala p | Type: Buku
|
|
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
|
| 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
|
| 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
|
| 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
|
| Formal verification of robotic messions and tasks, Hal. 231-238 |
|
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result