|
|
361.
|
Design of analog fuzzy logic controllers in cmos technologies : implementation, test and application
by Dualibe, Carlos | Jespers, Paul G | Verleysen, Michel. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2003Availability: Items available for loan: [Call number: 006.3 DUA] (1).
|
|
|
362.
|
In-system configuration handbook : a designer's guide to ISC
by Jacobson, Neil G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston Kluwer Academic 2003Availability: Items available for loan: [Call number: 005.12 JAC] (1).
|
|
|
363.
|
Modalities and multimodalities
by Carnielli, Walter | Bueno-Soler, Juliana | Pizzi, Claudio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 160 CAR] (1).
|
|
|
364.
|
From a geometrical point of view : a study of the history and philosophy of category theory
by Marquis, Jean-Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 510.935 MAR] (1).
|
|
|
365.
|
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
by Ravi, S. S | Shukla, Sandeep K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 RAV] (1).
|
|
|
366.
|
Introduction to logic design
by Shmerko, Vlad P | Yanushkevich, Svetlana N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2008Availability: Items available for loan: [Call number: 621.395 YAN] (1).
|
|
|
367.
|
Digital design and Verilog HDL fundamentals
by Cavanagh, Joseph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2008Availability: Items available for loan: [Call number: 621.395 CAV] (1).
|
|
|
368.
|
Handbook of mathematical induction : theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
|
|
|
369.
|
Introduction to mathematics of satisfiability
by Marek, Victor W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2009Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
|
370.
|
Discrete structures with contemporary applications
by Stanoyevitch, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
|
|
|
371.
|
Mathematical aspects of logic programming semantics
by Hitzler, Pascal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 005.115 HIT] (1).
|
|
|
372.
|
Concise introduction to pure mathematics
by Liebeck, Martin W. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 510 LIE] (1).
|
|
|
373.
|
Introduction to VLSI systems : a logic, circuit, and system perspective
by Lin, Ming-Bo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2012Availability: Items available for loan: [Call number: 621.395 LIN] (1).
|
|
|
374.
|
Concise introduction to mathematical logic
by Rautenberg, Wolfgang. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 RAU] (1).
|
|
|
375.
|
P=NP question and Godel?s lost letter
by Lipton, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 LIP] (1).
|
|
|
376.
|
Computer science : the hardware, software and heart of it
by Blum, Edward K | Aho, Alfred V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
|
|
|
377.
|
Course on mathematical logic
by Srivastava, Shashi Mohan. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2013Availability: Items available for loan: [Call number: 006.7 SRI] (1).
|
|
|
378.
|
Computational Thinking for The Modern Problem Solver
by Riley, David D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 004 RIL] (1).
|
|
|
379.
|
Games, puzzles, and computation
by Hearn, Robert A | Demaine, Erik D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wellesley: A K Peters, 2009Availability: Items available for loan: [Call number: 510 HEA] (1).
|
|
|
380.
|
Roads to infinity : the mathematics of truth and proof
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 2010Availability: Items available for loan: [Call number: 511.322 STI] (1).
|
