|
|
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.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
