Your search for 26963 returns 2443 document(s) |
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
|
The deductive foundation of computer programming |
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
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
|
An algorithmic approach to nonlinear analysis and optimization |
Author: Beltrami, Edward J.; | Call Number: 519.3 Bel a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming languages/Allen B. Tucker |
Author: Tucker, Allen B; | Call Number: 005.13 Tuc p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applications and algorithms in computer science, modula A |
Author: Gear, Charles William; | Call Number: 004 Gea a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Coordinated computing: tools and techniques for distributed software |
Author: Filman, Robert E.; | Call Number: 004 Fil c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured walkthroughs 2 nd ed. |
Author: Yourdon, Edward; | Call Number: 005.3 You s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Readings in artificial intelligence and software engineering |
Call Number: 006.3 Rea | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer organization and programming/ C. William Gear |
Author: Gear, William C.; | Call Number: 004.61 Gea c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|