| Your search for 26993 returns 2759 document(s) |
| Handbook of algorithms and data structures/ G.H. Gonnet |
|
Author: Gonnet, Gaston H.; | Call Number: 005.133 Gon h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer algorithms/Ellis Horowitz |
|
Author: Horowitz, Ellis; | Call Number: 519.4 Hor f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of the average case analysis of particular algorithms/Rainer Kemp |
|
Author: Kemp, Rainer; | Call Number: 519.4 Kem f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer algorithms: introduction to design and analysis 2nd ed./Sara Baase |
|
Author: Baase, Sara; | Call Number: 519.7 Baa c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Concepts : A second course |
|
Author: "Joes, William B."; | Call Number: 005.133 Kel i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Concepts : A second course |
|
Author: "Joes, William B."; | Call Number: 005.133 Kel i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic based decision support: mixed integer model formulation |
|
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer science: a modern introduction |
|
Author: Goldschlager, L.; | Call Number: 004 Gol c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result