| Your search for 36707 returns 568 document(s) |
| Wireless Java: Developing with Java 2, Micro Edition |
|
Author: Knudsen, Jonathan; | Call Number: 005.133 Knu w | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Java structure: data structures in java for the principled programming |
|
Author: Bailey, Duane A.; | Call Number: 005.133 Bai j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Java Handbook: Konsep dasar pemograman java |
|
Author: Naughton, Patrick; | Call Number: 005.133 Nau j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hyperdocuments as automata: verification of trace based browsing properties, page 1 |
|
Author: P. David s. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specification and verification of a real-tiem steam boiler system, Hal. 205-229 |
|
Author: Jan Vitt; Josef Hooman; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137 |
|
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber |
|
Author: Loeckx, Jacques; | Call Number: 005.14 Loe f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result