|
|
3041.
|
Compressed sensing for privacy-preserving data processing
by Testa, Matteo | Valsesia, Diego [aut] | Bianchi, Tiziano [aut] | Magli, Enrico [aut]. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2019Availability: Items available for loan: [Call number: 621.3822 TES] (1).
|
|
|
3042.
|
Secure networked inference with unreliable data sources
by Vempaty, Aditya | Kailkhura, Bhavya [aut] | Varshney, Pramod K [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2018Availability: Items available for loan: [Call number: 004.36 VEM] (1).
|
|
|
3043.
|
Internet of things for smart cities : technologies, big data and security
by Ejaz, Waleed | Anpalagan, Alagan [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 006.754 EJA] (1).
|
|
|
3044.
|
Logics for computer science : classical and non-classical
by Wasilewska, Anita. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 005.13 WAS] (1).
|
|
|
3045.
|
One hundred prisoners and a light bulb
by Ditmarsch, Hans van | Kooi, Barteld [aut] | Elancheziyan [ill]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Availability: Items available for loan: [Call number: 793.74 DIT] (1).
|
|
|
3046.
|
Calculus for cognitive scientists : partial differential equation models
by Peterson, James K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2016Availability: Items available for loan: [Call number: 515 PET] (1).
|
|
|
3047.
|
Learning from imbalanced data sets
by Fernandez, Alberto | Garcia, Salvador [aut] | Galar, Mikel [aut] | Prati, Ronaldo C [aut] | Krawczyk, Bartosz [aut] | Herrera, Francisco [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 006.31 FER] (1).
|
|
|
3048.
|
Optimization problems in graph theory : in honor of Gregory Z. Gutin's 60th birthday
by Goldengorin, Boris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 511.5 GOL] (1).
|
|
|
3049.
|
Laboratory experiments in information retrieval : sample sizes, effect sizes, and statistical power
by Sakai, Tetsuya. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2018Availability: Items available for loan: [Call number: 025.04 SAK] (1).
|
|
|
3050.
|
Formal verification of floating-point hardware design : a mathematical approach
by Russinoff, David M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 004.0151 RUS] (1).
|
|
|
3051.
|
Theoretical numerical analysis : a functional analysis framework
by Atkinson, Kendall | Han, Weimin [aut]. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht : Springer, 2009Availability: Items available for loan: [Call number: 515.7 ATK] (1).
|
|
|
3052.
|
Static timing analysis for nanometer designs : a practical approach
by Bhasker, J | Chadha, Rakesh [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: 621.3815 BHA] (1).
|
|
|
3053.
|
Model theory: an introduction
by Marker, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2010Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
|
3054.
|
Introduction to Plasma Physics and Controlled Fusion
by Chen, Francis F. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016Availability: No items available Checked out (1).
|
|
|
3055.
|
Digital marketplaces unleashed
by Linnhoff-Popien, Claudia [edt] | Schneider, Ralf [edt] | Zaddach, Michael [edt]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Germany : Springer, 2018Availability: Items available for loan: [Call number: 004.6 LIN] (1).
|
|
|
3056.
|
Requirements engineering : Fundamentals, principles, and techniques
by Pohl, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2010Availability: Items available for loan: [Call number: 005.12 POH] (1).
|
|
|
3057.
|
Patent law for computer scientists : steps to protect computer implemented inventions
by Closa, Daniel | Gardiner, Alex | Giemsa, Falk | Machek, Jorg. Publisher: Berlin Springer 2010Availability: Items available for loan: [Call number: 346.0486 CLO] (1).
|
|
|
3058.
|
Parameterized algorithms
by Cygan, Marek | Fomin, Fedor V [aut] | Kowalik, Łukasz [aut] | Lokshtanov, Daniel [aut] | Marx, Daniel [aut] | Pilipczuk, Marcin [aut] | Pilipczuk, Michał [aut] | Saurabh, Saket [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Availability: No items available Checked out (1).
|
|
|
3059.
|
Recommender systems handbook
by Ricci, Francesco | Rokach, Lior. Edition: 2nd Publisher: New York Springer 2015Availability: Items available for loan: [Call number: 006.33 RIC] (1).
|
|
|
3060.
|
The DelFly: Design, Aerodynamics, and Artificial Intelligence of a Flapping Wing Robot
by de Croon, G.C.H.E. Publisher: Springer 2016Availability: No items available
|
