Results of search for 'ccl=su:"Computer"' › the IMAR Library catalog

Results
	141.	Foundations of logic and mathematics: Applications to computer science and cryptography Yves Nievergelt by Nievergelt, Yves Publication details: Boston Birkhauser c2002 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	142.	Computability and complexity theory Steven Homer, Alan L. Selman by Homer, Steven Selman, Alan L SpringerLink (Online service) Series: Springer ebooks collection \| Texts in computer science Edition: 2nd ed Publication details: New York Springer c2011 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	143.	P, NP, and NP-completeness the basics of computational complexity Oded Goldreich by Goldreich, Oded Publication details: New York Cambridge University Press 2010 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	144.	Color in computer vision: Fundamentals and applications Gevers, Theo; Gijsenij, Arjan; Geusebroek, Jan-Mark by Gevers, Theo Gijsenij, Arjan Geusebroek, Jan-Mark Publication details: Hoboken, NJ Wiley c2012 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	145.	Principles of model checking Christel Baier, Joost-Pieter Katoen by Baier, Christel Katoen, Joost-Pieter Publication details: Cambridge, Mass The MIT Press [2008] Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	146.	Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled by Clarke, E. M Grumberg, Orna Peled, Doron, 1962- Publication details: Cambridge, Mass MIT Press c1999 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	147.	Sensitivity of functionals with applications to engineering sciences proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983 edited by V. Komkov by American Mathematical Society Komkov, Vadim Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1984 Availability: Items available for loan: IMAR (1)Call number: 510 S 620/.0042-XXX. Place hold Add to cart (remove)
	148.	Eye tracking: A comprehensive guide to methods and measures Kenneth Holmqvist, Marcus Nystrom, Richard Andersson by Holmqvist, Kenneth Andersson, Richard Nystrom, Marcus Publication details: Oxford New York Oxford University Press 2011 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	149.	Alan Turing his work and impact S. Barry Cooper and J. van Leeuwen by Cooper, S. B Leeuwen, J. van Publication details: Waltham, MA Elsevier c2013 Availability: Items available for loan: IMAR (1)Call number: II 37222. Place hold Add to cart (remove)
	150.	Theoretical neuroscience: Computational and mathematical modeling of neural systems Peter Dayan and L.F. Abbott by Dayan, Peter Abbott, L. F Series: Computational neuroscience Publication details: Cambridge, Mass Massachusetts Institute of Technology Press c2001 Online resources: Table of contents Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	151.	The mathematics of encryption an elementary introduction Margaret Cozzens, Steven J. Miller by Cozzens, Margaret Miller, Steven J, 1974- Series: Mathematical world ; 29 Availability: Items available for loan: IMAR (1)Call number: II 37326. Place hold Add to cart (remove)
	152.	Computer graphics with Pascal Marc Berger by Berger, Marc Series: The Benjamin/Cummings series in computing and information sciences Publication details: Menlo Park, Calif Benjamin/Cummings Pub. Co c1986 Availability: Items available for loan: IMAR (1)Call number: IV 37292. Place hold Add to cart (remove)
	153.	INTERLISP the language and its usage Stephen H. Kaisler by Kaisler, Stephen H Publication details: New York Wiley c1986 Availability: Items available for loan: IMAR (1)Call number: IV 37291. Place hold Add to cart (remove)
	154.	Interactive graphics in CAD. -- Gardan,Y;Lucas,M by Gardan, Yvon Lucas, Michel Publication details: London Kogan Page Feb.1984 Availability: No items available. Add to cart (remove)
	155.	Expert systems for civil engineers Knowledge representation prepared by the Committee on Expert Systems of the Technical Council on Computer Practices of the American Society of Civil Engineers ; edited by Robert H. Allen by Allen, Robert H, 1956- American Society of Civil Engineers Technical Council on Computer Practices Committee on Expert Systems Publication details: New York American Society of Civil Engineers c1992 Availability: Items available for loan: IMAR (1)Call number: IV 37283. Place hold Add to cart (remove)
	156.	Lisp Patrick Henry Winston, Berthold Klaus Paul Horn by Winston, Patrick Henry Horn, Berthold Edition: 3rd ed Publication details: Reading, Mass Addison-Wesley c1989 Availability: Items available for loan: IMAR (1)Call number: IV 37285. Place hold Add to cart (remove)
	157.	The World Wide Web for scientists & engineers a complete reference for navigating, researching & publishing online Brian J. Thomas by Thomas, Brian J Publication details: Bellingham, Wash New York SPIE Press IEEE Press c1998 Availability: Items available for loan: IMAR (1)Call number: IV 37280. Place hold Add to cart (remove)
	158.	Intermediate problem solving and data structures walls and mirrors Paul Helman, Robert Veroff by Helman, Paul Veroff, Robert Series: Benjamin/Cummings series in structured programming Publication details: Menlo Park, Calif Benjamin/Cummings Pub. Co c1986 Availability: Items available for loan: IMAR (1)Call number: IV 37278. Place hold Add to cart (remove)
	159.	Data structures using Modula--2 Richard F. Sincovec, Richard S. Wiener by Sincovec, Richard Wiener, Richard, 1941- Publication details: New York Wiley c1986 Availability: Items available for loan: IMAR (1)Call number: IV 37277. Place hold Add to cart (remove)
	160.	Modern computer algebra Joachim von zur Gathen, Jurgen Gerhard by Gathen, Joachim von zur Gerhard, Jurgen Edition: Third edition Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Titles

Your search returned 254 results.