Search Result Save to File Save as CSV
Your search for 52186 returns 51 document(s)
Existential Type for Relaxed Noninterference (73-92)
Author: Raimil Cruz Eric Tanter; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The Existential necessity of midlife change
Author: Carlo Strenger and Arie Ruttenberg | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A Compiler for Analyzing Cryptograohic Protocols Using Noninterference, page 488-528
Author: Antonio Durante, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Logic in Computer Science: Existential Second-Order Logic Over Strings
Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A Relaxed But Not Necessarily Constrained Way from the Top to the Sky (399-407)
Author: Katja Hose Christian Lemke Kai-Uwe Sattler Daniel Zinn; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Polymorphism and type inference in database programming
Author: Peter Bunamen | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Manifest Contracts with Intersection Type (33-52)
Author: Yuki Nishida Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar dalam PROLOG
Author: Ario Santoso; | Call Number: SK-0719 (Softcopy SK-0201) Source code SK-0183 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6  Next