|
4901.
|
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).
|
|
4902.
|
Connections in discrete mathematics : a celebration of the work of Ron Graham
by Butler, Steve | Cooper, Joshua | Hurlbert, Glenn H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Cambridge University Press, 2018Availability: Items available for loan: [Call number: 511.1 BUT] (1).
|
|
4903.
|
Statistical computing with R
by Rizzo, Maria L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Roton : CRC Press, 2019Availability: Items available for loan: [Call number: 519.50285 RIZ] (1).
|
|
4904.
|
Zero to one : notes on start ups, or how to build the future
by Thiel, Peter | Masters, Blake. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: United Kingdom : Penguin Random House, 2014Availability: Items available for loan: [Call number: 658.11 THI] (1).
|
|
4905.
|
Mathematics of Data
by Mahoney, Michael W [edt] | Duchi, John C [edt] | Gilbert, Anna C [edt]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: USA : American Mathematical Society, 2018Availability: Items available for loan: [Call number: 510 MAH] (1).
|
|
4906.
|
C++ templates: the complete guide
by Vandevoorde, David [Author] | Josuttis, Nicolai M [Author] | Gregor, Douglas [Author]. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Addison-Wesley, 2018Availability: Items available for loan: [Call number: 005.268 VAN] (1).
|
|
4907.
|
Multidimensional Mining of Massive Text Data
by Zhang, Chao [Author] | Han, Jiawei [Author]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: s.l. : Morgan & Claypool, 2019Availability: Items available for loan: [Call number: 006.312 ZHA] (1).
|
|
4908.
|
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).
|
|
4909.
|
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).
|
|
4910.
|
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).
|
|
4911.
|
Hands on machine learning with scikit learn and tensor flow : concepts,tools, and techniques to build intelligent systems
by Geron, Aurelien. Publisher: Beijing O'Reilly 2017Availability: No items available Checked out (1).
|
|
4912.
|
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).
|
|
4913.
|
Neural networks for robotics: an engineering perspective
by Arana Daniel, Nancy | Lopez Franco, Carlos | Alanis, Alma Y. Publisher: Boca Raton CRC press 2019Availability: Items available for loan: [Call number: 629.892632 ARA] (1).
|
|
4914.
|
digitalSTS : field guide for science and technology studies
by Vertesi, Janet | Ribes, David. Publisher: Princeton Princeton University Press 2019Availability: Items available for loan: [Call number: 006.312 VER] (1).
|
|
4915.
|
Formal verification of control system software
by Garoche, Pierre Loic. Publisher: Princeton Princeton University Press 2019Availability: Items available for loan: [Call number: 629.8 GAR] (1).
|
|
4916.
|
Computational geometry: an introduction
by Preparata, Franco P | Shamos, Michael Ian. Publisher: New York Springer 1985Availability: No items available Checked out (1).
|
|
4917.
|
Information theoretic security and privacy of information systems
by Schaefer, Rafael F | Boche, Holger. Publisher: Cambridge Cambridge University Press 2017Availability: Items available for loan: [Call number: 621.384 SCH] (1).
|
|
4918.
|
Matrix algebra : theory, computations, and applications in statistics
by Gentle, James E. Publisher: New York Springer 2007Availability: Items available for loan: [Call number: 512.9434 GEN] (1).
|
|
4919.
|
Practice of crowdsourcing
by Alonso, Omar. Publisher: San rafael Morgan and Claypool 2019Availability: Items available for loan: [Call number: 004.019 ALO] (1).
|
|
4920.
|
Digital geometry : geometric methods for digital picture analysis
by Klette, Reinhard | Rosenfeld, Azriel. Publisher: San Francisco Morgan Kaufmann 2004Availability: Items available for loan: [Call number: 006.6 KLE] (1).
|