| Your search for 23963 returns 112 document(s) |
| Explaining variations in client extra costs between software projects offshored to india, page 333-366 |
|
Author: Jens Dibbern, Jessica Winkler, and Armin Heinzl | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety and translation of relational calculus queries, page 235 |
|
Author: Gelder, Allen Van | Type: Indeks Artikel Jurnal
|
|
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 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
|
Search Result