Search for 'su:"Logic"'

Modal logic

By Chagrov, Alexander. Oxford : Clarendon Press, 1997 . xv, 605 p. ; 24 cm. 9780198537793

Place Hold on Modal logic

Injection-locking in mixed-mode signal processing

By Yuan, Fei. Cham : Springer, 2020 . xx, 225 p. ; 25 cm. 9783030173623

Place Hold on Injection-locking in mixed-mode signal processing

Lectures on digital design principles

By Mazumder, Pinaki. Denmark : River Publishers, 2023 . xxxi, 247 p. ; 25 cm. 9788770223614

Place Hold on Lectures on digital design principles

Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning

By Coecke, Bob. Cambridge : Cambridge University Press, 2017 . xvii, 827 p. ; 25 cm.. 9781107104228

Place Hold on Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning

More than Moore : creating high value micro/nanoelectronics systems

By Zhang, G. Q. Dordrech : Springer, 2009 . xi, 332 p. ; 25 cm. 9780387755922

Place Hold on More than Moore : creating high value micro/nanoelectronics systems

Games for your mind : the history and future of logic puzzles

By Rosenhouse, Jason. Princeton : Princeton University Press, 2020 . xiv, 333 p. ; 24 cm.. 9780691242026

Place Hold on Games for your mind : the history and future of logic puzzles

Artificial intelligence in games

By Roberts, Paul. Boca Raton : CRC Press, 2023 . vii, 301p. ; 24 cm. 9781032033228

Place Hold on Artificial intelligence in games

Nanoelectronics : physics, technology and applications

By Parekh, Rutu. Bristol : IOP Publishing, 2023 . xix, 331 p. ; 27 cm. 9780750348096

Place Hold on Nanoelectronics : physics, technology and applications

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

By Chandrasekharan, Arun. Cham : Springer, 2019 . xix, 130 p. ; 23 cm. 9783030075507

Place Hold on Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

Interrupt handling schemes in operating systems

By Mejia Alvarez, Pedro. Cham : Springer, 2018 . ix, 54 p.; 23 cm. 9783319944920

Place Hold on Interrupt handling schemes in operating systems

Grammatical inference : learning automata and grammars

By De la Higuera, Colin.. Cambridge : Cambridge University Press, 2010 . xiv, 417 p. ; 26 cm.. 9780521763165

Place Hold on Grammatical inference : learning automata and grammars

Mathematical logic through Python

By Gonczarowski, Yannai A.. Cambridge : Cambridge University Press, 2022 . xii, 271 p. ; 26 cm.. 9781108949477

Place Hold on Mathematical logic through Python

One true logic : a monist manifesto

By Griffiths, Owen. Oxford : Oxford University Press, 2022 . xxxi, 232 p. ; 25 cm.. 9780198829713

Place Hold on One true logic : a monist manifesto

Higher-order logic and type theory

By Bell, John L.. Cambridge : Cambridge University Press, 2022 . 79 p. ; 23 cm. 9781108986908

Place Hold on Higher-order logic and type theory

A First Journey through Logic

By Hils, Martin. Providence : American Mathematical Society, 2023 . xi, 185 p. ; 22 cm. 9781470452728

Place Hold on A First Journey through Logic

Connecting discrete mathematics and computer science

By Liben-Nowell, David. Cambridge : Cambridge University Press, 2022 . xvi, 674 p. ; 26 cm. 9781009150491

Place Hold on Connecting discrete mathematics and computer science

Paradoxes and inconsistent mathematics

By Weber, Zach. Cambridge : Cambridge University Press, 2021 . xii, 324 p. ; 26 cm. 9781108834414

Place Hold on Paradoxes and inconsistent mathematics

Joy of abstraction : an exploration of math, category theory, and life

By Cheng, Eugenia. Cambridge : Cambridge University Press, 2022 . xiv, 424 p. ; 24 cm. 9781108477222

Place Hold on Joy of abstraction : an exploration of math, category theory, and life

Introduction to digital systems design

By Donzellini, Giuliano . Cham : Springer, 2019 . xxiii, 536 p. ; 23 cm. 9783030065201

Place Hold on Introduction to digital systems design

Logic : lecture notes for philosophy, mathematics, and computer science

By Iacona, Andrea. Cham : Springer, 2021 . x, 227 p. ; 24 cm.. 9783030648107

Place Hold on Logic : lecture notes for philosophy, mathematics, and computer science

Mathematical Logic

By Ebbinghaus, Heinz-Dieter. Cham : Springer, 2021 . ix, 304 p. ; 24 cm.. 9783030738419

Place Hold on Mathematical Logic

Tutorial introduction to VHDL programming

By Gazi, Orhan. Singapore : Springer, 2019 . vii, 251 p. ; 24 cm. 9789811347641

Place Hold on Tutorial introduction to VHDL programming

Automatically ordering events and times in text

By Derczynski, Leon R. A.. Cham : Springer, 2017 . xxi, 205 p. ; 25 cm. 9783319472409

Place Hold on Automatically ordering events and times in text

Awareness in logic and epistemology : a conceptual schema and logical study of the underlying main epistemic concepts

By Fernandez-Fernandez, Claudia. Cham : Springer, 2021 . xxi,130 p. : 24 cm. 9783030696054

Place Hold on Awareness in logic and epistemology : a conceptual schema and logical study of the underlying main epistemic concepts

Electronics : from classical to quantum

By Kolawole, Michael O.. Boca Raton : CRC Press, 2021 . xv, 326 p. ; 26 cm. 9780367513856

Place Hold on Electronics : from classical to quantum

Language and the rise of the algorithm

