|
1.
|
Neighborhood semantics for modal logic
by Pacuit, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
|
|
2.
|
Modelling and verification of secure exams
by Giustolisi, Rosario. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).
|
|
3.
|
How to write your first thesis
by Gruba, Paul | Zobel, Justin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 808.066378 GRU] (1).
|
|
4.
|
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).
|
|
5.
|
Adventures in computer science : From classical bits to quantum bits
by Moret-Bonillo, Vicente. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham: Springer International Publishing, 2017Availability: Items available for loan: [Call number: 004.0151 MOR] (1).
|
|
6.
|
Deep neural networks in a mathematical framework
by Caterini, Anthony L | Chang, Dong Eui. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 006.32 CAT] (1).
|
|
7.
|
Guide to graph algorithms : sequential, parallel and distributed
by Erciyes, K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 518.1 ERC] (1).
|
|
8.
|
Homomorphic encryption and applications
by Yi, Xun | Paulet, Russell | Bertino, Elisa. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer International Publishing, 2014Availability: Items available for loan: [Call number: 005.82 YIX] (1).
|
|
9.
|
Fraud prevention in online digital advertising
by Zhu, Xingquan | Tao, Haicheng | Wu, Zhiang | Cao, Jie | Kalish, Kristopher | Kayne, Jeremy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 364.163 ZHU] (1).
|
|
10.
|
Introduction to distance geometry applied to molecular geometry
by Lavor, Carlile | Liberti, Leo | Lodwick, Weldon A | Mendonça da Costa, Tiago. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 004 LAV] (1).
|
|
11.
|
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).
|
|
12.
|
Anomaly detection principles and algorithms
by Mehrotra, Kishan G | Mohan, Chilukuri K | Huang, Huaming. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2017Availability: Items available for loan: [Call number: 006.312 MEH] (1).
|