Search Result
Save to File
Your search for
24027
returns
913
document(s)
An introduction to functional programming through lambda calculus
Author: Michaelson, Greg; | Call Number: 005.11 Mic I | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
A staging calculus and its applications to the verification of translator,Hal 389-396
Author: Robert Muller; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The typed polymorphic label-selective -Calculus,Hal 35-46
Author: Jacques Garrigue; Hassan A'it-Kaci; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Duration calculus: a formal appproach to real-time systems
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The lamda calculus :studies in logic and the foundations of mathematics
Author: Barendregt, H.P; | Call Number: 511.3 Bar L | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Principles of physics: a calculus-based text 5th ed.
Author: Serway, Raymond A.; | Call Number: 530 Ser p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
A many-sorted calculus based on resolution and paramodulation
Author: Walther, Christoph; | Call Number: 511.3 Wal m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
A Dependently Type Multi-stage Calculus (53-72)
Author: Akira Kawata Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Analysis About Achievement of e-Learning on University Calculus (123-132)
Author: Tzu-chin Chou; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic Dynamic Programming Within The Fluent Calculus (378-383)
Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
11
12
13
14
15
16
17
18
19
20
Next