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

Results
	1.	Stochastic simulation Brian D. Ripley by Ripley, Brian D Series: Wiley series in probability and mathematical statistics Publication details: New York Wiley 1987 Online resources: Publisher description Table of Contents Availability: Items available for loan: IMAR (1)Call number: II 35116. Place hold Add to cart (remove)
	2.	Process modelling and simulation with finite element methods William B.J. Zimmerman by Zimmerman, William B. J Series: Series on stability, vibration, and control of systems. Series A ; v. 15 Publication details: Singapore Hackensack, NJ World Scientific 2004 Online resources: Table of contents only Availability: Items available for loan: IMAR (1)Call number: II 35121. Place hold Add to cart (remove)
	3.	Computer algebra recipes for mathematical physics Richard H. Enns by Enns, Richard H Publication details: Boston Birkhèauser 2005 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35141. Place hold Add to cart (remove)
	4.	Contemporary cryptology Dario Catalano ... [et al.] by Catalano, Dario Series: Advanced courses in mathematics, CRM Barcelona Publication details: Basel Boston Birkhèauser Verlag c2005 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35144. Place hold Add to cart (remove)
	5.	CASL reference manual the complete documentation of the Common Algebraic Specification Language Peter D. Mosses (ed.) by Mosses, Peter Series: Lecture notes in computer science ; 2960 Publication details: Berlin New York Springer c2004 Other title: Common Algebraic Specification Language reference manual Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35177. Place hold Add to cart (remove)
	6.	CASL user manual introduction to using the Common algebraic specification language Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki by Bidoit, M Mosses, Peter Series: Lecture notes in computer science ; 2900 Publication details: Berlin New York Springer 2004 Availability: Items available for loan: IMAR (1)Call number: II 35178. Place hold Add to cart (remove)
	7.	Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers Martin Wirsing, Dirk Pattinson, Rolf Hennicker by Wirsing, M Pattinson, Dirk, 1970- Hennicker, Rolf, 1952- Series: Lecture notes in computer science ; 2755 Publication details: Berlin New York Springer-Verlag c2003 Availability: Items available for loan: IMAR (1)Call number: II 35183. Place hold Add to cart (remove)
	8.	Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers Fiadeiro, Josë Luiz (ed.) by Fiadeiro, Josë Luiz Series: Lecture notes in computer science ; 1589 Publication details: Berlin New York Springer c1999 Other title: WADT '98 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35185. Place hold Add to cart (remove)
	9.	Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers Francesco Parisi Presicce, (ed.) by Parisi Presice, Francesco Series: Lecture notes in computer science ; 1376 Publication details: Berlin New York Springer c1998 Availability: Items available for loan: IMAR (1)Call number: II 35184. Place hold Add to cart (remove)
	10.	Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings Jose Luiz Fiadeiro ... [et al.] (eds.) by Fiadeiro, José Luiz, 1961- Series: Lecture notes in computer science ; 3629 Publication details: Berlin New York Springer c2005 Other title: CALCO 2005 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35186. Place hold Add to cart (remove)
	11.	Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) by Fiadeiro, José Luiz, 1961- Mosses, Peter Orejas, F Series: Lecture notes in computer science ; 3423 Publication details: Berlin New York Springer c2005 Other title: WADT 2004 Online resources: Click here to access online Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35187. Place hold Add to cart (remove)
	12.	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers Maura Cerioli, Gianna Reggio (eds.) by Cerioli, Maura Reggio, Gianna, 1957- Series: Lecture notes in computer science ; 2267 Publication details: Berlin London Springer c2001 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35188. Place hold Add to cart (remove)
	13.	An introduction to data structures and algorithms J.A. Storer by Storer, James A Publication details: Boston New York Birkhèauser Springer c2002 Availability: Items available for loan: IMAR (1)Call number: II 34250. Place hold Add to cart (remove)
	14.	Interactive operations research with Maple methods and models Mahmut Parlar by Parlar, Mahmut Publication details: Boston Birkhauser c2000 Availability: Items available for loan: IMAR (1)Call number: 658.4/034/0285-PAR. Place hold Add to cart (remove)
	15.	Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 : proceedings Cristian S. Calude ... [et al.] (eds.) by Calude, Cristian, 1952- Series: Lecture notes in computer science ; 4135 Publication details: Berlin New York Springer c2006 Other title: UC 2006 Online resources: Table of contents only Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35163. Place hold Add to cart (remove)
	16.	Java 1.2 class libraries unleashed Krishna Sankar, et al by Sankar, Krishna Publication details: Indianapolis, IN SAMS c1999 Availability: Items available for loan: IMAR (1)Call number: II 34347. Place hold Add to cart (remove)
	17.	Multiset processing mathematical, computer science, and molecular computing points of view Cristian S. Calude ... [et al.] (eds.) by Calude, Cristian, 1952- Series: Lecture notes in computer science ; 2235 Publication details: Berlin New York Springer c2001 Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Current trends in theoretical computer science entering the 21st century edited by G. Pæaun, G. Rozenberg, A. Salomaa by Pæaun, Gheorghe, 1950- Rozenberg, Grzegorz Salomaa, Arto Publication details: Singapore River Edge, NJ World Scientific c2001 Availability: Items available for loan: IMAR (1)Call number: II 34441. Place hold Add to cart (remove)
	19.	Context-free grammars covers, normal forms, and parsing Anton Nijholt by Nijholt, Anton Series: Lecture notes in computer science ; 93 Publication details: Berlin New York Springer-Verlag 1980 Availability: Items available for loan: IMAR (1)Call number: II 34466. Place hold Add to cart (remove)
	20.	Hyperedge replacement grammars and languages A. Habel by Habel, A Series: Lecture notes in computer science ; 643 Publication details: Berlin New York Springer-Verlag c1992 Availability: Items available for loan: IMAR (1)Call number: II 34468. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Titles

Your search returned 254 results.