出版社 OXFORD UNIVERSITY PRESS

Cover for Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy, Ohio State University) · Foundations without Foundationalism: A Case for Second-Order Logic - Oxford Logic Guides (Hardcover Book) (1991)

Foundations without Foundational... (1991)

Shapiro, Stewart (Professor of P...

Cover for Clay, James R. (Professor of Mathematics, Department of Mathematics, Professor of Mathematics, Department of Mathematics, University of Arizona, Tucson) · Nearrings: Geneses and Applications (Hardcover Book) (1992)

Nearrings: Geneses and Applications (1992)

Clay, James R. (Professor of Mat...

Cover for J. H. Wilkinson · The Algebraic Eigenvalue Problem - Numerical Mathematics and Scientific Computation (Paperback Book) (1988)

The Algebraic Eigenvalue Problem... (1988)

J. H. Wilkinson

Cover for Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK) · Sketches of an Elephant: A Topos Theory Compendium: Volume 1 - Oxford Logic Guides (Hardcover Book) (2002)

Sketches of an Elephant: A Topos... (2002)

Johnstone, Peter T. (, Reader in...

Cover for Burrage, Kevin (Professor in Computation Mathematics, Department of Mathematics, Professor in Computation Mathematics, Department of Mathematics, University of Queensland, Brisbane, Australia) · Parallel and Sequential Methods for Ordinary Differential Equations - Numerical Mathematics and Scientific Computation (Hardcover Book) (1995)

Parallel and Sequential Methods ... (1995)

Burrage, Kevin (Professor in Com...

Cover for Lunn · A First Course in Mechanics (Paperback Book) (1991)

A First Course in Mechanics (1991)

Cover for Pillay, Anand (, University of Illinois, USA) · Geometric Stability Theory - Oxford Logic Guides (Hardcover Book) (1996)

Geometric Stability Theory - Oxf... (1996)

Pillay, Anand (, University of I...

Cover for Will Light · Advances in Numerical Analysis: Volume I: Nonlinear Partial Equations and Dynamical Systems - Advances in Numerical Analysis (Hardcover Book) (1991)

Advances in Numerical Analysis: ... (1991)

Cover for Dierckx · Curve and Surface Fitting with Splines - Monographs on Numerical Analysis (Paperback Book) (1995)

Curve and Surface Fitting with S... (1995)

Cover for Borovik, Alexandre (Lecturer in Mathematics, Lecturer in Mathematics, University of Manchester Institute of Science and Technology) · Groups of Finite Morley Rank - Oxford Logic Guides (Hardcover Book) (1994)

Groups of Finite Morley Rank - O... (1994)

Borovik, Alexandre (Lecturer in ...

Cover for Neumann · Groups and Geometry (Paperback Book) (1994)

Groups and Geometry (1994)

Cover for Ellis, Graham (Lecturer in the Department of Mathematics, Lecturer in the Department of Mathematics, University College, Galway, Ireland) · Rings and Fields (Hardcover Book) (1992)

Rings and Fields (1992)

Ellis, Graham (Lecturer in the D...

Cover for Roe · Elementary Geometry (Paperback Book) (1993)

Elementary Geometry (1993)

Cover for Humphreys · A Course in Group Theory (Paperback Book) (1996)

A Course in Group Theory (1996)

Cover for Huxley, M. N. (Professor, Professor, University of Wales, Cardiff) · Area, Lattice Points, and Exponential Sums - London Mathematical Society Monographs (Hardcover Book) (1996)

Area, Lattice Points, and Expone... (1996)

Huxley, M. N. (Professor, Profes...

Cover for Baines, M. J. (Senior Lecturer in Mathematics, Senior Lecturer in Mathematics, University of Reading) · Moving Finite Elements - Numerical Mathematics and Scientific Computation (Hardcover Book) (1994)

Moving Finite Elements - Numeric... (1994)

Baines, M. J. (Senior Lecturer i...

Cover for Kaye, Richard (School of Mathematics and Statistics, School of Mathematics and Statistics, The University, Edgbaston, Birmingham) · Automorphisms of First-order Structures (Hardcover Book) (1994)

Automorphisms of First-order Str... (1994)

Kaye, Richard (School of Mathema...

Cover for Sloan, I. H. (, University of New South Wales) · Lattice Methods for Multiple Integration (Hardcover Book) (1994)

Lattice Methods for Multiple Int... (1994)

Sloan, I. H. (, University of Ne...

Cover for Prutton · Introduction to Surface Physics (Paperback Book) (1994)

Introduction to Surface Physics (1994)

Cover for Faraut, Jacques (Professor, Department of Mathematics, Professor, Department of Mathematics, Universite Pierre et Marie Curie, Paris) · Analysis on Symmetric Cones - Oxford Mathematical Monographs (Hardcover Book) (1994)

Analysis on Symmetric Cones - Ox... (1994)

Faraut, Jacques (Professor, Depa...

Cover for Maugin, Gerard (Head, Laboratoire de Modelisation en Mecanique, Head, Laboratoire de Modelisation en Mecanique, Universite Pierre et Marie Curie and CNRS, Paris) · Nonlinear Waves in Elastic Crystals - Oxford Mathematical Monographs (Hardcover Book) (1999)

Nonlinear Waves in Elastic Cryst... (1999)

Maugin, Gerard (Head, Laboratoir...

Cover for Naghdi · Non-linear Elasticity and Theoretical Mechanics: In Honour of A. E. Green (Hardcover Book) (1994)

Non-linear Elasticity and Theore... (1994)

Cover for John C. Baez · Knots and Quantum Gravity - Oxford Lecture Series in Mathematics and Its Applications (Hardcover Book) (1994)

Knots and Quantum Gravity - Oxfo... (1994)

Cover for Rahman, Qazi Ibadur (, Department of Mathematics and Statistics, University of Montreal, Canada) · Analytic Theory of Polynomials - London Mathematical Society Monographs (Hardcover Book) (2002)

Analytic Theory of Polynomials -... (2002)

Rahman, Qazi Ibadur (, Departmen...

Cover for Higgins, J. R. (Professor Emeritus, Professor Emeritus, Anglia Polytechnic University, Cambridge) · Sampling Theory in Fourier and Signal Analysis: Advanced Topics (Hardcover Book) (1999)

Sampling Theory in Fourier and S... (1999)

Higgins, J. R. (Professor Emerit...

Cover for Pasini, Antonio (Professor, Department of Mathematics, Professor, Department of Mathematics, University of Siena, Italy) · Diagram Geometries (Hardcover Book) (1994)

Diagram Geometries (1994)

Pasini, Antonio (Professor, Depa...

Cover for Mason, L. J. (, Mathematical Institute, Oxford) · Integrability, Self-duality, and Twistor Theory - London Mathematical Society Monographs (Hardcover Book) (1996)

Integrability, Self-duality, and... (1996)

Mason, L. J. (, Mathematical Ins...

Cover for Petrov, Valentin V. (Professor, Professor, St Petersburg University, St Petersburg, Russia) · Limit Theorems of Probability Theory: Sequences of Independent Random Variables - Oxford Studies in Probability (Hardcover Book) (1995)

Limit Theorems of Probability Th... (1995)

Petrov, Valentin V. (Professor, ...

Cover for Pressley, Andrew (Lecturer in Mathematics, Lecturer in Mathematics, King's College, London) · Loop Groups - Oxford Mathematical Monographs (Hardcover Book) (1986)

Loop Groups - Oxford Mathematica... (1986)

Pressley, Andrew (Lecturer in Ma...

Cover for J. W. P. Hirschfeld · Finite Projective Spaces of Three Dimensions - Oxford Mathematical Monographs (Hardcover Book) (1986)

Finite Projective Spaces of Thre... (1986)

J. W. P. Hirschfeld

Cover for Higman, Graham (Mathematical Institute, Mathematical Institute, University of Oxford) · Existentially Closed Groups - London Mathematical Society Monographs (Hardcover Book) (1988)

Existentially Closed Groups - Lo... (1988)

Higman, Graham (Mathematical Ins...

Cover for Leedham-Green, C.R. (, Professor of Pure Mathematics, Queen Mary, University of London) · The Structure of Groups of Prime Power Order - London Mathematical Society Monographs (Hardcover Book) (2002)

The Structure of Groups of Prime... (2002)

Leedham-Green, C.R. (, Professor...

Cover for Hoffman, P. N. (Professor, Professor, University of Waterloo, Canada) · Projective Representations of the Symmetric Groups: Q-Functions and Shifted Tableaux - Oxford Mathematical Monographs (Hardcover Book) (1992)

Projective Representations of th... (1992)

Hoffman, P. N. (Professor, Profe...

Cover for Pressley, Andrew (Lecturer in Mathematics, Lecturer in Mathematics, King's College, London) · Loop Groups - Oxford Mathematical Monographs (Paperback Book) [New edition] (1988)

Loop Groups - Oxford Mathematica... (1988)

Pressley, Andrew (Lecturer in Ma...

Cover for M. G. Cox · Reliable Numerical Computation (Hardcover Book) (1990)

Reliable Numerical Computation (1990)

Cover for Henstock, Ralph (Emeritus Professor of Mathematics, Leverhulme Research Fellow, Emeritus Professor of Mathematics, Leverhulme Research Fellow, University of Ulster) · The General Theory of Integration - Oxford Mathematical Monographs (Hardcover Book) (1991)

The General Theory of Integratio... (1991)

Henstock, Ralph (Emeritus Profes...

Cover for Dwork, Bernard (Professor of Mathematics, Professor of Mathematics, Princeton University, New Jersey, USA) · Generalized Hypergeometric Functions - Oxford Mathematical Monographs (Hardcover Book) (1990)

Generalized Hypergeometric Funct... (1990)

Dwork, Bernard (Professor of Mat...

Cover for Klimek, Maciej (Lecturer, Department of Mathematics, Lecturer, Department of Mathematics, University College, Dublin) · Pluripotential Theory - London Mathematical Society Monographs (Hardcover Book) (1991)

Pluripotential Theory - London M... (1991)

Klimek, Maciej (Lecturer, Depart...

Cover for Amberg, Bernhard (Professor, Professor, Johannes Gutenberg University, Mainz) · Products of Groups - Oxford Mathematical Monographs (Hardcover Book) (1993)

Products of Groups - Oxford Math... (1993)

Amberg, Bernhard (Professor, Pro...

Cover for Colbourn, Charles (Professor of Computer Science, Professor of Computer Science, University of Vermont, USA) · Triple Systems - Oxford Mathematical Monographs (Hardcover Book) (1999)

Triple Systems - Oxford Mathemat... (1999)

Colbourn, Charles (Professor of ...

Cover for Helemskii, A. Ya (Faculty of Mechanics and Mathematics, Faculty of Mechanics and Mathematics, Moscow State University, CIS) · Banach and Locally Convex Algebras - Oxford Mathematical Monographs (Hardcover Book) (1993)

Banach and Locally Convex Algebr... (1993)

Helemskii, A. Ya (Faculty of Mec...

Cover for Evens, Leonard (Professor, Department of Mathematics, Professor, Department of Mathematics, Northwestern University, Evanston, Illinois, USA) · The Cohomology of Groups - Oxford Mathematical Monographs (Hardcover Book) (1991)

The Cohomology of Groups - Oxfor... (1991)

Evens, Leonard (Professor, Depar...

Cover for Gyori, I. (Computing Centre, Computing Centre, A. Szent-Gyorgyi Medical University, Szeged, Hungary) · Oscillation Theory of Delay Differential Equations: With Applications - Oxford Mathematical Monographs (Hardcover Book) (1991)

Oscillation Theory of Delay Diff... (1991)

Gyori, I. (Computing Centre, Com...

Cover for Effinger, Gove W. (Department of Mathematics, Department of Mathematics, Skidmore College, New York, USA) · Additive Number Theory of Polynomials over a Finite Field - Oxford Mathematical Monographs (Hardcover Book) (1991)

Additive Number Theory of Polyno... (1991)

Effinger, Gove W. (Department of...

Cover for Shawyer, Bruce L. R. (Professor of Mathematics, Professor of Mathematics, Memorial University of Newfoundland, Canada) · Borel's Methods of Summability: Theory and Applications - Oxford Mathematical Monographs (Hardcover Book) (1994)

Borel's Methods of Summability: ... (1994)

Shawyer, Bruce L. R. (Professor ...

Cover for Diers, Yves (, Department de Mathematiques I.S.T.V Universite de Valenciennes F-59326 Valenciennes Cedex, France) · Categories of Commutative Algebras (Hardcover Book) (1992)

Categories of Commutative Algebras (1992)

Diers, Yves (, Department de Mat...

Cover for Werschulz, Arthur G. (Associate Professor of Mathematics and Computer Science, Fordham University; Visiting Scholar, Associate Professor of Mathematics and Computer Science, Fordham University; Visiting Scholar, Columbia University, USA) · The Computational Complexity of Differential and Integral Equations: An Information-Based Approach - Oxford Mathematical Monographs (Hardcover Book) (1991)

The Computational Complexity of ... (1991)

Werschulz, Arthur G. (Associate ...

Cover for Robinson, Derek W. (Head of Section, School of Mathemtical Sciences, Head of Section, School of Mathemtical Sciences, Australian National University, Australia) · Elliptic Operators and Lie Groups - Oxford Mathematical Monographs (Hardcover Book) (1991)

Elliptic Operators and Lie Group... (1991)

Robinson, Derek W. (Head of Sect...

Cover for J. W. P. Hirschfeld · Advances in Finite Geometries and Designs: Proceedings of the Third Isle of Thorns Conference 1990 (Hardcover Book) (1991)

Advances in Finite Geometries an... (1991)

J. W. P. Hirschfeld

Cover for Andrew J. Baker · P-adic Methods and Their Applications (Hardcover Book) (1992)

P-adic Methods and Their Applica... (1992)

Andrew J. Baker

Cover for Klingen, Norbert (Professor of Mathematics, Professor of Mathematics, University of Cologne, Germany) · Arithmetical Similarities: Prime Decomposition and Finite Group Theory - Oxford Mathematical Monographs (Hardcover Book) (1998)

Arithmetical Similarities: Prime... (1998)

Klingen, Norbert (Professor of M...

Cover for Ted Petrie · Connections, Definite Forms, and Four-Manifolds - Oxford Mathematical Monographs (Hardcover Book) (1991)

Connections, Definite Forms, and... (1991)

Cover for Ansell, J. I. (Lecturer in Statistics and Operational Research, Lecturer in Statistics and Operational Research, University of Edinburgh) · Practical Methods for Reliability Data Analysis - Oxford Statistical Science Series (Hardcover Book) (1994)

Practical Methods for Reliabilit... (1994)

Ansell, J. I. (Lecturer in Stati...

Cover for Eschmeier, Jorg (Professor, Professor, Universitat des Saarlandes, Germany) · Spectral Decompositions and Analytic Sheaves - London Mathematical Society Monographs (Hardcover Book) (1996)

Spectral Decompositions and Anal... (1996)

Eschmeier, Jorg (Professor, Prof...

Cover for Grenander, Ulf (Emeritus Professor, Division of Applied Mathematics, Emeritus Professor, Division of Applied Mathematics, Brown University, Rhode Island) · General Pattern Theory: A Mathematical Study of Regular Structures - Oxford Mathematical Monographs (Hardcover Book) (1994)

General Pattern Theory: A Mathem... (1994)

Grenander, Ulf (Emeritus Profess...

Cover for Dassios, George (Professor of Applied Mathematics, Professor of Applied Mathematics, University of Patras, Greece) · Low Frequency Scattering - Oxford Mathematical Monographs (Hardcover Book) (1999)

Low Frequency Scattering - Oxfor... (1999)

Dassios, George (Professor of Ap...

Cover for Freeden, W. (Professor, Professor, Geomathematics Group, University of Kaiserslauten, Germany) · Constructive Approximation on the Sphere: With Applications to Geomathematics - Numerical Mathematics and Scientific Computation (Hardcover Book) (1998)

Constructive Approximation on th... (1998)

Freeden, W. (Professor, Professo...

Cover for Peter Clote · Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides (Hardcover Book) (1993)

Arithmetic, Proof Theory, and Co... (1993)

Cover for Kingman, J. F. C. (Vice-Chancellor, Vice-Chancellor, University of Bristol) · Poisson Processes - Oxford Studies in Probability (Hardcover Book) (1992)

Poisson Processes - Oxford Studi... (1992)

Kingman, J. F. C. (Vice-Chancell...

Cover for Gurtin, Morton E. (Professor of Mathematics and Director, Center for Nonlinear Analysis, Department of Mechanics, Professor of Mathematics and Director, Center for Nonlinear Analysis, Department of Mechanics, Carnegie Mellon University, Pittsburgh, USA) · Thermomechanics of Evolving Phase Boundaries in the Plane - Oxford Mathematical Monographs (Hardcover Book) (1993)

Thermomechanics of Evolving Phas... (1993)

Gurtin, Morton E. (Professor of ...

Cover for M. J. Baines · Numerical Methods for Fluid Dynamics IV (Hardcover Book) (1994)

Numerical Methods for Fluid Dyna... (1994)

Cover for Clark · A Plain T[EX Primer (Paperback Book) (1992)

A Plain T[EX Primer (1992)

Cover for Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) · Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations - Handbook of Logic in Artificial Intelligence and Logic Programming (Hardcover Book) (1993)

Handbook of Logic in Artificial ... (1993)

Gabbay, Dov M. (Professor of Com...

Cover for Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) · Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies - Handbook of Logic in Artificial Intelligence and Logic Programming (Hardcover Book) (1994)

Handbook of Logic in Artificial ... (1994)

Gabbay, Dov M. (Professor of Com...

Cover for Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) · Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning - Handbook of Logic in Artificial Intelligence and Logic Programming (Hardcover Book) (1994)

Handbook of Logic in Artificial ... (1994)

Gabbay, Dov M. (Professor of Com...

Cover for Mary Croarken · Early Scientific Computing in Britain (Hardcover Book) (1990)

Early Scientific Computing in Br... (1990)

Cover for G. M. Reed · Topology and Category Theory in Computer Science (Hardcover Book) (1991)

Topology and Category Theory in ... (1991)

Cover for S. Abramsky · Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures - Handbook of Logic in Computer Science (Hardcover Book) (1992)

Handbook of Logic in Computer Sc... (1992)

Cover for S. Abramsky · Handbook of Logic in Computer Science: Volume 3. Semantic Structures - Handbook of Logic in Computer Science (Hardcover Book) (1995)

Handbook of Logic in Computer Sc... (1995)

Cover for Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) · Temporal Logic: Volume 2 - Oxford Logic Guides (Hardcover Book) (2000)

Temporal Logic: Volume 2 - Oxfor... (2000)

Gabbay, Dov M (Department of Com...

Cover for Dosen · Substructural Logics - Studies in Logic and Computation (Hardcover Book) (1993)

Substructural Logics - Studies i... (1993)

Cover for Karlsson, Erik B. (Professor of Physics, Professor of Physics, Uppsala University) · Solid State Phenomena: As Seen by Muons, Protons, and Excited Nuclei (Hardcover Book) (1995)

Solid State Phenomena: As Seen b... (1995)

Karlsson, Erik B. (Professor of ...

Cover for Chagrov, Alexander (Professor of Mathematics, Professor of Mathematics, Tver State University) · Modal Logic - Oxford Logic Guides (Hardcover Book) (1997)

Modal Logic - Oxford Logic Guides (1997)

Chagrov, Alexander (Professor of...

Cover for S. Abramsky · Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science (Hardcover Book) (1995)

Handbook of Logic in Computer Sc... (1995)

Cover for Samson Abramsky · Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Handbook of Logic in Computer Science (Hardcover Book) (2001)

Handbook of Logic in Computer Sc... (2001)

Samson Abramsky

Cover for P. Frobrich · Theory of Nuclear Reactions - Oxford Studies in Nuclear Physics (Hardcover Book) (1996)

Theory of Nuclear Reactions - Ox... (1996)

Cover for Shelah, Saharon (Professor, Department of Mathematics, Rutgers University; Institute of Mathematics, Professor, Department of Mathematics, Rutgers University; Institute of Mathematics, The Hebrew University of Jerusalem, Israel) · Cardinal Arithmetic - Oxford Logic Guides (Hardcover Book) (1994)

Cardinal Arithmetic - Oxford Log... (1994)

Shelah, Saharon (Professor, Depa...

Cover for Vaughan-Lee, Michael (Lecturer in Mathematics, Lecturer in Mathematics, Christ Church, Oxford) · The Restricted Burnside Problem - London Mathematical Society Monographs (Hardcover Book) [2 Revised edition] (1993)

2 Revised edition

The Restricted Burnside Problem ... (1993)

Vaughan-Lee, Michael (Lecturer i...

Cover for Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz, Poland) · Many-Valued Logics - Oxford Logic Guides (Hardcover Book) (1993)

Many-Valued Logics - Oxford Logi... (1993)

Malinowski, Grzegorz (Head of De...

Cover for Hughes, Barry D. (Senior Lecturer in Mathematics, Senior Lecturer in Mathematics, University of Melbourne, Australia) · Random Walks and Random Environments: Volume 1: Random Walks - Random Walks and Random Environments (Hardcover Book) (1995)

Random Walks and Random Environm... (1995)

Hughes, Barry D. (Senior Lecture...

Cover for Gabbay, Dov, M. · Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming - Handbook of Logic in Artificial Intelligence and Logic Programming (Hardcover Book) (1998)

Handbook of Logic in Artificial ... (1998)

Gabbay, Dov, M.

Cover for Goldman, William M. (Professor of Mathematics, Professor of Mathematics, University of Maryland, USA) · Complex Hyperbolic Geometry - Oxford Mathematical Monographs (Hardcover Book) (1999)

Complex Hyperbolic Geometry - Ox... (1999)

Goldman, William M. (Professor o...

Cover for Hannabuss, Keith (Billmeir Fellow and Tutor in Mathematics, Billmeir Fellow and Tutor in Mathematics, Balliol College, Oxford) · An Introduction to Quantum Theory - Oxford Graduate Texts in Mathematics (Hardcover Book) (1997)

An Introduction to Quantum Theor... (1997)

Hannabuss, Keith (Billmeir Fello...

Cover for Lancaster, Peter (Department of Mathematics and Statistics, Department of Mathematics and Statistics, University of Calgary) · Algebraic Riccati Equations (Hardcover Book) (1995)

Algebraic Riccati Equations (1995)

Lancaster, Peter (Department of ...

Cover for Hill, Raymond (Senior Lecturer in Mathematics, Senior Lecturer in Mathematics, University of Salford) · A First Course in Coding Theory - Oxford Applied Mathematics and Computing Science Series (Paperback Book) (1986)

A First Course in Coding Theory ... (1986)

Hill, Raymond (Senior Lecturer i...

Cover for Hogger · Essentials of Logic Programming - Graduate Texts in Computer Science (Paperback Book) (1990)

Essentials of Logic Programming ... (1990)

Cover for Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) · Labelled Deductive Systems: Volume 1 - Oxford Logic Guides (Hardcover Book) (1996)

Labelled Deductive Systems: Volu... (1996)

Gabbay, Dov M. (Professor, Depar...

Cover for Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh) · Computation and Reasoning: A Type Theory for Computer Science - International Series of Monographs on Computer Science (Hardcover Book) (1994)

Computation and Reasoning: A Typ... (1994)

Luo, Zhaohui (Lecturer / Researc...

Cover for Ince · An Introduction to Discrete Mathematics, Formal System Specification, and Z - Oxford Applied Mathematics and Computing Science Series (Paperback Book) [2 Revised edition] (1993)

2 Revised edition

An Introduction to Discrete Math... (1993)

Cover for Shepperd, Martin (Department of Computing and Cognition, Department of Computing and Cognition, Bournemouth University) · Derivation and Validation of Software Metrics - International Series of Monographs on Computer Science (Hardcover Book) (1993)

Derivation and Validation of Sof... (1993)

Shepperd, Martin (Department of ...

Cover for Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University, Sweden) · Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1 - Oxford Logic Guides (Hardcover Book) (1995)

Features and Fluents: The Repres... (1995)

Sandewall, Erik (Professor, Depa...

Cover for K. Furukawa · Machine Intelligence 13: Machine Intelligence and Inductive Learning - Machine Intelligence (Hardcover Book) (1994)

Machine Intelligence 13: Machine... (1994)

Cover for Manzano, Maria (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca, Spain) · Model Theory - Oxford Logic Guides (Hardcover Book) (1999)

Model Theory - Oxford Logic Guides (1999)

Manzano, Maria (Profesora Titula...

Cover for Imielinsk Demolombe · Nonstandard Queries and Nonstandard Answers - Studies in Logic and Computation (Hardcover Book) (1994)

Nonstandard Queries and Nonstand... (1994)

Imielinsk Demolombe

Cover for Beasley, J. E. (, Imperial College, London) · Advances in Linear and Integer Programming - Oxford Lecture Series in Mathematics and Its Applications (Hardcover Book) (1996)

Advances in Linear and Integer P... (1996)

Beasley, J. E. (, Imperial Colle...

Cover for Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki) · Type-theoretical Grammar - Indices (Hardcover Book) (1995)

Type-theoretical Grammar - Indices (1995)

Ranta, Aarne (Department of Phil...

Cover for D. M. Gabbay · What is a Logical System? - Studies in Logic and Computation (Hardcover Book) (1994)

What is a Logical System? - Stud... (1994)

Cover for K. Furukawa · Machine Intelligence 14: Applied Machine Intelligence - Machine Intelligence (Hardcover Book) (1996)

Machine Intelligence 14: Applied... (1996)

Cover for G. Crocco · Conditionals: From Philosophy to Computer Science - Studies in Logic and Computation (Hardcover Book) (1995)

Conditionals: From Philosophy to... (1995)

Cover for Geoffrey Hinton · Neural Networks for Pattern Recognition (Paperback Book) (1995)

Neural Networks for Pattern Reco... (1995)

Geoffrey Hinton