Your search for 24195 returns 2301 document(s) |
The temporal logic of reactive and concurrent systems specification |
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical foundations of programming/ F.S. Beckman |
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The java applications programming interface vol. 1 core packages/James Gosling |
Author: Gosling, James; | Call Number: 005.711 Gos j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The art of computer programming vol. 4 A : Combinatorial algorithms part 1 |
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Art of computer programming vol. 1 : fundamental algorithms 3rd ed. |
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming techniques, vol. 1: program design |
Author: Liffick, Blaise W.; | Call Number: 004 Lif p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pyramid Algorithms: A dynamic programming approach to curves and surfaces for geometric modelling |
Author: Goldman, Ron; | Call Number: 511.8 Gol p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Numerical methods for uncostrained optimization and nonlinear equations |
Author: Dennis, John E.; | Call Number: 519.4 Den n | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Methods for unconstrained optimization problems |
Author: Kowalik, J.; | Call Number: 519.3 Kow m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Numerical methods for unconstrained optimization and nonlinear equations |
Author: Dennis, John E.; | Call Number: 519.4 Den n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|