|
481.
|
One hundred prisoners and a light bulb
by Ditmarsch, Hans van | Kooi, Barteld [aut] | Elancheziyan [ill]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Availability: Items available for loan: [Call number: 793.74 DIT] (1).
|
|
482.
|
Model theory: an introduction
by Marker, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2010Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
483.
|
Demystifying OWL for the enterprise
by Uschold, Michael. Publisher: California Morgan & Claypool 2018Availability: Items available for loan: [Call number: 006.332 USC] (1).
|
|
484.
|
Digital logic design : a rigorous approach
by Even, Guy | Medina, Moti. Publisher: New York Cambridge University Press 2019Availability: Items available for loan: [Call number: 621.395 EVE] (1).
|
|
485.
|
New approaches to circle packing in a square : with program codes
by Szabo, P. G | Markot, M. Cs | Csendes, T | Specht, E | Casado, L. G | Garcia, I. Publisher: Boston Springer 2007Availability: Items available for loan: [Call number: 516.11 SZA] (1).
|
|
486.
|
Essential logic for computer science
by Page, Rex | Gamboa, Ruben. Publisher: London MIT Press 2019Availability: Items available for loan: [Call number: 005.1015113 PAG] (1).
|
|
487.
|
Interpolation and definability : modal and intuitionistic logics
by Gabbay, Dov M | Maksimova, Larisa. Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: [Call number: 511.3 GAB] (1).
|
|
488.
|
Introduction to probability and inductive logic
by Hacking, Ian. Publisher: Cambridge Cambridge University Press 2001Availability: Items available for loan: [Call number: 160 HAC] (1).
|
|
489.
|
Philosophy of logics
by Haack, Susan. Publisher: Cambridge Cambridge University Press 1978Availability: Items available for loan: [Call number: 160.01 HAA] (1).
|
|
490.
|
Against epistemology : a metacritique : studies in Husserl and the phenomenological antinomies
by Adorno, Theodor W | Domingo, Willis [tr.]. Publisher: Cambridge : Polity Press, 2013Availability: Items available for loan: [Call number: 121 ADO] (1).
|
|
491.
|
Hegel's realm of shadows : Logic as metaphysics in the science of logic
by Pippin, Robert B. Publisher: Chicago : University of Chicago Press 2019Availability: Items available for loan: [Call number: 193 PIP] (1).
|
|
492.
|
Logical basis of metaphysics
by Dummett, Michael. Publisher: Cambridge : Harvard University Press, 2008Availability: Items available for loan: [Call number: 121.68 DUM] (1).
|
|
493.
|
Nature of rationality
by Nozick, Robert. Publisher: Princeton : Princeton University Press, 1994Availability: Items available for loan: [Call number: 128.3 NOZ] (1).
|
|
494.
|
On designing DNA codes and their applications
by Limbachiya, Dixita | Gupta, Manish K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Gandhinagar Dhirubhai Ambani Institute of Information and Communication Technology 2019Online access: Click here to access online Availability: Items available for loan: [Call number: 621.391 LIM] (1).
|
|
495.
|
Ideas that created the future : classic papers of computer science
by Lewis, Harry R. Publisher: Cambridge : MIT Press, 2021Availability: Items available for loan: [Call number: 004 LEW] (1).
|
|
496.
|
Heraclitus : the inception of occidental thinking logic : Heraclitus's doctrine of the Logos
by Heidegger, Martin | Goesser Assaiante, Julia tr | Ewegen, S. Montgomery tr. Publisher: London : Bloomsbury Academic, 2018Availability: Items available for loan: [Call number: 182.4 HEI] (1).
|
|
497.
|
Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma
by Copeland, B. Jack ed. Publisher: Oxford : Clarendon Press, 2013Availability: Items available for loan: [Call number: 510.92 COP] (1).
|
|
498.
|
Frege's philosophy of mathematics
by Demopoulos, William. Publisher: Cambridge : Harvard University Press, 1997Availability: Items available for loan: [Call number: 510.1 DEM] (1).
|
|
499.
|
Automated verification of concurrent search structures
by Krishna, Siddharth | Patel, Nisarg | Shasha, Dennis | Wies, Thomas. Publisher: San Rafael, California : Morgan & Claypool Publishers, 2021Availability: Items available for loan: [Call number: 005.741 KRI] (1).
|
|
500.
|
Introduction to computer organization : an under-the-hood look at hardware and x86-64 assembly
by Plantz, Bob. Publisher: San Francisco : No Starch Press, 2021Availability: No items available Checked out (1).
|