| Your search for 48069 returns 599 document(s) |
| Formal logic: its scope and limits/ Richard Jeffrey |
|
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal semantics of programming languages/ edited by Randall Rustin |
|
Author: Courant, R; | Call Number: 410.183 Cou f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory or computation formal languages, automata, and complexity |
|
Author: Brookshear, J. Glenn; | Call Number: 511 Bro t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to the finite element method |
|
Author: Reddy, J.N.; | Call Number: 620.001 Red i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Method of programming/Edger W. Dijkstra |
|
Author: Dijkstra, Edger W.; | Call Number: 005.1 Dij m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The discrepancy method: randomness and complexity |
|
Author: Chazella, Bernard; | Call Number: 512.7 Cha d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An analysis of the finite element method |
|
Author: Strang, Gilbert; | Call Number: 515.62 Str a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The finite element method for engineers |
|
Author: Huebner, Kenneth H.; | Call Number: 515.62 Hue f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to the finite element method |
|
Author: Reddy, J.N.; | Call Number: 620.001 Red i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
|
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result