University Press Alert

Computer Science

New books from university presses

« »

Sort
by publisher
Sort
by title
Sort
randomly
API CSV
(1) Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi; Jan Rutten
ISBN: 9780511792588
Cambridge University Press
View at publisher


(2) First Steps in Modal Logic
Sally Popkorn
ISBN: 9780511983382
Cambridge University Press
View at publisher


(3) Information Flow: The Logic of Distributed Systems
Jon Barwise; Jerry Seligman
ISBN: 9780511895968
Cambridge University Press
View at publisher


(4) Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations
Rudy Hirschheim; Heinz K. Klein; Kalle Lyytinen
ISBN: 9780511895425
Cambridge University Press
View at publisher


(5) Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel; Harold Simmons; Stanley S. Wainer
ISBN: 9780511896262
Cambridge University Press
View at publisher


(6) C# Precisely, second edition
by Peter Sestoft and Henrik I. Hansen
ISBN: 9780262516860
MIT Press
View at publisher


(7) From Social Butterfly to Engaged Citizen: Urban Informatics, Social Media, Ubiquitous Computing, and Mobile Technology to Support Citizen Engagement
Edited by Marcus Foth, Laura Forlano, Christine Satchell and Martin Gibbs
ISBN: 9780262016513
MIT Press
View at publisher


(8) Taking Scope: The Natural Semantics of Quantifiers
by Mark Steedman
ISBN: 9780262017077
MIT Press
View at publisher


(9) Algorithmic Puzzles
Anany Levitin; Maria Levitin
ISBN: 9780199740444
Oxford University Press
View at publisher


(10) The Computer: A Very Short Introduction
Darrel Ince
ISBN: 9780199586592
Oxford University Press
View at publisher


« »