| Your search for 23963 returns 112 document(s) |
| Predicate calculus and program semantics |
|
Author: Dijkstra, Edger Wybe; | Call Number: 511.3 Dij p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Calculus projects for maple |
|
Author: Kirkwood, James R.; | Call Number: 515.1 kir i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lectures on the Calculus of Variations by Oskar Bolza |
|
Author: Bolza, Oskar; | Call Number: 629.83 Bol l | 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
|
| Problems for a computer-oriented calculus |
|
Author: Allen, Richard C.; | Call Number: 515 All p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| kalkulus jilid 1 edisi ke-4 |
|
Author: Stewart, James; | Call Number: 515.15 Ste k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical analysis: a straighforward approach |
|
Author: Binmore, K.G.; | Call Number: 515 Bin m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Hamilton-Jacobi theory in the calculus of variations: its role in mathematics and physica |
|
Author: Rund, Hanno; | Call Number: 629.83 Run h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems and relaxed optimal control: the para metric calculus of variations on finsher manifolds Cartan connections and extracting control autumata, Hal. 7-14 |
|
Author: World Kohn; Anil Neorde; J.B. Remmel; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Behavior models: specifying user's expectations |
|
Author: kowal, James A; | Call Number: 658.834 2 Kow b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result