Computer Science
New books from university presses
(1) Advances in Linear Logic
Jean-Yves Girard; Yves Lafont; Laurent Regnier
ISBN: 9780511629150
Cambridge University Press
View at publisher
Jean-Yves Girard; Yves Lafont; Laurent Regnier
ISBN: 9780511629150
Cambridge University PressView at publisher
(2) Computability, Enumerability, Unsolvability: Directions in Recursion Theory
S. B. Cooper; T. A. Slaman; S. S. Wainer
ISBN: 9780511629167
Cambridge University Press
View at publisher
S. B. Cooper; T. A. Slaman; S. S. Wainer
ISBN: 9780511629167
Cambridge University PressView at publisher
(3) Constraint Handling Rules
Thom Frühwirth
ISBN: 9780511609886
Cambridge University Press
View at publisher
Thom Frühwirth
ISBN: 9780511609886
Cambridge University PressView at publisher
(4) Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals
George Boros; Victor Moll
ISBN: 9780511617041
Cambridge University Press
View at publisher
George Boros; Victor Moll
ISBN: 9780511617041
Cambridge University PressView at publisher
(5) Mathematical Explorations with MATLAB
K. Chen; Peter J. Giblin; A. Irving
ISBN: 9780511624117
Cambridge University Press
View at publisher
K. Chen; Peter J. Giblin; A. Irving
ISBN: 9780511624117
Cambridge University PressView at publisher
(6) Modelling Systems: Practical Tools and Techniques in Software Development
John Fitzgerald; Peter Gorm Larsen
ISBN: 9780511626975
Cambridge University Press
View at publisher
John Fitzgerald; Peter Gorm Larsen
ISBN: 9780511626975
Cambridge University PressView at publisher
(7) Neural Network Learning: Theoretical Foundations
Martin Anthony; Peter L. Bartlett
ISBN: 9780511624216
Cambridge University Press
View at publisher
Martin Anthony; Peter L. Bartlett
ISBN: 9780511624216
Cambridge University PressView at publisher
(8) Security and Quality of Service in Ad Hoc Wireless Networks
Amitabh Mishra
ISBN: 9780511619755
Cambridge University Press
View at publisher
Amitabh Mishra
ISBN: 9780511619755
Cambridge University PressView at publisher
(9) Space-Time Wireless Systems: From Array Processing to MIMO Communications
H. Bölcskei; D. Gesbert; C. B. Papadias; A.-J. van der Veen
ISBN: 9780511616815
Cambridge University Press
View at publisher
H. Bölcskei; D. Gesbert; C. B. Papadias; A.-J. van der Veen
ISBN: 9780511616815
Cambridge University PressView at publisher
(10) Subsystems of Second Order Arithmetic
Stephen G. Simpson
ISBN: 9780511581007
Cambridge University Press
View at publisher
Stephen G. Simpson
ISBN: 9780511581007
Cambridge University PressView at publisher
(11) Stuck in the Shallow End: Education, Race, and Computing
by Jane Margolis
ISBN: 9780262514040
MIT Press
View at publisher
by Jane Margolis
ISBN: 9780262514040
MIT PressView at publisher
(12) System Modeling in Cellular Biology: From Concepts to Nuts and Bolts
Edited by Zoltan Szallasi, Jörg Stelling and Vipul Periwal
ISBN: 9780262514224
MIT Press
View at publisher
Edited by Zoltan Szallasi, Jörg Stelling and Vipul Periwal
ISBN: 9780262514224
MIT PressView at publisher
(13) Information: A Very Short Introduction
Luciano Floridi
ISBN: 9780199551378
Oxford University Press
View at publisher
Luciano Floridi
ISBN: 9780199551378
Oxford University PressView at publisher