|
|
501.
|
Introduction to computation : Haskell, logic and automata
by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
|
|
|
502.
|
Rationality : What It Is, Why It Seems Scarce, Why It Matters
by Pinker, Steven. Publisher: London : Allen Lane, 2021Availability: Items available for loan: [Call number: 153.42 PIN] (1).
|
|
|
503.
|
Symbolic logic
by Makridis, Odysseus. Publisher: Cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 160 MAK] (1).
|
|
|
504.
|
Logic and structure
by Dalen, Dirk van. Edition: 5th ed. Publisher: London : Springer, 2004Availability: No items available Checked out (1).
|
|
|
505.
|
Computational thinking
by Denning, Peter J | Tedre, Matti. Publisher: Cambridge : MIT Press, 2019Availability: Items available for loan: [Call number: 005.1 DEN] (1).
|
|
|
506.
|
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).
|
|
|
507.
|
Digital system design with FPGA : implementation using Verilog and VHDL
by Unsalan, Cem | Tar, Bora. Publisher: Chennai : McGraw Hill Education, 2017Availability: Items available for loan: [Call number: 621.395 UNS] (1).
|
|
|
508.
|
Language, form, and logic : in pursuit of natural logic's holy grail
by Ludlow, Peter | Zivanovic, Saso. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 410.1 LUD] (1).
|
|
|
509.
|
Mage Merlin's unsolved mathematical mysteries
by Devadoss, Satyan Linus | Harvey, Matthew. Publisher: Cambridge : MIT Press, 2020Availability: Items available for loan: [Call number: 793.74 DEV] (1).
|
|
|
510.
|
Textbook of managerial computing
by Panigrahi, Rajib Lochan. Publisher: New Delhi : Discovery Publishing, 2011Availability: Items available for loan: [Call number: 004 PAN] (1).
|
|
|
511.
|
John Venn : unpublished writings and selected correspondence
by Verburgt, Lukas M. Publisher: Cham : Springer, 2022Availability: Items available for loan: [Call number: 160 VER] (1).
|
|
|
512.
|
Cloud computing book : the future of computing explained
by Comer, Douglas. Publisher: Boca Raton : CRC Press, 2021Availability: Items available for loan: [Call number: 004.6782 COM] (1).
|
|
|
513.
|
Untangling complex systems : a grand challenge for science
by Gentili, Pier Luigi. Publisher: Boca Raton : CRC Press, 2019Availability: Items available for loan: [Call number: 004 GEN] (1).
|
|
|
514.
|
Art and science of microelectronic circuit design
by Belous, Anatoly | Saladukha, Vitali. Publisher: Cham : Springer, 2022Availability: Items available for loan: [Call number: 621.3815 BEL] (1).
|
|
|
515.
|
Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7
by Agarwal, Basant | Baka, Benjamin. Edition: 2nd ed. Publisher: Birmingham : Packt Publishing, 2018Availability: No items available Checked out (1).
|
|
|
516.
|
Schopenhauer: the world as will and representation. Volume 1
by Schopenhauer, Arthur | Norman, Judith [tr., ed.] | Welchman, Alistair [tr., ed.] | Janaway, Christopher [tr., ed.]. Publisher: Cambridge : Cambridge University Press, 2020Availability: Items available for loan: [Call number: 193 SCH] (1).
|
|
|
517.
|
Feynman lectures on computation
by Feynman, Richard P | Hey, Anthony J. G [ed.] | Allen, Robin W [ed.]. Publisher: Boca Raton : CRC Press, 1996Availability: Items available for loan: [Call number: 004.01 FEY] (1).
|
|
|
518.
|
Meaning of proofs : mathematics as storytelling
by Lolli, Gabriele | McClellan-Broussard, Bonnie [tr.]. Publisher: Cambridge : MIT Press, 2022Availability: Items available for loan: [Call number: 511.36 LOL] (1).
|
|
|
519.
|
Philosophy of logic
by Putnam, Hilary. Publisher: 2020 Routledge, LondonAvailability: Items available for loan: [Call number: 160 PUT] (1).
|
|
|
520.
|
Story of proof : logic and the history of mathematics
by Stillwell, John. Publisher: Princeton : Princeton University Press, 2022Availability: Items available for loan: [Call number: 511.36 STI] (1).
|
