Results of search for 'ccl=su:"Science" and su-to:Computer science'

Results
	41.	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)
	42.	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)
	43.	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)
	44.	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)
	45.	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)
	46.	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)
	47.	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)
	48.	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)
	49.	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)
	50.	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)
	51.	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)
	52.	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)
	53.	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)
	54.	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)
	55.	Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : Revised Selected Papers Grzegorz Rozenberg, Arto Salomaa, Jose M. Sempere, Claudio Zandron (eds.). by Rozenberg, Grzegorz (ed.) Salomaa, Arto (ed.) Zandron, Claudio (ed.) Sempere, Jose M. (ed.) Series: Lecture notes in computer science Availability: Items available for loan: IMAR (1)Call number: 004.0151-ROZ. Place hold Add to cart (remove)
	56.	Multidisciplinary Creativity: homage to Gheorghe Paun on his 65th birthday Marian Gheorghe by Gheorghe, Marian Publication details: Bucuresti: Spandugino, 2015 Availability: Items available for loan: IMAR (1)Call number: 004.0151-GHE. Place hold Add to cart (remove)
	57.	Discrete Mathematics and Computer Science : In Memoriam Alexandru Mateescu (1952-2005) edited by Gheorghe Paun, Grzegorz Rosenberg, Arto Salomaa by Paun, Gheorghe Rosenberg, Grzegorz Salomaa, Arto Publication details: Bucuresti: Editura Academiei Romane, c2014 Availability: Items available for loan: IMAR (3)Call number: 004.0151-PAU-1, ... Place hold Add to cart (remove)
	58.	Fuzzy Control and Filter Design for Uncertain Fuzzy Systems Wudhichai Assawinchaichote, Sing Kiong Nguang, Peng Shi by [Peng Shi] [Wudhichai Assawinchaichote] [Sing Kiong Nguang,] Availability: Items available for loan: IMAR (1)Call number: 006-XXX. Place hold Add to cart (remove)
	59.	Identification of nonlinear systems using neural networks and polynomial models a block-oriented approach A. Janczak. by Janczak, A Series: Lecture notes in control and information sciences ; 310 Publication details: Berlin ; New York : Springer, 2004 Online resources: Publisher description Table of contents only Availability: No items available. Add to cart (remove)
	60.	No cover image available Intelligent Computing in Signal Processing and Pattern Recognition Huang, De-Shuang; Jo, Kang-Hyun; Bevilacqua, Vitoantonio by Huang, De-Shuang [Jo, Kang-Hyun;] [ Bevilacqua, Vitoantonio] Series: Lecture Notes in Control and Information Sciences. vol. 345 Publication details: Berlin Springer, 2006 Availability: Items available for loan: IMAR (1)Call number: 006.3-HUA-1. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 76 results.