Your search for 29053 returns 3130 document(s) |
Automated reasoning: 33 basic research problems/Larry Wos |
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithms: their complexity and efficiency 2nd ed./Lydia Kronsjo |
Author: Kronsjo, Lydia; | Call Number: 511 Kro a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming techniques: vol. 2: simulation |
Author: Liffick, Blaise W.; | Call Number: 004 Lif p | Type: Buku Pusat
|
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
|
Programming techniques, vol. 3: number theory |
Author: Liffick, Blaise W.; | Call Number: 004 Lif p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logical basis for computer programming vol.2 deductive system |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete structures of computer science |
Author: Levy, Leon S.; | Call Number: 519.4 Lev d | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advanced unix programming |
Author: Rochking, Marc J.; | Call Number: 005.43 Roc a | Type: Buku Pusat
|
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
|
Structured programming using PL/1 and SP/K |
Author: Hume, J.N.P.; | Call Number: 005.133 Hum s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|