| Your search for 40824 returns 4948 document(s) |
| Nonparametric satistics: for the behavioral sciences/ Sidney Siegel |
|
Author: Siegel, Sidney; | Call Number: 519.5 Sie n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal systems specification: the RPC memory specification case study/Manfred Broy |
|
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocol specification, testing, and verification VI |
|
Call Number: 004.62 Pro | 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
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XML: the annotated specification/Bob Ducharme |
|
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages: Making Abstract Interpretations Complete |
|
Author: R. Giacobazzi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof analysis by resolution (extended abstract), Hal,.417-531 |
|
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Cooperative design for hybrid systems (extended abstract), Hal. 15-20 |
|
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational complexity and knowledge complexity(Extended Abstract),Hal 534-543 |
|
Author: Oded Goldreich; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result