Search Result Save to File Save as CSV
Your search for 31051 returns 3217 document(s)
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
Applied computation theory: analysis, design, modeling/ editor Raymond T. Yeh
Call Number: 006.3 Yeh a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Digital networks and computer systems
Author: Booth, Taylor L.; | Call Number: 004 Boo d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Designing digital filters
Author: Williams, Charles S.; | Call Number: 621.381 Wil d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Designing with programmable array logic/ The technical staff of monolithic memories Inc.
Author: Technical staff of monolithic memories; | Call Number: 004.35 Tec d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
VLSI Circuit layout: Theory and design
Call Number: 621.395 VLS | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   7 8 9 10 11 12 13 14 15 16  Next