Search Result
Save to File
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