|
|
281.
|
Introduction to the theory of computation
by Sipser, Michael. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Brooks/Cole, 1997Availability: Items available for loan: [Call number: 511.3 SIP] (2).
|
|
|
282.
|
Handbook of Logic and Proof Techniques for Computer Science
by Krantz, Steven G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
|
283.
|
Computational complexity theory
by Rudich, Steven | Wigderson, Avi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 2004Availability: Items available for loan: [Call number: 511.352 RUD] (1).
|
|
|
284.
|
Communication Complexity and Parallel Computing
by Hromkovic, Juraj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 HRO] (1).
|
|
|
285.
|
Introduction to bioinformatics
by Lesk, Arthur M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York Oxford University Press 2002Availability: Items available for loan: [Call number: 570.285 LES] (1).
|
|
|
286.
|
Introduction to computational learning theory
by Kearns, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge MIT Press 1994Availability: Items available for loan: [Call number: 006.3 KEA] (1).
|
|
|
287.
|
Digital heritage reconstruction using super-resolution and inpainting
by Padalkar, Milind G | Joshi, Manjunath V | Khatri, Nilay L | Barsky, Brian A [ed.]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley Morgan & Claypool 2017Availability: Items available for loan: [Call number: 006.6 PAD] (2).
|
|
|
288.
|
Nominal sets : names and symmentry in computer science
by Pitts, Andrew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: [Call number: 005.13 PIT] (1).
|
|
|
289.
|
Computational systems biology of Synaptic plasticity : modelling of biochemical pathways related to memory formation and impairement
by Kulasiri, Don | He, Yao. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: World Scientific, 2017Availability: Items available for loan: [Call number: 570.113 KUL] (1).
|
|
|
290.
|
Sets and computations
by Friedman, Sy D | Raghavan, Dilip | Yang, Yue. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific Publishing, 2017Availability: Items available for loan: [Call number: 511.322 FRI] (1).
|
|
|
291.
|
Natural complexity : a Modeling handbook
by Charbonneau, Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2017Availability: Items available for loan: [Call number: 501 CHA] (1).
|
|
|
292.
|
Handbook on computational intelligence
by Angelov, Plamen Parvanov. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific, 2016Availability: Items available for loan: [Call number: 006.33 ANG] (2).
|
|
|
293.
|
Computational intelligence applications in smart grids : enabling methodologies for proactive and self-organizing power systems
by Zobaa, Ahmed F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London Imperial College Press 2015Availability: Items available for loan: [Call number: 006.3 ZOB] (1).
|
|
|
294.
|
Genetic algorithm essentials
by Kramer, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2017Availability: Items available for loan: [Call number: 519.625 KRA] (1).
|
|
|
295.
|
Automatic tuning of compilers using machine learning
by Ashouri, A.H | Palermo, Gianluca | Cavazos, John | Silvano, Cristina. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 005.4 ASH] (1).
|
|
|
296.
|
Artificial intelligence : foundations of computational agents
by Poole, David L | Mackworth, Alan K. Edition: 2nd ed. Publisher: Cambridge : Cambridge University Press, 2017Availability: Items available for loan: [Call number: 006.3 POO] (1).
|
|
|
297.
|
Common sense, the turing test, and the quest for real AI
by Levesque, Hector J. Edition: First MIT Press paperback edition. Publisher: Cambridge: MIT Press, 2018Availability: Items available for loan: [Call number: 006.301 LEV] (1).
|
|
|
298.
|
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).
|
|
|
299.
|
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).
|
|
|
300.
|
Semisupervised learning in computational linguistics
by Abney, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton : Chapman & Hall/CRC, 2008Availability: Items available for loan: [Call number: 410.285 ABN] (1).
|
