|
61.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|
|
62.
|
Correctness-by-Construction Approach to Programming
by Kourie, Derrick G | Watson, Bruce W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2012Availability: Items available for loan: [Call number: 005.1 KOU] (1).
|
|
63.
|
Fundamentals of logic design
by Roth, Charles H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Stanford: Cengage Learning, 2010Availability: Items available for loan: [Call number: 621.395 ROT] (1).
|
|
64.
|
Digital design
by Mano, M. Morris | Ciletti, Michael D. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall, 2008Availability: Items available for loan: [Call number: 621.395 MAN] (14). Items available for reference: [Call number: 621.395 MAN] (1). Checked out (1).
|
|
65.
|
Digital design : with a introduction to the Verilog HDL
by Mano, M. Morris | Ciletti, Michael D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai: Pearson Education, 2014Availability: Items available for reference: [Call number: 621.395 MAN] (1).
|
|
66.
|
Foundation of digital electronics and logic design
by Sarkar, Subir Kumar | Kumar De, Asish | Sarkar, Souvik. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Pan Stanford Publishing, 2015Availability: Items available for loan: [Call number: 621.381 SAR] (1).
|
|
67.
|
VHDL for logic synthesis
by Rushton, Andrew. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 1998Availability: Items available for loan: [Call number: 621.395 RUS] (1).
|
|
68.
|
Understanding formal methods
by Monin, Jean-Francois | Hinchey, Michael G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 004.0151 MON] (1).
|
|
69.
|
Building enterprise information architecture : reengineering information systems
by Cook, Melissa. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey Prentice Hall 1996Availability: Items available for loan: [Call number: 658.4038 COO] (1).
|
|
70.
|
Introduction to logic circuits & logic design with verilog
by LaMeres, Brock J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2017Availability: Items available for loan: [Call number: 621.395 LAM] (1).
|
|
71.
|
Logics for computer science : classical and non-classical
by Wasilewska, Anita. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 005.13 WAS] (1).
|
|
72.
|
Digital logic design : a rigorous approach
by Even, Guy | Medina, Moti. Publisher: New York Cambridge University Press 2019Availability: Items available for loan: [Call number: 621.395 EVE] (1).
|
|
73.
|
On designing DNA codes and their applications
by Limbachiya, Dixita | Gupta, Manish K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Gandhinagar Dhirubhai Ambani Institute of Information and Communication Technology 2019Online access: Click here to access online Availability: Items available for loan: [Call number: 621.391 LIM] (1).
|
|
74.
|
Digital logic design and computer organization with computer architecture for security
by Faroughi, Nikrouz. Publisher: New York : McGraw-Hill Education, 2015Availability: Items available for loan: [Call number: 004.22 FAR] (1).
|
|
75.
|
Introduction to digital systems design
by Donzellini, Giuliano | Oneto, Luca | Ponta, Domenico | Anguita, Davide. Publisher: Cham : Springer, 2019Availability: Items available for loan: [Call number: 004.21 DON] (1).
|
|
76.
|
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
by Chandrasekharan, Arun | Große, Daniel | Drechsler, Rolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2019Availability: Items available for loan: [Call number: 621.3815 CHA] (1).
|
|
77.
|
Interrupt handling schemes in operating systems
by Mejia Alvarez, Pedro | Leyva del Foyo, Luis Eduardo | Diaz Ramirez, Arnoldo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2018Availability: Items available for loan: [Call number: 005.4469 MEJ] (1).
|
|
78.
|
More than Moore : creating high value micro/nanoelectronics systems
by Zhang, G. Q [ed.] | Roosmalen, A. J. van [ed.]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrech : Springer, 2009Availability: Items available for loan: [Call number: 621.381 ZHA] (1).
|
|
79.
|
Lectures on digital design principles
by Mazumder, Pinaki | Ebong, Idongesit E. Publisher: Denmark : River Publishers, 2023Availability: Items available for loan: [Call number: 621.381 MAZ] (1).
|