|
1.
|
Hardware and computer organization : the software perspective
by Berger, Arnold S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Newnes, 2005Availability: Items available for loan: [Call number: 004.22 BER] (2).
|
|
2.
|
Networking and Mobile Computing : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : Proceedings
by Zhao, Wei | Lu, Xicheng. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 LU] (1).
|
|
3.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
4.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
5.
|
Security protocols : 9th international workshop Cambridge, UK, April 25-27, 2001
by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
6.
|
File system forensic analysis
by Carrier, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 004 CAR] (1).
|
|
7.
|
Parallel coordinates : visual multidimensional geometry and its applications
by Inselberg, Alfred | Shneiderman, Ben. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 621.36701516 INS] (2).
|
|
8.
|
Network science : complexity in nature and technology
by Estrada, Ernesto | Fox, Maria | Higham, Desmond J | Oppo, Gian-Luca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 003.72 EST] (1).
|
|
9.
|
Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers
by Basili, Victor R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
|
|
10.
|
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).
|
|
11.
|
Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web
by Dillon, Tharam S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004 DIL] (1).
|
|
12.
|
Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday
by Grumberg, Orna. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 004 GRU] (1).
|
|
13.
|
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).
|
|
14.
|
Foundations of security analysis and design VI : FOSAD tutorial lectures
by Aldini, Alessandro | Gorrieri, Roberto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 004 ALD] (1).
|
|
15.
|
Search Computing : Broadening Web Search
by Ceri, Stefano | Brambilla, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 004 CER] (1).
|
|
16.
|
Recommender systems handbook
by Ricci, Francesco | Rokach, Lior. Edition: 2nd Publisher: New York Springer 2015Availability: No items available Checked out (1).
|
|
17.
|
Concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
by Kauers, Manuel | Paule, Peter. Publisher: Vienna Springer 2011Availability: Items available for loan: [Call number: 512 KAU] (1).
|
|
18.
|
Primer of multicast routing
by Rosenberg, Eric. Publisher: Boston Springer 2012Availability: Items available for loan: [Call number: 004.62 ROS] (1).
|
|
19.
|
Software mistakes and tradeoffs : how to make good programming decisions
by Lelek, Tomasz | Skeet, Jon. Publisher: New Tork : Manning Publications Co., 2022Availability: Items available for loan: [Call number: 005.1 LEL] (1).
|
|
20.
|
Mining of massive datasets
by Leskovec, Jure | Rajaraman, Anand | Ullman, Jefferey. Edition: 3rd. ed. Publisher: Cambridge : Cambridge University Press 2020Availability: Items available for reference: [Call number: 006.312 LES] (1).
|