|
|
521.
|
A First Journey through Logic
by Hils, Martin | Loeser, Francois. Publisher: Providence : American Mathematical Society, 2023Availability: Items available for loan: [Call number: 511.3 HIL] (1).
|
|
|
522.
|
Connecting discrete mathematics and computer science
by Liben-Nowell, David. Edition: 2nd ed. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 004.0151 LIB] (1).
|
|
|
523.
|
Grammatical inference : learning automata and grammars
by De la Higuera, Colin. Publisher: Cambridge : Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.131 DAL] (1).
|
|
|
524.
|
Higher-order logic and type theory
by Bell, John L. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 511.3 BEL] (1).
|
|
|
525.
|
Mathematical logic through Python
by Gonczarowski, Yannai A | Nisan, Noam. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.131 GON] (1).
|
|
|
526.
|
One true logic : a monist manifesto
by Griffiths, Owen. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 160 GRI] (1).
|
|
|
527.
|
Paradoxes and inconsistent mathematics
by Weber, Zach. Publisher: Cambridge : Cambridge University Press, 2021Availability: Items available for loan: [Call number: 511.3 WEB] (1).
|
|
|
528.
|
Programming languages : build, prove, and compare
by Ramsey, Norman. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.13 RAM] (1).
|
|
|
529.
|
Joy of abstraction : an exploration of math, category theory, and life
by Cheng, Eugenia. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 510 CHE] (1).
|
|
|
530.
|
Tutorial introduction to VHDL programming
by Gazi, Orhan. Publisher: Singapore : Springer, 2019Availability: Items available for loan: [Call number: 621.392 GAZ] (1).
|
|
|
531.
|
Automatically ordering events and times in text
by Derczynski, Leon R. A. Publisher: Cham : Springer, 2017Availability: Items available for loan: [Call number: 006.3 DER] (1).
|
|
|
532.
|
Awareness in logic and epistemology : a conceptual schema and logical study of the underlying main epistemic concepts
by Fernandez-Fernandez, Claudia. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 121 FER] (1).
|
|
|
533.
|
Electronics : from classical to quantum
by Kolawole, Michael O. Publisher: Boca Raton : CRC Press, 2021Availability: Items available for loan: [Call number: 621.3815 KOL] (1).
|
|
|
534.
|
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).
|
|
|
535.
|
Language and the rise of the algorithm
by Binder, Jeffrey M. Publisher: Chicago : University of Chicago Press, 2022Availability: Items available for loan: [Call number: 006.35 BIN] (1).
|
|
|
536.
|
Logic : lecture notes for philosophy, mathematics, and computer science
by Iacona, Andrea. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 160 IAC] (1).
|
|
|
537.
|
Mathematical Logic
by Ebbinghaus, Heinz-Dieter | Flum, Jorg | Thomas, Wolfgang. Edition: 3rd ed. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 EBB] (1).
|
|
|
538.
|
Arduino V: Machine Learning
by Barrett, Steven F. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 006.3 BAR] (1).
|
|
|
539.
|
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).
|
|
|
540.
|
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).
|
