Search Result Save to File Save as CSV
Your search for 2858 returns 942 document(s)
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 
Student solutions manual : Calculus 8th ed.
Author: Varberg; | Call Number: 515 Var s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to functional programming through lambda calculus
Author: Michaelson, Greg; | Call Number: 005.11 Mic i | Type: Buku
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 
Calculus early transcendental functions 4th ed.
Author: Smith, Robert T.; | Call Number: 515 Smi c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The calculus of a single variable with analytic geometry 5th ed.
Author: Leithold, Louis; | Call Number: 515.15 Lei c | 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 
Prev   14 15 16 17 18 19 20 21 22 23  Next