|
|
1.
|
Distributed computing : a locality-sensitive approach
by Peleg, David. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Philadelphia: Society for Industrial and Applied Mathematics, 2000Availability: No items available Checked out (1).
|
|
|
2.
|
Ad-hoc, Mobile, and Wireless Networks : Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003 : Proceedings
by Pierre, Samuel | Barbeau, Michel | Kranakis, Evangelos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PIE] (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.
|
Performance Engineering : State of the Art and Current Trends
by Dumke, Reiner | Rautenstrauch, Claus | Schmietendorf, Andreas | Scholz, Andre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 DUM] (1).
|
|
|
6.
|
Networked Group Communication : Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001 : Proceedings
by Crowcroft, Jon | Hofmann, Markus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 CRO] (1).
|
|
|
7.
|
Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings
by Horrocks, Ian | Hendler, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
|
|
|
8.
|
HPCA
by IEEE Computer Society. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: IEEE Computer Society, 1999Availability: Items available for loan: [Call number: 004.22 IEE] (1).
|
|
|
9.
|
Applications of social media and social network analysis
by Chawla, Nitesh V | Kazienko, Przemyslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 004.6 KAZ] (1).
|
|
|
10.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
|
11.
|
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).
|
|
|
12.
|
Scientific workflows : programming, optimization, and synthesis with ASKALON and AWDL
by Fahringer, Thomas | Qin, Jun. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2012Availability: Items available for loan: [Call number: 004.36 QUI] (1).
|
|
|
13.
|
Information from processes : about the nature of information creation, use, and representation
by Losee, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 003.54 LOS] (1).
|
|
|
14.
|
Information and computation : essays on scientific and philosophical understanding of foundations of information and computation
by Dodig-Crnkovic, Gordana | Burgin, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2011Availability: Items available for loan: [Call number: 004.01 DOD] (1).
|
|
|
15.
|
Introduction to machine learning
by Kubat, Miroslav. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2015Availability: Items available for loan: [Call number: 006.3 KUB] (1).
|
|
|
16.
|
Technological Indian
by Bassett, Ross. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London Harvard University Press 2016Availability: Items available for loan: [Call number: 338.954 BAS] (1).
|
|
|
17.
|
Algorithms for reinforcement learning
by Szepesvari, Csaba. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: UK: Morgan & Claypool, 2010Availability: No items available Checked out (1).
|
|
|
18.
|
Foundation mathematics for computer science : a visual approach
by Vince, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer International Publishing, 2015Availability: Items available for loan: [Call number: 004.0151 VIN] (1).
|
|
|
19.
|
Primer on client-side web security
by De Ryck, Philippe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2014Availability: Items available for loan: [Call number: 005.8 DER] (1).
|
|
|
20.
|
Patent law for computer scientists : steps to protect computer implemented inventions
by Closa, Daniel | Gardiner, Alex | Giemsa, Falk | Machek, Jorg. Publisher: Berlin Springer 2010Availability: Items available for loan: [Call number: 346.0486 CLO] (1).
|
