| Your search for 13294 returns 3950 document(s) |
| 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
|
| NTCIR workshop : Japanese-and Chinese-English Cross Lingual Information Retrieval and multi-grade Relevance Judgments, (LNCS-Lecture Notes in Computer Science 2069), Hal. 24-35 |
|
Author: Noriko Kando; | Call Number: 025.04 Cro | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Coordinating Service-Sensitive Demand and Capacity by Adaptive Decision Making: An Application of Case-Based Decision Theory, page 1-32 |
|
Author: Hermann Jahnke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity, page 321 |
|
Author: Steven O.K. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Shape registration in implicit spaces using information theory and free form deformation, page 1303 |
|
Author: X. Huang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploring texture ensembles by efficient markov chain monte carlo-toward a trichromacy theory of texture, page 554 |
|
Author: S.C. Zhu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result