181. Understanding concurrent systems

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).
182. Elements of Computation Theory

by Singh, Arindama.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 SIN] (1).
183. Handbook of data compression

by Salmon, David | Giovanni, Motta.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 005.746 SAL ] (1).
184. Support vector machines for pattern classification

by Abe, Shigeo.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 005.52 ABE] (2).
185. Discrete calculus: applied analysis on graphs for computational science

by Grady, Leo J | Polimeni, Jonathan R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 518.1 GRA] (1).
186. Network science : complexity in nature and technology

by Estrada, Ernesto | Fox, Maria | Higham, Desmond J | Oppo, Gian-Luca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 003.72 EST] (1).
187. Symbolic C++ : an introduction to computer algebra using object-oriented programming

by Tan, Kiat Shi | Hans Steeb, Willi-Hans | Hardy, Yorick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2000Availability: Items available for loan: [Call number: 512.002855133 TAN] (1).
188. Support vector machines for pattern classification

by Abe, Shigeo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.52 ABE] (1).
189. R trees : theory and applications

by Manolopoulos, Yannis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.741 MAN] (1).
190. Conversations about challenges in computing

by Bruaset, Are Magnus | Tveito, Aslak.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2013Availability: Items available for loan: [Call number: 003 BRU] (1).
191. Frequent pattern mining

by Aggarwal, Charu C | Han, Jiawei.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2014Availability: Items available for loan: [Call number: 006.312 AGG] (1).
192. Timing channels in cryptography : a micro-architectural perspective

by Rebeiro, Chester.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.7 REB] (1).
193. It from bit or bit from it? on physics of informaiton

by Aguirre, Anthony | Aguirre, Anthony | Foster, Brendan | Merali, Zeeya.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 530.12 AGU] (1).
194. Python workbook : a brief introduction with exercises and solutions

by Stephenson, Ben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.133 STE] (1).
195. Attribute-based credentials for trust : identity in the information society

by Rannenberg, Kai | Camenisch, Jan | Sabouri, Ahmad.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.8223 RAN] (1).
196. Materializing the web of linked data

by Spanos, Dimitrios-Emmanuel | Konstantinou, Nikolaos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 025.0427 KON] (1).
197. Applications of social media and social network analysis

by Chawla, Nitesh V | Kazienko, Przemyslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 004.6 KAZ] (1).
198. Personalized task recommendation in crowdsourcing systems

by Geiger, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 004.019 GEI] (1).
199. Software design for resilient computer systems

by Kaegi-Trachsel, Thomas | Schagaev, Igor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.2 SCH] (1).
200. Geographic interpretations of the internet

by Kellerman, Aharon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.678 KEL] (1).

Powered by Koha