1. Refinement calculus

by Back, Ralph-Johan.

Material type: book 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (2).
9. Logician and the engineer : how George Boole and Claude Shannon created the information age

by Nahin, Paul J.

Material type: book 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.1015113 HUT] (1).
17. Neighborhood semantics for modal logic

by Pacuit, Eric.

Material type: book 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).

Powered by Koha