| Your search for 2624 returns 3766 document(s) |
| 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
|
| Fundamentals, concepts of programming systems/ Jeffrey D. Ullman |
|
Author: Ullman, Jeffrey D.; | Call Number: 005. 1 Ull f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal verification of research reactive systems: safety |
|
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Security engineering: a guide to building dependable distributed systems |
|
Author: Anderson, Ross; | Call Number: 005.8 And s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| VLSI and parallel computation/edited by Robert Suaya and Graham Birtwistle |
|
Author: Edited; | Call Number: 004.35 VLS | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Z8000Microprocessor a design handbook/ Bradly K. Fawcett |
|
Author: Fawcett, Bradly K.; | Call Number: 621.381 Faw Z | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multisim schematic capture, simulation & programmable logic : getting started & tutorial |
|
Call Number: 621.392 Mul | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Circuits, interconnections, and packaging for VLSI/H.B. Bakoglu |
|
Author: Bakoglu, H.B.; | Call Number: 621.395 Bak c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multisim: schematic capture, simulation, programmable logic educator user guide |
|
Call Number: 621.392 Mul | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microelectronics/Jacob Millman; Irvin Grabel |
|
Author: Millman, Jacob; | Call Number: 621.381 7 Mil m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result