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
|