| Your search for 51932 returns 618 document(s) |
| 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
|
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to godel's theorems/ Peter Smith |
|
Author: Smith, Peter; | Call Number: 511.3 Smi i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The revival Transformation,Hal 421-434 |
|
Author: Lawrence Feigen; David Klappholz; Robert Casazza; Xing Xue; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On sandwich theorems of analytic functions involving noor integral operator, page 32-36 |
|
Author: Rabha W. Ibrahim and Maslina Darus | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Calculus on manifolds: a modern approach to classical theorems of advanced calculus |
|
Author: Spivak, Michael; | Call Number: 515.35 Spi c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Task-Parallel programming of reconfigurable systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 172-181 |
|
Author: Markus Weinhardt; Wayne Luk; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Internet Publishing and Transformation of Knowledge Processes |
|
Author: J. Leon Zhao, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IT Consumerization and the Transformation of IT Governance, Page 1225-1253 |
|
Author: Robert Wayne Gregory, Evgeny Kaganer, Ola Henfridsson, and Thierry Jean Ruch | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Transformation of Data Tabular to Knowledge Graph |
|
Author: Gries Yulianti; | Call Number: TR-CSUI/ 013-2019 | Type: Technical Report
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result