By Binder, Jeffrey M.. Chicago : University of Chicago Press, 2022 . 321 p. ; 24 cm. 9780226822532

Place Hold on Language and the rise of the algorithm

Ideas that created the future : classic papers of computer science

By Lewis, Harry R. Cambridge : MIT Press, 2021 . xxii, 495 p. ; 23 cm. 9780262045308

Place Hold on Ideas that created the future : classic papers of computer science

Meaning of proofs : mathematics as storytelling

By Lolli, Gabriele. Cambridge : MIT Press, 2022 . xviii, 157 p. ; 21 cm. 9780262544269

Place Hold on Meaning of proofs : mathematics as storytelling

Philosophy of logic

By Putnam, Hilary. 2020 Routledge, . 76 p. ; 22 cm. 9780367475147

Place Hold on Philosophy of logic

Story of proof : logic and the history of mathematics

By Stillwell, John. Princeton : Princeton University Press, 2022 . xiv, 441 p. ; 25 cm. 9780691234366

Place Hold on Story of proof : logic and the history of mathematics

Feynman lectures on computation

By Feynman, Richard P.. Boca Raton : CRC Press, 1996 . xiv, 303 p. ; 23 cm. 9781138329430

Place Hold on Feynman lectures on computation

Schopenhauer: the world as will and representation. Volume 1

By Schopenhauer, Arthur. Cambridge : Cambridge University Press, 2020 . lxi, 633 p. ; 23 cm. 9781107414778

Place Hold on Schopenhauer: the world as will and representation. Volume 1

Mage Merlin's unsolved mathematical mysteries

By Devadoss, Satyan Linus. Cambridge : MIT Press, 2020 . xiii, 101 p.; 24 cm. 9780262542753

Place Hold on Mage Merlin's unsolved mathematical mysteries

Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7

By Agarwal, Basant. Birmingham : Packt Publishing, 2018 . 380 p. ; 25 cm. 9781788995573

Place Hold on Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7

Digital logic design and computer organization with computer architecture for security

By Faroughi, Nikrouz. New York : McGraw-Hill Education, 2015 . xvii, 552 p. ; 25 cm. 9780071836906

Place Hold on Digital logic design and computer organization with computer architecture for security

Art and science of microelectronic circuit design

By Belous, Anatoly. Cham : Springer, 2022 . xx, 432 p. ; 25 cm. 9783030898533

Place Hold on Art and science of microelectronic circuit design

Introduction to computer organization : an under-the-hood look at hardware and x86-64 assembly

By Plantz, Bob. San Francisco : No Starch Press, 2021 . xxi, 489 p. ; 24 cm. 9781718500099

Place Hold on Introduction to computer organization : an under-the-hood look at hardware and x86-64 assembly

Language, form, and logic : in pursuit of natural logic's holy grail

By Ludlow, Peter. Oxford : Oxford University Press, 2022 . ix, 429 p. ; 24 cm. 9780199591534

Place Hold on Language, form, and logic : in pursuit of natural logic's holy grail

John Venn : unpublished writings and selected correspondence

By Verburgt, Lukas M.. Cham : Springer, 2022 . xix, 263 p. ; 24 cm. 9783030798284

Place Hold on John Venn : unpublished writings and selected correspondence

Textbook of managerial computing

By Panigrahi, Rajib Lochan. New Delhi : Discovery Publishing, 2011 . 379 p. ; 23 cm. 9788183569224

Place Hold on Textbook of managerial computing

Digital system design with FPGA : implementation using Verilog and VHDL

By Unsalan, Cem. Chennai : McGraw Hill Education, 2017 . xv, 384 p. ; 24 cm. 9789387067509

Place Hold on Digital system design with FPGA : implementation using Verilog and VHDL

Computational thinking

By Denning, Peter J.. Cambridge : MIT Press, 2019 . xviii, 242 p. ; 18 cm. 9780262536561

Place Hold on Computational thinking

Untangling complex systems : a grand challenge for science

By Gentili, Pier Luigi. Boca Raton : CRC Press, 2019 . xxi, 568 p. ; 26 cm. 9780367485627

Place Hold on Untangling complex systems : a grand challenge for science

Cloud computing book : the future of computing explained

By Comer, Douglas. Boca Raton : CRC Press, 2021 . xiv, 269 p. ; 23 cm. 9780367706807

Place Hold on Cloud computing book : the future of computing explained

Against epistemology : a metacritique : studies in Husserl and the phenomenological antinomies

By Adorno, Theodor W.. Cambridge : Polity Press, 2013 . vii, 248 p. ; 23 cm. 9780745665382

Place Hold on Against epistemology : a metacritique : studies in Husserl and the phenomenological antinomies

Symbolic logic

By Makridis, Odysseus. Cham : Palgrave Macmillan, 2021 . v, 492 p. ; 24 cm. 9783030673956

Place Hold on Symbolic logic

Introduction to computation : Haskell, logic and automata

By Sannella, Donald. Cham : Springer, 2021 . xvi, 366 p. ; 29 cm. 9783030769079

Place Hold on Introduction to computation : Haskell, logic and automata

Logic and structure

By Dalen, Dirk van. London : Springer, 2004 . x, 263 p. ; 24 cm. 9781447145578

Place Hold on Logic and structure

Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma

By Copeland, B. Jack ed.. Oxford : Clarendon Press, 2013 . viii, 613 p. ; 24 cm. 9780198250807

Place Hold on Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma

Frege's philosophy of mathematics

By Demopoulos, William. Cambridge : Harvard University Press, 1997 . xi, 464 p. ; 25 cm. 9780674319431

Place Hold on Frege's philosophy of mathematics