Search Result
Save to File
Your search for
13420
returns
4327
document(s)
Programming in the 1990s : an introduction to the calculations of programs
Author: Cohen, Edward; | Call Number: 005 Coh p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Designing systems programs/ Richard Gauthier
Author: Gauthier, Richard; | Call Number: 005.1 Gau d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The specification of computer programs/Wladyslaw M. Turski
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Numerical Methods: with Programs in C and C++/T.Veerarajan dan T. Ramachandran
Author: Veerarajan, T.; | Call Number: 519.4 Vee n | Edition: 2004th | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Invasive Patterns for Distributed Programs (772-789)
Author: Luis Daniel Benavides Navarro Mario Sudholt Remi Douence Jean-Marc Menaud; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proving that Programs Are Differentially Private (3-18)
Author: Annabelle Mclver Carroll Morgan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
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
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
A staging calculus and its applications to the verification of translator,Hal 389-396
Author: Robert Muller; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
14
15
16
17
18
19
20
21
22
23
Next