Search results for "Cambridge"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Jan Wolenski	Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp, ISBN 0 521 53361 9.	Stud Logica	2005	DBLP DOI BibTeX RDF
27	Nachum Dershowitz	Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6.	Theory Pract. Log. Program.	2005	DBLP DOI BibTeX RDF
27	Edgar N. Sánchez	Cellular neural networks and visual computing: Leon O. Chua, Tamás Roska, Cambridge University Press, Cambridge 2002, ISBN: 0-521-65247-2.	Autom.	2004	DBLP DOI BibTeX RDF
27	John C. Tipper	Geodynamics, 2nd Edition, : D.L. Turcotte and G. Schubert (Eds.); Cambridge University Press, Cambridge, 2002, price $110.00 hardback, ISBN 0-521-66186-2; price $45.00, paperback, ISBN 0-521-66624-4.	Comput. Geosci.	2004	DBLP DOI BibTeX RDF
27	Frits Agterberg	Time-Series Analysis and Cyclostratigraphy: Graham Weedon, Cambridge University Press, Cambridge, 2003, 259pp, Hardback 0-521-62001-5, US$70.00.	Comput. Geosci.	2004	DBLP DOI BibTeX RDF
27	Roger Bivand	Spatial Data Analysis: Theory and Practice. By Robert Haining (Cambridge: Cambridge University Press, 2003) ISBN 0-521-77437-3.	Int. J. Geogr. Inf. Sci.	2004	DBLP DOI BibTeX RDF
27	J. L. Enos	Philip Mirowski, Machine Dreams: Economics Becomes a Cyborg Science, Cambridge University Press, Cambridge, MA, 2002, pp. xiv + 655, US$37.00, ISBN 0-521-77283-4.	Inf. Econ. Policy	2004	DBLP DOI BibTeX RDF
27	Luc T. Wille	Review of "Learning Kernel Classifiers: Theory and Algorithms by Ralf Herbrich." MIT Press, Cambridge, Mass., 2002. ISBN 026208306X, 384 pages; and Review of "Learning with Kernels: Support Vector Machines, Regularization Optimization and Beyond by Bernhard Scholkopf and Alexander J. Smola." IT Press, Cambridge, Mass., 2002, ISBN 0262194759, 644 pages.	SIGACT News	2004	DBLP DOI BibTeX RDF
27	Jeff Heisserman	Exploring the Future of Design: Formal Engineering Design Synthesis, Erik K. Antonsson, Jonathan Cagan (Eds.); Cambridge University Press, Cambridge UK, 2001, 496 pages, hardbound, ISBN 0-521-79247-9.	Comput. Aided Des.	2004	DBLP DOI BibTeX RDF
27	Christian Babski, Stéphane Carion, Christophe Guignard, Patrick Keller	_knowscape mobile at DIS2004, Cambridge.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	microarchitecture, multi-users system, knowledge spaces
27	Wim Wiegerinck	Clinical Applications of Artificial Neural Networks: Richard Dybowski, Vanya Gant (Eds.), Cambridge University Press, Cambridge, UK, New York, Oakleigh, Madrid, Cape Town, 2001, 378 pp., 55 figures, 25 tables, Hardcover, ISBN 0521662710.	Artif. Intell. Medicine	2003	DBLP DOI BibTeX RDF
27	P. Daniel Hestand	Review of Modal logic: Cambridge tracts in theoretical computer science #53 by Patrick Blackburn, Maarten de Rijke, and Yde Venema. Cambridge University Press 2001.	SIGACT News	2003	DBLP DOI BibTeX RDF
27	Ehud Reiter	The Spoken Language Translator - M. Rayner, D. Carter, P. Bouillon, V. Digalakis, M. Wirn (Eds.), Studies in Natural Language Processing Series, Cambridge University Press, Cambridge, UK, 2000, ISBN 0521770777.	Artif. Intell. Medicine	2002	DBLP DOI BibTeX RDF
27	Fabio Gómez-Estern	Computational principles of mobile robotics: Gregory Dudek and Michael Jenkin; Cambridge University Press, Cambridge, 2000, ISBN: 0-521-56021-7.	Autom.	2002	DBLP DOI BibTeX RDF
27	Andrzej K. Konopka	Mathematics of Genome Analysis: Jerome K. Percus, Cambridge University Press, Cambridge, 2002. Paperback, ISBN 0-521-58526-0, 139Pp.	Comput. Chem.	2002	DBLP DOI BibTeX RDF
27	Alex M. Andrew	Nonlinear and Nonstationary Signal Processing, edited by W.J. Fitzgerald, R.L. Smith, A.T. Walden and P.C. Young, Cambridge University Press, Cambridge, 2000, ISBN 0-521-80044-7.	Robotica	2002	DBLP DOI BibTeX RDF
27	Adrian Bowyer	LEDA - a platform for combinatorial and geometric computing Kurt Mehlhorn and Stefan Näher, Cambridge University Press, Cambridge, UK, 1999, 1018 pages, ISBN 0-521-56329-1.	Comput. Aided Des.	2002	DBLP DOI BibTeX RDF
27	Steven M. Miller 0003	Bob Snyder: Music and Memory: An Introduction Softcover, 2000, ISBN 0-262-69237-6, 291 pages, illustrated, glossary, bibli-ography/references, index, appendix: listening examples; The MIT Press, 5 Cambridge Center, Cambridge, Massachusetts 02142-1493, USA; telephone (+1) 800-356-0343; electronic mail mitpress-order@mit.edu; World Wide Web mitpress.mit.edu/.	Comput. Music. J.	2002	DBLP DOI BibTeX RDF
27	Ian Whalley	Jürgen Bräuninger, Curator: Southern Cones: Music Out of Africa and South America Compact disc, Leonardo Music Journal CD Series Volume 10, 2000; available from Leonardo, The MIT Press Journals, Five Cambridge Cen-ter, Cambridge, Massachusetts 02142-1493, USA; telephone (+1) 800-356-0343; electronic mail journals-orders@mit.edu; Web muse.jhu.edu/journals/lmj/.	Comput. Music. J.	2002	DBLP DOI BibTeX RDF
27	Ram Shanmugam	Causality: Models, Reasoning, and Inference : Judea Pearl; Cambridge University Press, Cambridge, UK, 2000, pp 384, ISBN 0-521-77362-8.	Neurocomputing	2001	DBLP DOI BibTeX RDF
27	Pius ten Hacken	Andrew Radford. Syntactic Theory and the Structure of English: A minimalist approach. Cambridge University Press, 1997. £18.95, ISBN 0-521-47707-7. Andrew Radford. Syntax: A minimalist introduction. Cambridge University Press, 1997. £14.95, ISBN 0-521-58914-2.	Nat. Lang. Eng.	2001	DBLP BibTeX RDF
27	Alex M. Andrew	Multiple View Geometry in Computer Vision, by Richard Hartley and Andrew Zisserman, Cambridge University Press, Cambridge, 2000, xvi+607 pp., ISBN 0-521-62304-9 (hardback, £60.00).	Robotica	2001	DBLP DOI BibTeX RDF
27	Milan Jevtic	Optimal Reliability Design: Fundamentals and Applications; Way Kuo, Rajendra Prasad, Frank A. Tillman, Ching-Lai Mwang. Cambridge University Press, Cambridge, 2001, 389+XXI pp. ISBN: 0-521-78127-2 (hardbound).	Microelectron. Reliab.	2001	DBLP DOI BibTeX RDF
27	Barry Truax, Laurie Radford	Barry Truax, editor: Handbook of Acoustic Ecology, 2nd edition (CD-ROM version) CD-ROM, 1999; Cambridge Street Records, 4346 Cambridge Street, Burnaby, British Columbia V5C 1H4, Canada	Comput. Music. J.	2001	DBLP DOI BibTeX RDF
27	Robert Scott Thompson	Richard Boulanger, editor: The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming Softcover, 2000, ISBN 0-262-52261-6, 740 pages, illustrated, appendices, bibliography, discography, index, CD-ROMs (2); The MIT Press, 5 Cambridge Center, Cambridge, Mas-sachusetts 02142-1493, USA; tele-phone (800) 356-0343; electronic mail mitpress-orders@mit.edu; World Wide Web mitpress.mit.edu.	Comput. Music. J.	2001	DBLP DOI BibTeX RDF
27	James William Sobaskie	Douglas Kahn: Noise, Water, Meat: A History of Sound in the Arts Hardcover, 1999, ISBN 0-262-11243-4, 455 pages, illustrated, notes, in-dex; The MIT Press, 5 Cambridge Center, Cambridge, Massachusetts 02142-1493, USA; telephone (800) 356-0343; electronic mail mitpress-orders@mit.edu; World Wide Web mitpress.mit.edu.	Comput. Music. J.	2001	DBLP DOI BibTeX RDF
27	T. D. Wilson 0001	Digital library books - Review of: William Y. Arms. Digital libraries. Cambridge, MA, London: MIT Press, 2000. xi, 287 pp. ISBN 0-262-01180-8; Christine L. Borgman. From Gutenberg to the global information infrastructure. Access to information in the networked world. Cambridge, MA, London: MIT Press, 2000. xviii, 324 pp. ISBN 0-262-02473-X; Michael Lesk. Practical digital libraries: books, bytes and bucks. San Francisco, CA: Morgan Kaufman Publishers, 1997. xxii, 297 pp. ISBN 1-55860-450-6.	Inf. Res.	2000	DBLP BibTeX RDF
27	Arjen Siegmann	Worldwide Asset and Liability Modeling; W.T. Ziemba and J.M. Mulvey (eds.); Cambridge University Press, Cambridge, 1998, ISBN: 0-521-57187-1, hardback (US$ 95.00).	Eur. J. Oper. Res.	2000	DBLP DOI BibTeX RDF
27	Alex M. Andrew	An Introduction to Support Vector Machines and Other Kernel-Based Learning Methods by Nello Christianini and John Shawe-Taylor, Cambridge University Press, Cambridge, 2000, xiii+189 pp., ISBN 0-521-78019-5 (Hbk, £27.50).	Robotica	2000	DBLP DOI BibTeX RDF
27	Alex M. Andrew	Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science, by J.A. Sethian, Cambridge University Press, Cambridge, UK, 2nd edn 1999 (first published 1996 as Level Set Methods) xviii + 420 pp., ISBN (paperback) 0-521-64557-3, (hardback) 0-521-64204-3 (Pbk, £18.95).	Robotica	2000	DBLP DOI BibTeX RDF
27	Hossein Zand	The Mathematica Book, 4th edition: By Stephen Wolfram, Cambridge University Press and Wolfram Media, Cambridge, 1999, xxvi+1400 pp. Wolfram ISBN 1-57955-004-5, CUP ISBN 0-521-64314-7, £35.00 (paperback).	Comput. Educ.	2000	DBLP DOI BibTeX RDF
27	Eric S. Strother	Walter B. Hewlett and Eleanor Selfridge-Field, eds.: Melodic Similarity: Concepts, Procedures, and Applications The MIT Press, 1998, 244 pages, softcover, Computing in Musicolog vol. 11, illustrated, index, ISBN 0-262-58175-2; available from The MIT Press, Five Cambridge Center, Cambridge, Massachusetts 02142, USA; telephone (617) 253-5646; fax (6l7) 258-6779; electronic mail books@mit.edu; World Wide Web mitpress.mit.edu/book-home.tcl ?isbn=0262581752.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
27	Anthony De Ritis	Perry R. Cook, ed.: Music, Cognition, and Computerized Sound: An Introduction to Psychoacoustics MIT Press, 1999, 372 pages, hardcover, sound examples on CD, illustrated, suggested problems and lab exercises, references, index, ISBN 0-262-03256-2; available from MIT Press, Five Cambridge Center, Cambridge, Massachusetts 02142, USA; telephone (617) 253-5646; fax (6l7) 258-6779; electronic mail books@mit.edu; World Wide Web mitpress.mit.edu/book-home.tcl ?isbn=0262032562.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
27	Davide Sangiorgi	Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.	Sci. Comput. Program.	2000	DBLP DOI BibTeX RDF
27	Mayumi Masuko	Nomi Erteschik-Shir, The Dynamics of Focus Structure. Cambridge: Cambridge University Press, 1997. ISBN 0 521 59217 8, Price £40.00/$64.96 (hardback), 280+xiv pages.	Nat. Lang. Eng.	1999	DBLP DOI BibTeX RDF
27	J. A. Prescott	Geometry and Interpolation of Curves and Surfaces by Robin J. Y. Mcleod and M. Louisa Baart, Cambridge University Press, Cambridge, 1998, xiv + 414pp., index (£50; Hbk).	Robotica	1999	DBLP DOI BibTeX RDF
27	Eric D. Scheirer	Niall Griffith and Peter Todd, editors: Musical Networks: Parallel Distributed Perception and Performance Hardcover, 1999, 385 pages, ISBN 0-262-07181-9, illustrated, bibliography; The MIT Press, 5 Cambridge Center, Cambridge, Massachusetts 02142, USA; World Wide Web http: //mitpress.mit.edu.	Comput. Music. J.	1999	DBLP DOI BibTeX RDF
27	Warren Burt	Barry Truax: Song of Songs Compact disc, 1994, CSR-CD 9401; available from Cambridge Street Records, 4346 Cambridge St., Burnaby, British Columbia V5C 1H4, Canada; fax (604) 299-3864; World Wide Web http: //www.sfu.ca/∼truax/csr.htmlChristian Calon Les corps éblouis Compact disc, 1998, Empreintes DIGITALes IMED 9838; available from DIFFUSION i MéDIA, 4580 avenue de Lorimier, Montreal, Quebec H2H 2B5, Canada; electronic mail dim@cam.org; World Wide Web http: //www.cam.org/∼dim/.	Comput. Music. J.	1999	DBLP DOI BibTeX RDF
27	Mayumi Masuko	Bas Aarts and Charles F. Meyer, editors, The Verb in Contemporary English: Theory and Description. Cambridge: Cambridge University Press, 1995. ISBN 0 521 46039 5, $37.50/$59.95 (hardback, 313 pages).	Nat. Lang. Eng.	1998	DBLP BibTeX RDF
27	Hans Dybkjær	Michael L. Geis, Speech Acts and Conversational Interaction. Cambridge: Cambridge University Press, 1995. ISBN 0 521 46499 4 (hardback). £37.50. xiv+248 pages.	Nat. Lang. Eng.	1998	DBLP BibTeX RDF
27	Malcolm Farrow	J. B. Paris, The Uncertain Reasoner's Companion: A Mathematical Perspective. Cambridge University Press, Cambridge, 1994. ISBN 0-521-46089-1.	Nat. Lang. Eng.	1998	DBLP BibTeX RDF
27	Mayumi Masuko	Frank Palmer, editor. Grammar and Meaning: Essays in Honour of Sir John Lyons. Cambridge: Cambridge University Press, 1995. ISBN: 0 521 46221 5, £37.50 (hardback), 265+xiii pages.	Nat. Lang. Eng.	1998	DBLP BibTeX RDF
27	D. T. Pham	Control System Dynamics by R.N. Clark, Cambridge University Press, Cambridge, 1996, 509 pp., ISBN 0-521-47239-3 (£50; Hbk).	Robotica	1998	DBLP DOI BibTeX RDF
27	Zoltán Nagy	Davenport-Schinzel Sequences and their Geometric Applications by Micha Sharir and Pankaj K. Agarwal, Cambridge University Press, Cambridge, UK, 1995, 372 pp (Hbk £35).	Robotica	1998	DBLP DOI BibTeX RDF
27	John Hallam	Book Review : The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot: An Experimental, Quantitative Evaluation by David Lee. Published by Cambridge University Press. Cambridge, Massachusetts. US$ 54.95.	Int. J. Robotics Res.	1998	DBLP DOI BibTeX RDF
27	Reinhard Nabben	Book Review: Matrices of Sign-Solvable Linear Systems by R. A. Brualdi and B. L. Shader. Cambridge University Press, 1995, Cambridge, ISBN: 0 521 48296 8 (hardback) Price #30.00 (US$ 49.95).	Numer. Linear Algebra Appl.	1997	DBLP DOI BibTeX RDF
27	Yakir Levin	George Boolos (ed.), Meaning and Method: Essays in Honor of Hilary Putnam, Cambridge, UK: Cambridge University Press, 1990.	Minds Mach.	1997	DBLP DOI BibTeX RDF
27	Bilge Say	Keith Devlin, Logic and Information. Cambridge, UK: Cambridge University Press, 1991. ISBN 0-521-49971-2, £19.95 (paperback) 0-521-41031-4 (hardback).	Nat. Lang. Eng.	1997	DBLP BibTeX RDF
27	Varol Akman	John Lyons, Linguistic Semantics: An Introduction. Cambridge, UK: Cambridge University Press, 1995. ISBN 0 521 43877 2 (paperback). ISBN 0 521 43302 9, Price £35.00 (hardback). xvii+376 pages.	Nat. Lang. Eng.	1997	DBLP DOI BibTeX RDF
27	Alex M. Andrew	The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot: An Experimental Quantitative Evaluation, by David Lee, Distinguished Dissertations in Computer Science Series, Cambridge University Press, Cambridge, 1996, xi+228 pp., ISBN 0-521-57331-9 (Hbk: £35).	Robotica	1997	DBLP DOI BibTeX RDF
27	Jean-Louis Gomard	The uncertain reasoner's companion: a mathematical perspective by J. B. Paris, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, UK, 1994, pp 212, £25.00, ISBN 0521 460891.	Knowl. Eng. Rev.	1996	DBLP DOI BibTeX RDF
27	Geoffrey Sampson	Barry J. Blake, Case. Cambridge: Cambridge University Press, 1994. ISBN 0521 44661 9 (paperback), 0521 44114 5 (hardback). xvii + 229 pp.	Nat. Lang. Eng.	1996	DBLP BibTeX RDF
27	Christine Doran, Bangalore Srinivas	Madeleine Bates and Ralph M. Weischedel (editors), Challenges in Natural Language Processing. Cambridge: Cambridge University Press, 1993. ISBN 0521 41015 0, US$54.95 (hardback), 307 pp.	Nat. Lang. Eng.	1996	DBLP BibTeX RDF
27	Laura Wagner	F. R. Palmer, Grammatical Roles and Relations. Cambridge: Cambridge University Press, 1994. ISBN 0 521 45836 6, £12.95 (paperback).	Nat. Lang. Eng.	1996	DBLP BibTeX RDF
27	Iain D. Craig	The Social And Interactional Dimensions Of Human-Computer Interfaces, edited by Peter J. Thomas, Cambridge Series on Human-Computer Interaction, CUP, Cambridge, 1995, 268 pages including contents and index (£35; Hbk).	Robotica	1996	DBLP DOI BibTeX RDF
27	Frank Margrave	Affine Analysis Of Image Sequences, by Larry S. Shapiro, Distinguished Dissertations in Computer Science, Cambridge University Press, Cambridge (UK), 1995, 210 pages incl. Index and Bibliography (Hbk, £30).	Robotica	1996	DBLP DOI BibTeX RDF
27	Iain D. Craig	Spatial Vision in Humans and Robots, edited by Laurence Harris and Michael Jenkin, Cambridge University Press, Cambridge, 1993, 448 pp., incl. index and references, (£35·00).	Robotica	1995	DBLP DOI BibTeX RDF
27	Ross J. Anderson (eds.)	Fast Software Encryption, Cambridge Security Workshop, Cambridge, UK, December 9-11, 1993, Proceedings	FSE	1994	DBLP DOI BibTeX RDF
27	Ren-ji Tao	On Finite Automaton One-Key Cryptosystems.	FSE	1993	DBLP DOI BibTeX RDF
27	Agnes Hui Chan, Richard A. Games, Joseph J. Rushanan	On Quadratic M-Sequences.	FSE	1993	DBLP DOI BibTeX RDF
27	Uwe Blöcher, Markus Dichtl	Fish: A Fast Software Stream Cipher.	FSE	1993	DBLP DOI BibTeX RDF
27	Phillip Rogaway, Don Coppersmith	A Software-Optimised Encryption Algorithm.	FSE	1993	DBLP DOI BibTeX RDF
27	Joan Daemen, René Govaerts, Joos Vandewalle	A New Approach to Block Cipher Design.	FSE	1993	DBLP DOI BibTeX RDF
27	Lars R. Knudsen	Practically Secure Feistel Cyphers.	FSE	1993	DBLP DOI BibTeX RDF
27	David J. Wheeler	A Bulk Data Encription Algorithm.	FSE	1993	DBLP DOI BibTeX RDF
27	Bruce Schneier	Description of a New Variable-Length Key, 64-bit Block Cipher (Blowfish).	FSE	1993	DBLP DOI BibTeX RDF
27	Jovan Dj. Golic	On the Security of Shift Register Based Keystream Generators.	FSE	1993	DBLP DOI BibTeX RDF
27	Ross J. Anderson	A Modern Rotor Machine.	FSE	1993	DBLP DOI BibTeX RDF
27	Burton S. Kaliski Jr., Matthew J. B. Robshaw	Fast Block Cipher Proposal.	FSE	1993	DBLP DOI BibTeX RDF
27	Claus-Peter Schnorr, Serge Vaudenay	Parallel FFT-Hashing.	FSE	1993	DBLP DOI BibTeX RDF
27	Bart Preneel	Design Principles for Dedicated Hash Functions.	FSE	1993	DBLP DOI BibTeX RDF
27	Nick MacLaren	Cryptographic Pseudorandom Numbers in Simulation.	FSE	1993	DBLP DOI BibTeX RDF
27	Michael Roe	Performance of Symmetric Ciphers and One-Way Hash Functions.	FSE	1993	DBLP DOI BibTeX RDF
27	Dieter Gollmann	Cryptanalysis of Clock Controlled Shift Registers.	FSE	1993	DBLP DOI BibTeX RDF
27	James L. Massey	SAFER K-64: A Byte-Oriented Block-Ciphering Algorithm.	FSE	1993	DBLP DOI BibTeX RDF
27	Hugo Krawczyk	The Shrinking Generator: Some Practical Considerations.	FSE	1993	DBLP DOI BibTeX RDF
27	William G. Chambers	Two Stream Ciphers.	FSE	1993	DBLP DOI BibTeX RDF
27	Xuejia Lai, Lars R. Knudsen	Attacks on Double Block Length Hash Functions.	FSE	1993	DBLP DOI BibTeX RDF
27	Andrew Klapper, Mark Goresky	2-Adic Shift Registers.	FSE	1993	DBLP DOI BibTeX RDF
27	Kaisa Nyberg	New Bent Mappings Suitable for Fast Implementation.	FSE	1993	DBLP DOI BibTeX RDF
27	Adina di Porto, William Wolfowicz	VINO: A Block Cipher Including Variable Permutations.	FSE	1993	DBLP DOI BibTeX RDF
27	Cunsheng Ding	The Differential Cryptanalysis and Design of Natural Stream Ciphers.	FSE	1993	DBLP DOI BibTeX RDF
27	Eli Biham	On Modes of Operation.	FSE	1993	DBLP DOI BibTeX RDF
27	T. Mark A. Lomas	Encrypting Network Traffic.	FSE	1993	DBLP DOI BibTeX RDF
27	Paul J. Krause	Formal methods in artificial intelligence by Allan Ramsay, Cambridge University Press, Cambridge, 1991, pp 289, £14.95 (paperback). ISBN 0 521 42421 6.Formalism in AI and computer science by Philip Leith, Ellis Horwood, Chichester, 1990, pp 225, £29.95. ISBN 013 325549 2.Formal techniques in artificial intelligence: a sourcebook by RB Banerji (Ed.), North Holland, Amsterdam, 1990, pp 437, Dfl 160.00. ISBN 0 444 88130 1.	Knowl. Eng. Rev.	1992	DBLP DOI BibTeX RDF
27	Roger M. Needham	Later Developments at Cambridge: Titan, Cap, and the Cambridge Ring.	IEEE Ann. Hist. Comput.	1992	DBLP DOI BibTeX RDF
27	Alex M. Andrew	Logic and Information by Keith Devlin Cambridge University Press, Cambridge, 1991, xii + 308 pp., (Hbk: £17.95).	Robotica	1992	DBLP DOI BibTeX RDF
27	Iain D. Craig	Design Theory and Computer Science by Subrata Dasgupta. Cambridge Tracts in Theoretical Computer Science 15, CUP, Cambridge, 1991, 425 pages (incl. bibliography and index) (£30.00).	Robotica	1992	DBLP DOI BibTeX RDF
27	Tony Owen	Logic and Information by Keith Devlin Cambridge University Press, Cambridge, 1991, 308 pages, including index (£17.95).	Robotica	1992	DBLP DOI BibTeX RDF
27	Tony Owen	Images and Understanding edited by Horace Barlow, Colin Blakemore and Mianda Weston-Smith Cambridge University Press, Cambridge, 09, 1990 [paperback 0-521-36944-4] 401 pages, including index (hbk £45.00; pb £15.00).	Robotica	1992	DBLP DOI BibTeX RDF
27	Joseph O'Rourke	Book Review: Intersection and Decomposition Algorithms for Planar Arrangements, by Pankaj K. Agarwal. (Cambridge University Press, Cambridge, 1991 . xvii+277 pp . $39.50 cloth. ISBN 0-521-40446-0).	SIGACT News	1992	DBLP DOI BibTeX RDF
27	Michael J. Gilmartin	Freedom Of Machinery-Volume 2: Screw Theory Exemplified by Jack Phillips Cambridge University Press, Cambridge, 1990, 251 pp., proper names and subject indices, bibliography. (£50).	Robotica	1991	DBLP DOI BibTeX RDF
27	Philip E. Agre	Lucy A. Suchman, Plans and Situated Actions: The Problem of Human-Machine Commuinication (Cambridge University Press, Cambridge 1987).	Artif. Intell.	1990	DBLP DOI BibTeX RDF
27	DeLos F. DeTar	Expert Systems 85: Edited by Martin Merry, Cambridge University Press, Cambridge, England, 1986. ISBN 0-521-32596-X, 334 pp., no index.	Comput. Chem.	1989	DBLP DOI BibTeX RDF
27	DeLos F. DeTar	Numerical Recipes: By William H. Press, Brian P. Flannery, Saul A. Teukolsky and William T. Vetterling, Cambridge University Press, Cambridge, England, 1986.	Comput. Chem.	1989	DBLP DOI BibTeX RDF
27	J. A. Esrom	Research and Development in Expert Systems V, edited by B. Kelly and A. Rector Cambridge University Press, Cambridge, UK, 1989, 359 pp. (£30).	Robotica	1989	DBLP DOI BibTeX RDF
27	Iain D. Craig	The Making Of Cognitive Science (Essays in honor of George A. Miller) edited by William Hirst, Cambridge U.P., Cambridge, UK, 1988, 284 pages (incl. name and subject indices) (£25.00).	Robotica	1989	DBLP DOI BibTeX RDF
27	Iain D. Craig	Computer Simulation In Brain Science edited by Rodney M. J. Cotterill Cambridge University Press, Cambridge, UK, 1988, 566 pages, including name and subject indices (£50.00).	Robotica	1989	DBLP DOI BibTeX RDF
27	Iain D. Craig	Systemic Text Generation as Problem Solving by Terry Pattern Cambridge University Press, Cambridge, 1988 (£25.00 hardback).	Robotica	1988	DBLP DOI BibTeX RDF
27	Iain D. Craig	Machine Translation Systems edited by Johnathan Slocum Cambridge University Press, Cambridge, 1988 (£9.50 paperback; £27.50 hardback).	Robotica	1988	DBLP DOI BibTeX RDF