Results of search for 'ccl=pl:"NEW YORK"' › the IMAR Library catalog

Results
	41.	No cover image available Variational analysis and generalized differentiation Boris S. Mordukhovich by Mordukhovich, B. Sh Series: Grundlehren der mathematischen Wissenschaften ; 330-331 Publication details: New York Springer 2006 Availability: Items available for loan: IMAR (1)Call number: II 35167. Place hold Add to cart (remove)
	42.	General theory of lie groupoids and lie algebroids Kirill C.H. Mackenzie by Mackenzie, K Series: London Mathematical Society lecture note series ; 213 Publication details: Cambridge New York Cambridge University Press 2005 Online resources: Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: IMAR (1)Call number: II 35169. Place hold Add to cart (remove)
	43.	Compact Riemann surfaces an introduction to contemporary mathematics Jèurgen Jost by Jost, Jèurgen Series: Universitext Edition: 3d [rev. and exp.] ed Publication details: Berlin New York Springer 2006 Online resources: Table of contents only Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35170. Place hold Add to cart (remove)
	44.	Sheaves in geometry and logic: A first introduction to topos theory Saunders Mac Lane, Ieke Moerdijk by Mac Lane, Saunders Moerdijk, Ieke Series: Universitext Publication details: New York Springer-Verlag c1992 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	45.	Introduction to process algebra Wan Fokkink by Fokkink, Wan Series: Texts in theoretical computer science Publication details: Berlin New York Springer c2000 Availability: Items available for loan: IMAR (1)Call number: II 35173. Place hold Add to cart (remove)
	46.	Fundamentals of algebraic graph transformtion H. Ehrig ... [et al.] by Ehrig, Hartmut Series: Monographs in theoretical computer science Publication details: Berlin New York Springer c2006 Availability: Items available for loan: IMAR (1)Call number: II 35174. Place hold Add to cart (remove)
	47.	Model theory Wilfrid Hodges by Hodges, Wilfrid Series: Encyclopedia of mathematics and its applications ; v. 42 Publication details: Cambridge [England] New York Cambridge University Press 1993 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (2)Call number: II 35175, ... Place hold Add to cart (remove)
	48.	Categories for the working mathematician Saunders Mac Lane by Mac Lane, Saunders Series: Graduate texts in mathematics ; 5 Edition: 2nd ed Publication details: New York Springer c1998 Availability: Items available for loan: IMAR (2)Call number: II 35176, ... Place hold Add to cart (remove)
	49.	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)
	50.	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)
	51.	A new introduction to modal logic G.E. Hughes and M.J. Cresswell by Hughes, G. E Cresswell, M. J Publication details: London New York Routledge 1996 Availability: Items available for loan: IMAR (1)Call number: II 35179. Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	52.	Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.) by Goguen, Joseph Futatsugi, Kokichi Jouannaud, Jean-Pierre Meseguer, José Series: Lecture notes in computer science ; 4060 Publication details: Berlin New York Springer-Verlag c2006 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: 512-XXX-14. Place hold Add to cart (remove)
	53.	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)
	54.	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)
	55.	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)
	56.	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)
	57.	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)
	58.	Membrane computing 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, revised, selected, and invited papers Hendrik Jan Hoogeboom (ed.) by Hoogeboom, Hendrik Jan Series: Lecture notes in computer science ; vol. 4361 Edition: 1st ed Publication details: Berlin, New York: Springer, c2007 Online resources: Table of contents Availability: Items available for loan: IMAR (1)Call number: II 35190. Place hold Add to cart (remove)
	59.	Mathematical modeling in continuum mechanics Roger Temam, Alain Miranville by Temam, Roger Miranville, Alain Edition: 2nd ed Publication details: Cambridge, UK New York Cambridge University Press 2005 Online resources: Table of contents only Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35199. Place hold Add to cart (remove)
	60.	The physics of phase transitions concepts and applications P. Papon, J. Leblond, P. H. E. Meijer ; translated from the French by S.L. Schnur by Papon, Pierre Leblond, Jacques Meijer, Paul Herman Ernst, 1921- Edition: 2nd rev. ed Publication details: Berlin New York Springer-Verlag c2006 Availability: Items available for loan: IMAR (1)Call number: II 35202. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7296 results.