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

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	Logic, methodology and philosophy of science Proceedings by Suppes, Patrick, 1922- International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Academia Republicii Socialiste România Series: Studies in logic and the foundations of mathematics ; v. 74 Publication details: Amsterdam New York North-Holland Pub. Co American Elsevier Pub. Co 1973 Availability: Items available for loan: IMAR (1)Call number: II 34390. Place hold Add to cart (remove)
	11.	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)
	12.	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)
	13.	Results and trends in theoretical computer science colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings J. Karhumèaki, H. Maurer, G. Rozenberg (eds.) by Salomaa, Arto Karhumèaki, J Maurer, Hermann A, 1941- Rozenberg, Grzegorz Series: Lecture notes in computer science ; 812 Publication details: Berlin New York Springer-Verlag c1994 Availability: Items available for loan: IMAR (1)Call number: II 34471. Place hold Add to cart (remove)
	14.	Evolutionary programming VI 6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings Peter J. Angeline ... [et al.], (eds.) by Angeline, Peter J IEEE Neural Networks Council Series: Lecture notes in computer science Publication details: Berlin New York Springer c1997 Other title: Evolutionary programming six Evolutionary programming 6 Availability: Items available for loan: IMAR (1)Call number: II 34472. Place hold Add to cart (remove)
	15.	Current trends in theoretical computer science the challenge of the new century editors, G. Päun, G. Rozenberg, A. Salomaa vol. 1 by Pæaun, Gheorghe, 1950- Rozenberg, Grzegorz Salomaa, Arto Publication details: River Edge, NJ World Scientific Pub 2004 Availability: Items available for loan: IMAR (1)Call number: II 34519. Place hold Add to cart (remove)
	16.	Current trends in theoretical computer science the challenge of the new century editors, G. Päun, G. Rozenberg, A. Salomaa vol. 2 by Pæaun, Gheorghe, 1950- Rozenberg, Grzegorz Salomaa, Arto Publication details: River Edge, NJ World Scientific Pub 2004 Availability: Items available for loan: IMAR (1)Call number: II 34519. Place hold Add to cart (remove)
	17.	Neural networks for pattern recognition Christopher M. Bishop by Bishop, Christopher M Publication details: Oxford New York Clarendon Press Oxford University Press 1995 Availability: Not available: IMAR: Checked out (2). Place hold Add to cart (remove)
	18.	Computer networking for systems programmers Gerald D. Cole by Cole, Gerald D Series: Data communications and networking for computer programmers Publication details: New York Wiley c1990 Availability: Items available for loan: IMAR (1)Call number: II 34646. Place hold Add to cart (remove)
	19.	Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 : proceedings Cristian S. Calude ... [et al.] (eds.) by Calude, Cristian, 1952- Series: Lecture notes in computer science ; 3699 Publication details: Berlin New York Springer c2005 Other title: UC 2005 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 34869. Place hold Add to cart (remove)
	20.	Symbolic rewriting technique Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors by Bronstein, Manuel Grabmeier, Johannes Weispfenning, Volker, 1944- Series: Progress in computer science and applied logic ; v. 15 Publication details: Basel Boston Birkhèauser Verlag c1998 Availability: Items available for loan: IMAR (1)Call number: II 34177. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Places

Topics

Your search returned 114 results.