Search Result Save to File Save as CSV
Your search for 52185 returns 142 document(s)
Calculus of variations
Author: Forsyth, A.R.; | Call Number: 515.64 For c | Type: Buku
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 
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 
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 
A Model for Compound Type Changes Encountered in Schema Evolution
Author: B. Staudt Lerner | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A type system for prototyping languages,Hlm 138-150
Author: Dinesh Katiyar; David Luckham; John Mitchell; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Type-Based HFL Model Checking Algorithm (136-155)
Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Contract Type Sequencing for Reallocative Negotiation (154-160)
Author: M. Andersson T. Sandholm; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Thoma's calculus 10th ed.
Call Number: 515.15 Tho t | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next