| Your search for 16184 returns 3660 document(s) |
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages/ Arto Salomma |
|
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| My SQL and m SQL / Randy Jay Yarger; George Reese; and Tim King |
|
Author: Yarger, Randy Jay; | Call Number: 005.756 Yar m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Oracle 9i PL/SQL programming |
|
Author: Urman, Scott; | Call Number: 005.74 Urm | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Oracle 9i PL/SQL programming |
|
Author: Urman, Scott; | Call Number: 005.74 Urm o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The guide to SQL server/Aloke Nath |
|
Author: Nath, Aloke; | Call Number: 005.756 5 Nat g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A practical introduction to denotional semantics/ Leoyd, Allison |
|
Author: Allison, Leoyd; | Call Number: 005.13 All p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics of specification languages (SOSL) /D.J. Andrews |
|
Author: Andrews, D.J.; | Call Number: 005.133 And s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics for Interoperability Relation Ontologies and Schemata (703-712) |
|
Author: Trevor Bech-Capon
Grant Malcolm
Michael Shave; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result