|
1.
|
Automated theorem proving : theory and practice
by Newborn, Monty. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
|
|
2.
|
Handbook of automated reasoning, Volume 1
by Robinson, J. Alan | Voronkov, Andrei | Voronkov, Andrei. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 511.3 ROB] (1).
|
|
3.
|
Pattern discovery in bioinformatics
by Parida, Laxmi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2008Availability: Items available for loan: [Call number: 572.80285 PAR] (1).
|
|
4.
|
Software engineering and middleware : fourth international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 ; revised selected papers
by Mascolo, Cecilia | Gschwind, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GSC] (1).
|
|
5.
|
Brain-computer interfaces : principles and practice
by Wolpaw, Jonathan R | Wolpaw, Elizabeth Winter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2012Availability: Items available for loan: [Call number: 616.800285 WOL] (1).
|
|
6.
|
13th IEEE Computer Security Foundations Workshop
by Titsworth, Frances M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 005.8 TIT] (1).
|
|
7.
|
Dynamic pricing and automated resource allocation for complex information services : reinforcement learning and combinatorial auctions
by Schwind, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 330.0151 SCH] (1).
|
|
8.
|
Reinforcement learning : an introduction
by Sutton, Richard S | Barto, Andrew G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge, Massachusetts: MIT Press, 1998Availability: No items available Checked out (1).
|
|
9.
|
Democracy and fake news : information manipulation and post-truth politics
by Giusti, Serena ed | Piras, Elisa ed. Publisher: London : Routledge, 2021Availability: Items available for loan: [Call number: 302.23 GIU] (1).
|
|
10.
|
Racing green : how motorsport science can save the world
by Chapman, Kit. Publisher: UK : Bloomsbury Publishing, 2022Availability: No items available
|
|
11.
|
Doctor and the algorithm : promise, peril, and the future of health ai
by Graham, S. Scott. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Oxford University Press, 2022Availability: Items available for loan: [Call number: 610.28563 GRA] (1).
|
|
12.
|
Data and society : a critical introduction
by Beaulieu, Anne | Leonelli, Sabina. Publisher: Los Angeles : Sage, 2021Availability: Items available for loan: [Call number: 005.7 BEA] (1).
|