|
|
1.
|
Refinement calculus
by Back, Ralph-Johan. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
|
|
|
2.
|
Modal and temporal properties of processes
by Stirling, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
|
|
|
3.
|
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings
by Basin, David | Rusinowitch, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
|
|
|
4.
|
Logic for learning : learning comprehensible theories from structured data
by Lloyd, J. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.31 LLO] (1).
|
|
|
5.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
|
6.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
7.
|
Computability and Logic
by Boolos, George S. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1989Availability: Items available for loan: [Call number: 005.115 BOO] (1).
|
|
|
8.
|
Logic in computer science : modelling and reasoning about systems
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (1). Items available for reference: [Call number: 005.1 HUT] (1).
|
|
|
9.
|
Logician and the engineer : how George Boole and Claude Shannon created the information age
by Nahin, Paul J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2013Availability: Items available for loan: [Call number: 510.922 NAH] (1).
|
|
|
10.
|
Mathematical structures for computer science : a modern approach to discrete mathematics
by Gersting, Judith L. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman and Company, 2006Availability: Items available for loan: [Call number: 004.0151 GER] (1).
|
|
|
11.
|
Logic of Analog and Digital Machines
by Rocchi, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Nova Science Publishers, 2013Availability: Items available for loan: [Call number: 005.1015113 ROC] (1).
|
|
|
12.
|
Advanced methods for inconsistent knowledge management
by Nguyen, Ngoc Thanh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 658.4038 NGU] (1).
|
|
|
13.
|
Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings
by Maher, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 MAH] (1).
|
|
|
14.
|
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by Calude, Cristian S | Sassone, Vladimiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
|
15.
|
Krister Segerberg on logic of actions
by Trypuz, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2013Availability: Items available for loan: [Call number: 160 TRY] (1).
|
|
|
16.
|
Logic in Computer Science : modeling and reasoning about systems
by Huth, Michael | Ryan, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: No items available Checked out (1).
|
|
|
17.
|
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).
|
|
|
18.
|
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).
|
|
|
19.
|
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).
|
|
|
20.
|
Computational thinking
by Denning, Peter J | Tedre, Matti. Publisher: Cambridge : MIT Press, 2019Availability: Items available for loan: [Call number: 005.1 DEN] (1).
|
