Search Result Save to File Save as CSV
Your search for 5596 returns 1992 document(s)
Mathematical problem-solving with the microcomputer project to increase your basic programming skill
Author: Snover, Stephen L.; | Call Number: 005.26 Sno m | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Data Abstraction and Problem Solving With C++ 2nd ed./Walls and Mirrors
Author: Carrano, Frank M.; | Call Number: 005.73 Car d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Heuristics: intelligent search strategies for computer problem solving/ Judea Pearl
Author: Pearl, Judea; | Call Number: 006.3 Pea h | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Answer set solving in practice
Call Number: 006.3 Ans | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Intermediate problem solving and data structures/Walls and Mirror
Author: Helman, Paul; | Call Number: 005.1 Hel i | 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 
Clausal form logic
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
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 
The logical basis for computer programming vol. 2: deductive systems
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next