Computer Science

New books from university presses

« »

Sort
by publisher Sort
by title Sort
randomly API CSV

(1) A General Algebraic Semantics for Sentential Logics
Josep Maria Font; Ramon Jansana
ISBN: 9781316716915

Cambridge University Press
View at publisher

(2) Admissible Sets and Structures
Jon Barwise
ISBN: 9781107168336

Cambridge University Press
View at publisher

(3) Advanced Analytical Dynamics: Theory and Applications
Vincent De Sapio
ISBN: 9781107179608

Cambridge University Press
View at publisher

(4) Aspects of Incompleteness
Per Lindström
ISBN: 9781107167926

Cambridge University Press
View at publisher

(5) Bounded Variable Logics and Counting: A Study in Finite Models
Martin Otto
ISBN: 9781107167940

Cambridge University Press
View at publisher

(6) Computability in Analysis and Physics
Marian B. Pour-El; J. Ian Richards
ISBN: 9781107168442

Cambridge University Press
View at publisher

(7) Constructibility
Keith J. Devlin
ISBN: 9781107168350

Cambridge University Press
View at publisher

(8) Degrees of Unsolvability: Local and Global Theory
Manuel Lerman
ISBN: 9781316717059

Cambridge University Press
View at publisher

(9) Essential Stability Theory
Steven Buechler
ISBN: 9781316717257

Cambridge University Press
View at publisher

(10) Fine Structure and Iteration Trees
William J. Mitchell; John R. Steel
ISBN: 9781316718315

Cambridge University Press
View at publisher

(11) Fundamentals of Stability Theory
John T. Baldwin
ISBN: 9781316717035

Cambridge University Press
View at publisher

(12) General Recursion Theory: An Axiomatic Approach
Jens E. Fenstad
ISBN: 9781316717073

Cambridge University Press
View at publisher

(13) Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
Petr Hájek
ISBN: 9781316716939

Cambridge University Press
View at publisher

(14) Groups, Languages and Automata
Derek F. Holt; Sarah Rees; Claas E. Röver
ISBN: 9781316588246

Cambridge University Press
View at publisher

(15) Higher Recursion Theory
Gerald E. Sacks
ISBN: 9781316717301

Cambridge University Press
View at publisher

(16) Inexhaustibility: A Non-Exhaustive Treatment
Torkel Franzén
ISBN: 9781316755969

Cambridge University Press
View at publisher

(17) Intensionality
Reinhard Kähle
ISBN: 9781316755822

Cambridge University Press
View at publisher

(18) Logic Colloquium '01
Matthias Baaz; Sy-David Friedman; Jan Krajíček
ISBN: 9781316755860

Cambridge University Press
View at publisher

(19) Logic Colloquium '02
Zoé Chatzidakis; Peter Koepke; Wolfram Pohlers
ISBN: 9781316755723

Cambridge University Press
View at publisher

(20) Logic Colloquium '03
Viggo Stoltenberg-Hansen; Jouko Väänänen
ISBN: 9781316755785

Cambridge University Press
View at publisher

(21) Logic Colloquium '90: ASL Summer Meeting in Helsinki
Juha Oikkonen; Jouko Väänänen
ISBN: 9781316718254

Cambridge University Press
View at publisher

(22) Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
Johann A. Makowsky; Elena V. Ravve
ISBN: 9781316716830

Cambridge University Press
View at publisher

(23) Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
J. M. Larrazabal; D. Lascar; G. Mints
ISBN: 9781316716816

Cambridge University Press
View at publisher

(24) Logic Colloquium '98
Samuel R. Buss; Petr Hájek; Pavel Pudlák
ISBN: 9781316756140

Cambridge University Press
View at publisher

(25) Logic Colloquium '99
Jan Van Eijck; Vincent Van Oostrom; Albert Visser
ISBN: 9781316755921

Cambridge University Press
View at publisher

(26) Logic in Tehran
Ali Enayat; Iraj Kalantari; Mojtaba Moniri
ISBN: 9781316755747

Cambridge University Press
View at publisher

(27) Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore
ISBN: 9781316755808

Cambridge University Press
View at publisher

(28) Metamathematics of First-Order Arithmetic
Petr Hájek; Pavel Pudlák
ISBN: 9781316717271

Cambridge University Press
View at publisher

(29) Model Theory of Fields
David Marker; Margit Messmer; Anand Pillay
ISBN: 9781316716991

Cambridge University Press
View at publisher

(30) Model Theory of Stochastic Processes
Sergio Fajardo; H. Jerome Keisler
ISBN: 9781316756126

Cambridge University Press
View at publisher

(31) Model-Theoretic Logics
J. Barwise; S. Feferman
ISBN: 9781316717158

Cambridge University Press
View at publisher

(32) Nonstandard Methods and Applications in Mathematics
Nigel J. Cutland; Mauro Di Nasso; David A. Ross
ISBN: 9781316755761

Cambridge University Press
View at publisher

(33) Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
Bob Coecke; Aleks Kissinger
ISBN: 9781316219317

Cambridge University Press
View at publisher

(34) Recursion Theory
Joseph R. Shoenfield
ISBN: 9781316717011

Cambridge University Press
View at publisher

(35) Recursion-Theoretic Hierarchies
Peter G. Hinman
ISBN: 9781316717110

Cambridge University Press
View at publisher

(36) Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Wilfried Sieg; Richard Sommer; Carolyn Talcott
ISBN: 9781316755983

Cambridge University Press
View at publisher

(37) Reverse Mathematics 2001
Stephen G. Simpson
ISBN: 9781316755846

Cambridge University Press
View at publisher

(38) The Core Model Iterability Problem
John R. Steel
ISBN: 9781107167964

Cambridge University Press
View at publisher

(39) The Notre Dame Lectures
Peter Cholak
ISBN: 9781316755907

Cambridge University Press
View at publisher

(40) Real-World Algorithms: A Beginner's Guide
by Panos Louridas
ISBN: 9780262035705

MIT Press
View at publisher

(41) Stuck in the Shallow End, updated edition: Education, Race, and Computing
by Jane Margolis
ISBN: 9780262533461

MIT Press
View at publisher

(42) The Eternal Darkness
Robert D. Ballard and Will Hively
ISBN: 9780691175621

Princeton University Press
View at publisher

(43) Web as History: Using Web Archives to Understand the Past and the Present
Brügger, Niels
ISBN: 9781911307426

University of Chicago Press
View at publisher

« »