| Your search for 36732 returns 301 document(s) |
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving solving with fortran 77 |
|
Author: Nyhoff, Larry; | Call Number: 005.133 Nyh f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of set/ E. Kamke |
|
Author: Kamke, E.; | Call Number: 510.322 Kam e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedded programming logics in HOL theorem prover, hal 18-24 |
|
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391 |
|
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Eksplorasi formalisasi TLA+dalam theorem prover Hol |
|
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalization of TLA + in HOL Theorem Prover (419-422) |
|
Author: Iis Solichah
Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Quasi-Interpolation by Quadratic Piecewise Polynomials in Three Variables, page 221-250 |
|
Author: G. Nurnberger, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Estimation of nonlinear errors-in variables models for computer vision applications, page 1537 |
|
Author: B.C. Matel | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A note on the correlation bounds for some ordered random variables,hal 79-87 |
|
Author: A.H. Khan, Zaki Anwar, Mohd. Faizan | Call Number: Vol. 24 (2013): 1 | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result