| Your search for 13551 returns 3697 document(s) |
| Focussing proof-net construction as a midleware paradign, Hal. 501-516 |
|
Author: Jean Marc Andreocoli; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
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 Xor based public auditing scheme for proof-of -storage |
|
Author: Changsheng Wan; Juan Zhang; | Call Number: Sem-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic proof of survivability compliance - approach and techniques, 92-96 |
|
Author: Yanjun Zuo; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural deduction: a proof-theoretical study/ Da Prawitz |
|
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction, proof, and analysis of programs/Pierre Berlioux |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Create a proof concept for facebook messenger gateway |
|
Author: Muhammad Prakash Divy Isdarwanto; | Call Number: KP-2422 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof-tree Transformation Theorems and Their Applications (172-181) |
|
Author: Raghu Ramakrishnan
Yehoshua Sagiv
Jeffrey D.Ulman
Moshe Y.Vardi; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New Approach to Characterizing the Relative Position of Two Ellipses Depending on One Parameter, page 324-350 |
|
Author: F. Etayo, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Unit Quaternion Integral Curve: A New Type Of Fair Free-Form Curves, page 39-58 |
|
Author: K. T. Miura | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result