Search Result
Save to File
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