|
521.
|
Introduction to data science : a python approach to concepts, techniques and applications
by Igual, Laura | Seguí, Santi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2017Availability: Items available for loan: [Call number: 006.312 IGU] (1).
|
|
522.
|
Introduction to deep learning : from logical calculus to artificial intelligence
by Skansi, Sandro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2018Availability: Items available for loan: [Call number: 006.3 SKA] (1).
|
|
523.
|
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).
|
|
524.
|
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).
|
|
525.
|
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).
|
|
526.
|
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).
|
|
527.
|
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).
|
|
528.
|
Core data analysis : summarization, correlation, and visualization
by Mirkin, Boris. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2019Availability: Items available for loan: [Call number: 519.535 MIR] (1).
|
|
529.
|
Guide to teaching puzzle-based learning
by Meyer, Edwin F., III | Falkner, Nickolas | Sooriamurthi, Raja | Michalewicz, Zbigniew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London : Springer, 2014Availability: Items available for loan: [Call number: 370.1524 MEY] (1).
|
|
530.
|
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).
|
|
531.
|
Peer-to-peer storage : security and protocols
by Oualha, Nouha | Roudier, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Nova Science Publishers, 2010Availability: Items available for loan: [Call number: 004.56 OUA] (1).
|
|
532.
|
Data science design manual
by Skiena, Steven S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2017Availability: Items available for loan: [Call number: 006.312 SKI] (1).
|
|
533.
|
Mobile information retrieval
by Crestani, Fabio | Mizzaro, Stefano [aut] | Scagnetto, Ivan [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2017Availability: Items available for loan: [Call number: 025.04 CRE] (1).
|
|
534.
|
Edge computing : a primer
by Cao, Jie | Zhang, Quan [aut] | Shi, Weisong [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: No items available Checked out (1).
|
|
535.
|
Computational geometry: an introduction
by Preparata, Franco P | Shamos, Michael Ian. Publisher: New York Springer 1985Availability: No items available Checked out (1).
|
|
536.
|
Topics in cryptology - CT-RSA 2016 : the Cryptographers' Track at the RSA Conference 2016 San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings
by Sako, Kazue. Publisher: Berlin Springer 2016Availability: Items available for loan: [Call number: 005.82 SAK] (1).
|
|
537.
|
Automated verification of concurrent search structures
by Krishna, Siddharth | Patel, Nisarg | Shasha, Dennis | Wies, Thomas. Publisher: San Rafael, California : Morgan & Claypool Publishers, 2021Availability: Items available for loan: [Call number: 005.741 KRI] (1).
|
|
538.
|
Algebraic graph algorithms : a practical guide using Python
by Erciyes, K. Publisher: Cham : Springer, 2021Availability: No items available Checked out (1).
|
|
539.
|
Introduction to computation : Haskell, logic and automata
by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
|
|
540.
|
Principles of parallel scientific computing : a first guide to numerical concepts and programming methods
by Weinzierl, Tobias. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 004.35 WEI] (1).
|