Refine your search

Your search returned 2090 results.

Practical formal software engineering : wanting the software you get / Bruce Mills.

by Mills, Bruce, 1962- [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.1 M624 2012] (1).

Place hold
Functional programming using F# / Michael R. Hansen and Hans Rischel.

by Hansen, Michael R [author] | Rischel, Hans [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2013Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.114 H198 2013] (1).

Place hold
Practical foundations for programming languages / Robert Harper.

by Harper, Robert [author].

Language: English Publisher: Cambrdige: Cambridge University Press, c2013Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.13 H231 2013] (1).

Place hold
Turbulent premixed flames / edited by Nedunchezhian Swaminathan, K. N. C. Bray.

by Swaminathan, Nedunchezhian | Bray, K. N. C. (Kenneth Noel Corbett), 1929-.

Language: English Publisher:  Cambridge :  Cambridge University Press, 2012Online access: Full text available from Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 541.361 T842 2011] (1).

Place hold
ML for the working programmer / Lawrence C. Paulson.

by Paulson, Lawrence C [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.133 P285 2012 ] (1).

Place hold
Analytic combustion : with thermodynamics, chemical kinetics and mass transfer / Anil W. Date.

by Date, Anil W. (Anil Waman).

Language: English Publisher: Cambridge : Cambridge University Press, 2011Online access: Full text available from Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 541.361015118 D262 2011] (1).

Place hold
The Standard ML basis library / edited by Emden R. Gansner, John H. Reppy.

by Gansner, Emden R, 1950- | Reppy, John H.

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.133 St242 2012] (1).

Place hold
Web data management / Serge Abiteboul [and four others]

by Abiteboul, Serge.

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 005.7402854678 W38 2012] (1).

Place hold
Chemistry of fossil fuels and biofuels / Harold Schobert.

by Schobert, Harold H, 1943-.

Language: English Publisher: Cambridge Cambridge University Press, 2013Online access: Full text available from Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 553.2 Sch61 2013] (1).

Place hold
The quest for artificial intelligence : a history of ideas and achievements / Nils J. Nilsson.

by Nilsson, Nils J, 1933- [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2013Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 006.3 N599 2013] (1).

Place hold
Floods in a changing climate : risk management / Slobodan P. Simonović.

by Simonović, Slobodan P [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 363.34932 Si571 2012] (1).

Place hold
Understanding environmental pollution : a primer / Marquita K. Hill.

by Hill, Marquita K [author].

Edition: Second edition.Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 363.73 H55 2012] (1).

Place hold
Climate change : global risks, challenges and decisions / Katherine Richardson, Will Steffen, Diana Liverman ; additional authors, Terry Barker [and ten others] ; with contributions to chapters by Myles R. Allen [and many others].

by Richardson, Katherine, 1954- [author] | Allen, Myles R | Barker, Terry | Liverman, Diana | Steffen, Will.

Language: English Publisher: Cambridge: Cambridge University Press, c2011Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 363.73874 R393 2011] (1).

Place hold
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak.

by Kennedy, Juliette, 1955- | Kossak, Roman, 1953-.

Language: English Publisher: Cambridge: Cambridge University Press, c2011Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 510 Se73 2011] (1).

Place hold
Computation and automata / Arto Salomaa.

by Salomaa, Arto [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2013Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 511 Sa362 2013] (1).

Place hold
Finite ordered sets : concepts, results and uses / Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.

by Caspard, Nathalie [author] | Leclerc, Bruno | Monjardet, Bernard, 1938-.

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 511.32 C27 2012] (1).

Place hold
Set theory for the working mathematician / Krzysztof Ciesielski.

by Ciesielski, Krzysztof, 1957- [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 511.322 C487 2012] (1).

Place hold
A course on set theory / Ernest Schimmerling.

by Schimmerling, Ernest [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 511.322 Sch342 2012] (1).

Place hold
Combinatorics, automata, and number theory / edited by Valérie Berthé, Michel Rigo.

by Berthé, V. (Valérie), 1957- | Rigo, Michel.

Language: English Publisher: Cambridge: Cambridge University Press, c2013Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 511.6 C733 2013] (1).

Place hold
Algebra and geometry / Alan F. Beardon.

by Beardon, Alan F [author].

Language: English Publisher: Cambridge: Cambridge University Press, c2012Online access: Full text available at Cambridge University Press Click here to view Availability: Items available for loan: COLLEGE LIBRARY [Call number: 512 B38 2012] (1).

Place hold