|
461.
|
Quantum computation and quantum information
by Nielsen, Michael A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Cambridge University Press 2010Availability: Items available for reference: [Call number: 004.1 NIE] (1).
|
|
462.
|
Peirce
by Atkin, Albert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York Routledge 2016Availability: Items available for loan: [Call number: 191 ATK] (1).
|
|
463.
|
Building enterprise information architecture : reengineering information systems
by Cook, Melissa. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey Prentice Hall 1996Availability: Items available for loan: [Call number: 658.4038 COO] (1).
|
|
464.
|
Emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference, 2nd ed.
by Hacking, Ian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge Cambridge University Press 2006Availability: Items available for loan: [Call number: 519.209 HAC] (1).
|
|
465.
|
Nominal sets : names and symmentry in computer science
by Pitts, Andrew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: [Call number: 005.13 PIT] (1).
|
|
466.
|
Philosophical investigations, 4th Ed.
by Wittgenstein, Ludwig. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Wiley-Blackwell, 2009Availability: No items available Checked out (1).
|
|
467.
|
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions
by Bertot, Yves | Casteran, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin Springer 2004Availability: Items available for loan: [Call number: 004.015113 BER] (1).
|
|
468.
|
Introduction to embedded systems, 2nd ed.: a cyber-physical systems approach
by Ashford, edward. Edition: 2nd EdMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press; 2016Availability: Items available for loan: [Call number: 005.74 ASH] (1).
|
|
469.
|
Uses of argument
by Toulmin , Stephen E. Edition: Updated ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press; 2003Availability: Items available for loan: [Call number: 168 TOU] (1).
|
|
470.
|
Guide to classical and modern model theory
by Marcja, Annalisa | Toffalori, Carlo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers 2003Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
471.
|
Mathematics and its applications : a transcendental-idealist perspective
by Silva, Jairo Jose da. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2017Availability: Items available for loan: [Call number: 510.1 SIL] (1).
|
|
472.
|
Neural networks : a systematic introduction
by Rojas, Raul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 006.3 ROJ] (1).
|
|
473.
|
Organic thin-film transistor applications : materials to circuits
by Kaushik, Brajesh Kumar | Kumar, Brijesh | Prajapati, sanjay | Mittal, Poornima. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2017Availability: Items available for loan: [Call number: 621.3815 KAU] (1).
|
|
474.
|
Algebra and computer science : Contemporary Mathematics
by Kahrobaei, Delaram | Cavallo, Bren | Garber, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rhode Island: American Mathematical Society, 2016Availability: Items available for loan: [Call number: 512.00285 KAH] (1).
|
|
475.
|
Introduction to logic circuits & logic design with verilog
by LaMeres, Brock J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2017Availability: Items available for loan: [Call number: 621.395 LAM] (1).
|
|
476.
|
Neighborhood semantics for modal logic
by Pacuit, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
|
|
477.
|
Shorter Logical Investigations
by Husserl, Edmund | Moran, Dermot [edt] | Findlay, J. N [trl]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 2001Availability: Items available for loan: [Call number: 160 HUS] (1).
|
|
478.
|
Modelling and verification of secure exams
by Giustolisi, Rosario. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).
|
|
479.
|
Propositions
by Merricks,Trenton. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford : Clarendon Press, 2018Availability: Items available for loan: [Call number: 160 MER] (1).
|
|
480.
|
Logics for computer science : classical and non-classical
by Wasilewska, Anita. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 005.13 WAS] (1).
|