|
1.
|
Modern formal methods and applications
by Gabbar, Hossam A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004 GAB] (1).
|
|
2.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
3.
|
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Turorial Lectures
by Focardi, Riccardo | Gorrieri, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 FOC] (1).
|
|
4.
|
Rules and Rule Markup Languages for the Semantic web : Third International Workshop, ruleML 2004 Hiroshima, Japan, november 2004 proceedings
by Boley, Harold | Antoniou, Grigoris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 ANT] (1).
|
|
5.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
6.
|
Introduction to Formal Hardware Verification
by Kropf, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
|
|
7.
|
Mechanizing Proof
by Mackenzie, Donald. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 2001Availability: Items available for loan: [Call number: 004.21 MAC] (1).
|
|
8.
|
Logic of Practice
by Bourdieu, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Polity Press, 1999Availability: Items available for loan: [Call number: 300 BOU] (1).
|
|
9.
|
Mathematics in computing : an accessible guide to historical, foundational and application contexts
by O'Regan, Gerard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0151 ORE] (1).
|
|
10.
|
Stochastic relations : foundations for Markov transition systems
by Doberkat, Ernst-Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2007Availability: Items available for loan: [Call number: 004.0151 DOB] (1).
|
|
11.
|
Description logic rules
by Krotzsch, Markus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2010Availability: Items available for loan: [Call number: 006.332 KRO] (1).
|
|
12.
|
Understanding concurrent systems
by Roscoe, A. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).
|
|
13.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (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.
|
Hybrid logic and its proof-theory
by Brauner, Torben. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1).
|
|
16.
|
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures
by Bernardo, Marco | Inverardi, Paola. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|