Koha online

961.
Introduction to artificial intelligence, 2nd ed.

by Ertel, Wolfgang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer 2017Availability: Items available for loan: [Call number: 006.3 ERT] (1).
Place hold
962.
SCION : a secure internet architecture

by Perrig, Adrian | Szalachowski, Pawel | Reischuk, Raphael M | Chuat, Laurent.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer 2017Availability: Items available for loan: [Call number: 004.678 PER] (1).
Place hold
963.
Neighborhood semantics for modal logic

by Pacuit, Eric.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
Place hold
964.
Programming in HTML and PHP : coding for scientists and engineers

by Brooks, David R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 006.74 BRO] (1).
Place hold
965.
Symbolic parallelization of ested loop programs

by Tanase, Alexandru-Petru | Hannig, Frank | Teich, Jurgen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 005.275 TAN] (1).
Place hold
966.
Introduction to deep learning : from logical calculus to artificial intelligence

by Skansi, Sandro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2018Availability: Items available for loan: [Call number: 006.3 SKA] (1).
Place hold
967.
Essential guide to object monitors

by Boucher, Karen | Katz, Fima [aut].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1999Availability: Items available for loan: [Call number: 005.7​13 BOU] (1).
Place hold
968.
Malware data science : attack detection and attribution

by Saxe, Joshua.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Francisco : No Starch Press, 2018Availability: Items available for loan: [Call number: 005.88 SAX] (1).
Place hold
969.
Modelling and verification of secure exams

by Giustolisi, Rosario.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).
Place hold
970.
How to write your first thesis

by Gruba, Paul | Zobel, Justin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 808.06​6378 GRU] (1).
Place hold
971.
Foundation mathematics for computer science : a visual approach

by Vince, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer International Publishing, 2015Availability: Items available for loan: [Call number: 004.0151 VIN] (1).
Place hold
972.
Adventures in computer science : From classical bits to quantum bits

by Moret-Bonillo, Vicente.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer International Publishing, 2017Availability: Items available for loan: [Call number: 004.0151 MOR] (1).
Place hold
973.
Deep neural networks in a mathematical framework

by Caterini, Anthony L | Chang, Dong Eui.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 006.32 CAT] (1).
Place hold
974.
Guide to graph algorithms : sequential, parallel and distributed

by Erciyes, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 518​.1 ERC] (1).
Place hold
975.
Homomorphic encryption and applications

by Yi, Xun | Paulet, Russell | Bertino, Elisa.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer International Publishing, 2014Availability: Items available for loan: [Call number: 005.8​2 YIX] (1).
Place hold
976.
Fraud prevention in online digital advertising

by Zhu, Xingquan | Tao, Haicheng | Wu, Zhiang | Cao, Jie | Kalish, Kristopher | Kayne, Jeremy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 364.163 ZHU] (1).
Place hold
977.
Understanding high-dimensional spaces

by Skillicorn, David B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2012Availability: Items available for loan: [Call number: 006.3​12 SKI] (1).
Place hold
978.
Guide to teaching puzzle-based learning

by Meyer, Edwin F., III | Falkner, Nickolas | Sooriamurthi, Raja | Michalewicz, Zbigniew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2014Availability: Items available for loan: [Call number: 370.15​24 MEY] (1).
Place hold
979.
Introduction to distance geometry applied to molecular geometry

by Lavor, Carlile | Liberti, Leo | Lodwick, Weldon A | Mendonça da Costa, Tiago.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 004 LAV] (1).
Place hold
980.
Primer on client-side web security

by De Ryck, Philippe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2014Availability: Items available for loan: [Call number: 005.8 DER] (1).
Place hold

Powered by Koha