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

Results
	61.	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)
	62.	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)
	63.	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)
	64.	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)
	65.	Neural and automata networks Eric Goles and Servet Martinez by Goles, Eric Martinez, Servet Series: Mathematics and its applications (Kluwer Academic Publishers) Publication details: Dordrecht Boston Kluwer c1990 Availability: Items available for loan: IMAR (1)Call number: 006.3-GOL. Place hold Add to cart (remove)
	66.	Discrete mathematics Norman L. Biggs by Biggs, Norman Edition: 2nd ed. Publication details: Oxford [England] New York Oxford University Press 1985 Availability: Items available for loan: IMAR (1)Call number: 511.1-BIG. Place hold Add to cart (remove)
	67.	Quantum computing since Democritus Scott Aaronson, Massachusetts Insitute of Technology by Aaronson, Scott Online resources: Cover image Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	68.	Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn by Harel, David Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge, Mass. MIT Press 2000 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	69.	Software Engineering vol. 2 Specification of Systems and Languages [electronic resource] Dines Bjorner by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Online resources: Click here to access online Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	70.	Software Engineering vol. 1 [electronic resource] : Abstraction and Modelling Dines Bjorner by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	71.	Support vector machines for pattern classification Shigeo Abe by Abe, Shigeo Series: Advances in pattern recognition Edition: 2nd ed. Publication details: London Springer-Verlag London Limited 2010 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	72.	Information retrieval SciFinder and SciFinder Scholar Damon D. Ridley. by Ridley, D. D Publication details: Chichester New York Wiley c2002 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 025.065-RID. Place hold Add to cart (remove)
	73.	E-learning and teaching in library and information services Barbara Allan by Allan, Barbara Publication details: London : Facet, 2002 Availability: Items available for loan: IMAR (1)Call number: 025.5-ALL. Place hold Add to cart (remove)
	74.	Zero to one : Notes on startups, or how to build the future Peter Thiel with Blake Masters by Thiel, Peter A Masters, Blake Edition: First edition. Publication details: London: Ebury Publishing, 2014 Online resources: Cover image Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	75.	Weakly connected neural networks Frank C. Hoppensteadt, Eugene M. Izhikevich. by Hoppensteadt, F. C Izhikevich, Eugene M Series: Applied mathematical sciences (Springer-Verlag New York Inc.) Publication details: New York Springer c1997 Online resources: Publisher description Table of contents only Availability: No items available. Add to cart (remove)
	76.	Handbook of logic and language edited by Johan van Benthem, Alice ter Meulen by Benthem, Johan van (ed.) Meulen, Alice G. B. ter. (ed.) Series: Elsevier Insights Edition: 2nd ed. Publication details: Amsterdam ; Boston : Elsevier, 2011 Availability: Items available for loan: IMAR (1)Call number: 401.5113-BEN. Place hold Add to cart (remove)
	77.	Neural-symbolic learning systems : Foundations and applications Artur S. d'Avila Garcez, Krysia B. Broda, and Dov M. Gabbay by D'Avila Garcez, Artur S Broda, Krysia Gabbay, Dov M Series: Perspectives in neural computing Publication details: London ; New York : Springer, c2002 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 006.32-D'A. Place hold Add to cart (remove)
	78.	The limits of mathematics : A course on information theory and limits of formal reasoning Gregory J. Chaitin by Chaitin, Gregory J Series: Springer series in discrete mathematics and theoretical computer science Publication details: [New York] : Springer, c1998 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 511.3-CHA-1. Place hold Add to cart (remove)
	79.	No cover image available Kalman filtering and neural networks edited by Simon Haykin by Haykin, Simon S Series: Adaptive and learning systems for signal processing, communications, and control Publication details: New York : Wiley, c2001 Online resources: Contributor biographical information Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 006.32-HAY. Place hold Add to cart (remove)
	80.	One hundred prisoners and a light bulb Hans van Ditmarsch, Barteld Kooi by Ditmarsch, Hans van Kooi, Barteld Pieter Publication details: Heidelberg: Springer, 2015 Other title: 100 prisoners and a light bulb Availability: Items available for loan: IMAR (1)Call number: 793.74-DIT. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Places

Topics

Your search returned 102 results.