Search Result
Save to File
Your search for
26828
returns
3487
document(s)
Applying UML and pattern: an introduction to object-oriented analysis and design
Author: Larman, Craig; | Call Number: 005.117 Lar a | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
UML distilled: applying the standard object modelling language/Martin Fowler
Author: Fowler, Martin; | Call Number: 005.12 Fow u | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Architecture Implementation for Applying Trust in Digital Environments (TIDE) (159-166)
Author: Ilung Pranata Rukshan Athauda Geoff Skinner; | Call Number: SEM-330 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Applying Morphology Analysis to Indonesian-English Statistical Machine Translation (90-93)
Author: Metti Zakaria Wanagiri Mirna Adriani; | Call Number: SEM-296 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic & mechanical theorem proving/Chin-Liang Chang
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Solving for set variables in higher-order theorem proving, Hal. 408-414
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A simple constructive computability theorem for wait-free compotation,Hal 243-252
Author: Maurice Herlihy; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next