|
2981.
|
Logical foundations of cyber-physical systems
by Platzer, Andre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 006.22 PLA] (1).
|
|
2982.
|
Geometry VI : Riemannian geometry
by Postnikov, M. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 516.373 POS] (1).
|
|
2983.
|
Investigations in computational sarcasm
by Joshi, Aditya | Bhattacharyya, Pushpak | Carman, Mark J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2018Availability: Items available for loan: [Call number: 006.35 JOS] (1).
|
|
2984.
|
Cognitively inspired natural language processing : an investigation based on eye-tracking
by Mishra, Abhijit | Bhattacharyya, Pushpak. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2018Availability: Items available for loan: [Call number: 006.35 MIS] (1).
|
|
2985.
|
Robotics, Vision and Control: fundamental Algorithms In MATLAB
by Corke, Peter. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2017Availability: Items available for reference: [Call number: 629.892 COR] (1).
|
|
2986.
|
Consciousness’ drive : information need and the search for meaning
by Cole, Charles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2018Availability: Items available for loan: [Call number: 006.301 COL] (1).
|
|
2987.
|
Algebra for Cryptologists
by Meijer, Alko R. Publisher: Springer International Publishing 2016Availability: No items available
|
|
2988.
|
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).
|
|
2989.
|
Applied predictive modeling
by Kuhn, Max | Johnson, Kjell. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2013Availability: Items available for loan: [Call number: 519.5 KHU] (1).
|
|
2990.
|
Random numbers and computers
by Kneusel, Ronald T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 518 KNE] (1).
|
|
2991.
|
Basic Elements of Computational Statistics
by Wolfgang, Härdle. Publisher: Springer International Publishing 2017Availability: No items available
|
|
2992.
|
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).
|
|
2993.
|
Practical Analysis of Algorithms
by Vrajitoru, Dana. Publisher: Springer International Publishing 2014Availability: No items available
|
|
2994.
|
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).
|
|
2995.
|
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).
|
|
2996.
|
Designing reliable distributed systems : a formal methods approach based on executable modeling in maude
by Olveczky, Peter Csaba. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London : Springer, 2017Availability: Items available for loan: [Call number: 004.36 OLV] (1).
|
|
2997.
|
Basic graph theory
by Rahman, Md. Saidur. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer International Publishing, 2017Availability: Items available for loan: [Call number: 511.5 RAH] (1).
|
|
2998.
|
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).
|
|
2999.
|
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).
|
|
3000.
|
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).
|