|
|
1.
|
Introduction to Boolean algebra and logic design; a program for self-instruction [by] Gerhard E. Hoernes [and] Melvin F. Heilweil.
by Hoernes, Gerhard E | Heilweil, Melvin F [joint author.]. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, McGraw-Hill [1964]Availability: Items available for loan: [Call number: QA76] (1).
|
|
|
2.
|
Fluid power logic circuit design : analysis, design methods, and worked examples / Peter Rohner.
by Rohner, Peter, 1939-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Wiley, c1979Availability: Items available for loan: [Call number: TJ853.R63 1979] (1).
|
|
|
3.
|
Design of logic systems / Douglas Lewin.
by Lewin, Douglas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkshire, England Van Nostrand Reinhold, 1985Availability: Items available for loan: [Call number: TK7868.S9.L39 1985] (2).
|
|
|
4.
|
Design of logic systems / Douglas Lewin.
by Lewin, Douglas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkshire, England Van Nostrand Reinhold, 1985Availability: Items available for loan: [Call number: TK7868.S9] (1).
|
|
|
5.
|
Logic design: a review of theory and practice [by] Glen G. Langdon, Jr.
by Langdon, Glen G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, Academic Press, 1974Availability: Items available for loan: [Call number: TK7888.4.L36 1974] (1).
|
|
|
6.
|
Digital logic design / B. Holdsworth and R.C. Woods.
by Holdsworth, B. (Brian) | Woods, R. C. (R. Clive). Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford ; Boston : Newnes, 2002Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: TK7868.D5.H65 2002] (2).
|
|
|
7.
|
Digital logic design / B. Holdsworth.
by Holdsworth, B. (Brian). Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London ; Boston : Butterworths, 1982Availability: Items available for loan: [Call number: TK7868.D5] (1).
|
|
|
8.
|
Digital logic design / Gideon Langholz, Abraham Kandel, Joe L. Mott.
by Langholz, Gideon | Kandel, Abraham | Mott, Joe L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dubuque, Iowa : Wm. C. Brown, c1988Availability: Items available for loan: [Call number: TK7868.L37 1988] (1).
|
|
|
9.
|
Design of logic systems / Douglas Lewin.
by Lewin, Douglas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkshire, England Van Nostrand Reinhold, 1985Availability: Items available for loan: [Call number: TK7868.S9] (1).
|
|
|
10.
|
fundamentals of logic design: / charles.h. roth
by "roth, charles h. ". Edition: 4 ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: india : jaico 2002Availability: Items available for loan: [Call number: TK7868.L6.R68 1992] (1).
|
|
|
11.
|
fundamentals of logic design: / charles.h. roth
by "roth, charles h. ". Edition: 4 ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: india : jaico 2002Availability: Items available for loan: (1).
|
|
|
12.
|
Taxonomies for the Development and Verification of Digital Systems [electronic resource] / edited by Brian Bailey, Grant Martin, Thomas Anderson.
by Bailey, Brian | Martin, Grant | Anderson, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
13.
|
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.
by McIver, Annabelle | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
15.
|
Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis.
by Kastensmidt, Fernanda Lima | Carro, Luigi | Reis, Ricardo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
16.
|
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
by Gabbay, Dov M | Goncharov, Sergei S | Zakharyaschev, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
17.
|
A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens.
by Schellekens, Michel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
|
18.
|
Speech Processing in Embedded Systems [electronic resource] / by Priyabrata Sinha.
by Sinha, Priyabrata | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
19.
|
More than Moore [electronic resource] : Creating High Value Micro/Nanoelectronics Systems / edited by Guo Qi Zhang, Alfred Roosmalen.
by Zhang, Guo Qi | Roosmalen, Alfred | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
|
20.
|
Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee.
by Lee, Kent | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
