Computer Science Books 2017
This catalogue contains a selection of our most recent publishing in Computer Science. Please visit our website for a full and searchable listing of all our titles in print and also an extensive range of news, features, and resources. Our online ordering service is secure and easy to use.
Contents
Pattern Recognition and Machine Learning
11
Useful contacts
Knowledge Management and Data Mining
13
If you are interested in publishing your book with Cambridge please contact Lauren Cowles lcowles@cambridge.org
Communications and Signal Processing 15
Further information about Computer Science Lisa Farkas lfarkas@cambridge.org All other enquiries: telephone +44 1223 326050 or 1.800.872.7423 or email information@cambridge.org Cambridge University Press advances knowledge, learning and research worldwide.
Highlights 5 Algorithmics and Complexity
Artificial Intelligence
7
19
Robotics 22 Social Computing and HCI
23
Programming Languages, Logic and Software
27
Scientific Computing and Numerical Analysis
31
General Interest
32
Information on related journals Inside back cover
Prices and publication dates are correct at the time of going to press but are subject to alteration without notice.
Be the first to hear about the academic products in your area of interest and receive 20% off your first online order
How to order books In the UK, Europe and rest of the world: www.cambridge.org/computerscience2017 +44 (0)1223 325566 internationaltrade2@cambridge.org
Cambridge Alerts
In the Americas: www.cambridge.org/computerscience2017 +1 212 924 3900
www.cambridge.org/alerts
customer_service@cambridge.org
Featured authors Kevin Warwick and Huma Shah Authors of Turing’s Imitation Game This book departs from the others on Turing’s Imitation Game. Firstly it presents (the late) John Westcott’s and Giles Brindley’s views on Alan Turing from the perspective of co-members of the Ratio Club. The book then examines Turing’s ideas to measure a machine’s intellect through question-answer tests and explores the philosophy that has grown up around the Turing test. Actual human-machine conversations, gathered from original experiments conducted by the authors, allow the reader the opportunity to distinguish human dialogue from artificial conversation.
Richard Lyon Author of Human and Machine Hearing My goal in writing Human and Machine Hearing has been to bring together engineers and scientists from diverse fields to understand, in a common language, how the study of human hearing leads to effective computational methods for extracting meaning from sound. Interweaving the long history of discoveries and ideas about sound and hearing from multiple perspectives has been a fun part of this challenge.
Tomi Klein Author of Basic Concepts on Data Structures I wanted to write a book on Data Structures, covering most of the basic topics and giving all the necessary background for subsequent courses on Algorithms. I believe in associative learning, and intersperse the text with short flashbacks to basic notions of discrete mathematics, whenever needed. I thought about a textbook that can be read sequentially, so not too lengthy, not comprehensive, but containing the right blend of theory and applications.
Visit www.cambridge.org/authorhub for a range of step-by-step guides for authors
4
Highlights Computer Age Statistical Inference
Turing’s Imitation Game
Algorithms, Evidence, and Data Science Bradley Efron
Conversations with the Unknown Kevin Warwick
Stanford University, California
Coventry University
and Trevor Hastie
and Huma Shah
Stanford University, California
Coventry University
Computing power has revolutionized the theory and practice of statistical inference. This book delivers a concentrated course in modern statistical thinking by tracking the revolution from classical theories to the large-scale prediction algorithms of today. Anyone who applies statistical methods to data will benefit from this landmark text.
This book provides an account of the Turing Imitation Game, its history and implications, illustrated with practical tests. From looking at these real conversations between hidden entities, readers will be encouraged to determine which is human and which is machine, as well as asking the fundamental question of what exactly makes ‘human conversation’.
Contents: Part I. Classic Statistical Inference; Part II. Early Computer-Age Methods; Part III. Twenty-First Century Topics. ‘How and why is computational statistics taking over the world? In this serious work of synthesis that is also fun to read, Efron and Hastie, two pioneers in the integration of parametric and nonparametric statistical ideas, give their take on the unreasonable effectiveness of statistics and machine learning in the context of a series of clear, historically informed examples.’ Andrew Gelman, Columbia University, New York
PROSE Award for Computing and Information Sciences 2017 – Winner Institute of Mathematical Statistics Monographs, 5
2016 228 x 152 mm 495pp 5 b/w illus. 40 colour illus. 50 tables 978-1-107-14989-2 Hardback £45.99 / US$74.99 For all formats available, see
www.cambridge.org/9781107149892
2016 228 x 152 mm 202pp 5 b/w illus. 10 colour illus. 978-1-107-05638-1 Hardback £24.99 / US$39.99 For all formats available, see
www.cambridge.org/9781107056381
Highlights
Textbook
Programming in Haskell Second edition Graham Hutton University of Nottingham
auctions, kidney exchange, and network management. 2016 228 x 152 mm 250pp 978-1-107-17266-1 Hardback £59.99 / US$99.99 978-1-316-62479-1 Paperback £27.99 / US$34.99
This edition has been extensively updated and expanded, with new chapters covering recent and more advanced features of Haskell, new examples and exercises, and freely downloadable lecture slides and example code. All concepts are explained from first principles and no programming experience is required, making it accessible to a broad range of readers.
For all formats available, see
Contents: Part I. Basic Concepts; Part II. Going Further.
Illustrated throughout in full colour, this pioneering textbook, spanning a wide range of disciplines from physics to the social sciences, is the only book needed for an introduction to network science. In modular format, with clear delineation between undergraduate and graduate material, its unique design is supported by extensive online resources.
‘The skills you acquire by studying this book will make you a much better programmer no matter what language you use to actually program in.’ Erik Meijer, Facebook, from the Foreword 2016 216 x 138 mm 318pp 1 b/w illus. 120 exercises 978-1-316-62622-1 Paperback £29.99 / US$44.99 For all formats available, see
www.cambridge.org/9781316626221
Textbook
Twenty Lectures on Algorithmic Game Theory
5
www.cambridge.org/9781107172661
HIGHLIGHT TEXTBOOK
Network Science Albert-László Barabási Northeastern University, Boston
With Márton Pósfai
PROSE Award for Textbook/Best in Physical Sciences and Mathematics 2017 – Winner 2016 246 x 189 mm 475pp 371 colour illus. 12 tables 30 exercises 978-1-107-07626-6 Hardback £34.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107076266
Tim Roughgarden Stanford University, California
This book gives students a quick and accessible introduction to many of the most important concepts in the field of algorithmic game theory. It demonstrates these concepts through case studies in online advertising, wireless spectrum
eBooks available at www.cambridge.org/ebookstore
6
Highlights
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Artificial Intelligence
Martin Grohe
and Alan K. Mackworth
Rheinisch-Westfälische Technische Hochschule, Aachen, Germany
This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational complexity using methods from finite model theory. As well as a wealth of new, previously unpublished results, the author also gives an account of the established results in the area. Contents: Part I. The Basic Theory; Part II. Definable Decompositions of Graphs with Excluded Minors. ern Modtics ng o, Pl anniro bcs l o nt r ha ni an d co M ec
Pa rk h k C. Fr an M. Ly nC n ke vi
2017 228 x 152 mm 530pp 60 b/w illus. 978-1-107-01452-7 Hardback £120.00 / $155.00 For all formats available, see
www.cambridge.org/9781107014527
Modern Robotics Mechanics, Planning and Control Kevin M. Lynch Northwestern University, Illinois
and Frank C. Park
Seoul National University
This is the go-to textbook for learning about the mechanics, planning, and control of robots in a unified way. Modern Robotics emphasises both the latest geometric techniques and algorithmic aspects of these three subjects, with accompanying software, video lectures, and numerous exercises. 2017 253 x 177 mm 547pp 978-1-107-15630-2 Hardback £70.00 / $140.00 For all formats available, see
www.cambridge.org/9781107156302
Foundations of Computational Agents Second edition David L. Poole University of British Columbia, Vancouver University of British Columbia, Vancouver
The second edition of Artificial Intelligence provides a comprehensible and thorough guide for junior to senior undergraduates and graduate students. Updates include a major expansion on machine learning, inclusion of more intuitive explanations and exercises, and simplification of parts that were considered difficult in the first edition. 2017 253 x 177 mm 760pp 978-1-107-19539-4 Hardback £54.99 / $99.99 For all formats available, see
www.cambridge.org/9781107195394
Algorithmics and Complexity Quantum Information Theory Second edition Mark M. Wilde Louisiana State University
This new edition of Wilde’s popular book promises over 100 pages of new material, exercises and references. New attention is given to the derivation of the Choi–Kraus theorem for quantum channels, the CHSH game, quantum relative entropy, and sequential decoding. The text offers an ideal entry point into the topic for graduate students. Contents: Part I. Introduction; Part II. The Quantum Theory; Part III. Unit Quantum Protocols; Part IV. Tools of Quantum Shannon Theory; Part V. Noiseless Quantum Shannon Theory; Part VI. Noisy Quantum Shannon Theory. ‘For years, I have been hoping that somebody would write a book on quantum information theory that was clear, comprehensive, and up to date. This is that book. And the second edition is even better than the first.’ Peter Shor, Massachusetts Institute of Technology 2017 247 x 174 mm 780pp 80 b/w illus. 3 tables 300 exercises 978-1-107-17616-4 Hardback £54.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107176164
7
Textbook
Probability and Computing Randomization and Probabilistic Techniques in Algorithms and Data Analysis Second edition Michael Mitzenmacher Harvard University, Massachusetts
and Eli Upfal Brown University, Rhode Island
This greatly expanded new edition, requiring only an elementary background in discrete mathematics, comprehensively covers randomization and probabilistic techniques in modern computer science. It includes new material relevant to machine learning and big data analysis, plus examples and exercises, enabling students to learn modern techniques and applications. Advance praise: ‘As randomized methods continue to grow in importance, this textbook provides a rigorous yet accessible introduction to fundamental concepts that need to be widely known. The new chapters in this second edition, about sample size and power laws, make it especially valuable for today’s applications.’ Donald E. Knuth, Stanford University, California 2017 253 x 177 mm 488pp 8 b/w illus. 1 table 978-1-107-15488-9 Hardback £44.99 / US$69.99 Publication March 2017 For all formats available, see
www.cambridge.org/9781107154889
For regular email alerts visit www.cambridge.org/alerts
8
Algorithmics and Complexity
Handbook of Spectrum Auction Design Edited by Martin Bichler Technische Universität München
and Jacob K. Goeree University of New South Wales, Sydney
Governments worldwide use spectrum auctions to assign and price licenses for wireless communications, a key resource for any mobile operator. This comprehensive handbook by an international team of experts covers the pros and cons of different auction formats and lessons learned from theory, experiments, and the field. Contents: Part I. The Simultaneous Ascending Auction; Part II. The Combinatorial Clock Auction Designs; Part III. Alternative Auction Designs; Part IV. Experimental Comparisons of Auction Designs; Part V. The Bidders’ Perspective; Part VI. Secondary Markets and Exchanges. 2017 253 x 177 mm 904pp 978-1-107-13534-5 Hardback c. £79.99 / c. US$99.99 Publication June 2017 For all formats available, see
www.cambridge.org/9781107135345
Compact Data Structures A Practical Approach Gonzalo Navarro Universidad de Chile
Compact data structures are essential tools for efficiently handling massive amounts of data by exploiting the memory hierarchy and for reducing the resources needed for distributed and mobile applications. This first comprehensive book on the topic
focuses on the structures that are most relevant for practical use. ‘This is a delightful book on data structures that are both time and space efficient. It will be a key reference and guiding light in the field for years to come.’ J. Ian Munro, University of Waterloo, Ontario, from the Foreword 2016 253 x 177 mm 570pp 140 b/w illus. 978-1-107-15238-0 Hardback £54.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107152380
Textbook
Basic Concepts in Data Structures Shmuel Tomi Klein Bar-Ilan University, Israel
An easy-to-read guide on basic concepts of data structures, this textbook covers the theoretical side to the art of writing computer programs. Designed for undergraduates in any quantitative field, the book covers all the most common data structures. 2016 228 x 152 mm 228pp 978-1-107-16127-6 Hardback £59.99 / US$99.99 978-1-316-61384-9 Paperback £27.99 / US$39.99 For all formats available, see
www.cambridge.org/9781107161276
Algorithmics and Complexity
Probability on Trees and Networks
Random Graphs and Complex Networks
Russell Lyons
Volume 1 Remco van der Hofstad
Indiana University, Bloomington
and Yuval Peres Microsoft Research, Washington
Probability on Trees and Networks, an authoritative state-of-the-art account of probability on networks for graduate students and researchers in mathematics, statistics, computer science, and engineering, brings together sixty years of research, including many developments where the authors played a leading role. The text emphasizes intuition, while also giving complete proofs. ‘This long-awaited work focuses on one of the most interesting and important parts of probability theory. Half a century ago, most work on models such as random walks, Ising, percolation and interacting particle systems concentrated on processes defined on the d-dimensional Euclidean lattice. In the intervening years, interest has broadened dramatically to include processes on more general graphs, with trees being a particularly important case. This led to new problems and richer behavior, and as a result, to the development of new techniques. The authors are two of the major developers of this area; their expertise is evident throughout.’ Thomas M. Liggett, University of California, Los Angeles Cambridge Series in Statistical and Probabilistic Mathematics, 42
9
Technische Universiteit Eindhoven, The Netherlands
Network science is one of the fastest growing areas in science and business. This classroom-tested, self-contained book is designed for master’s-level courses and provides a rigorous treatment of random graph models for networks, featuring many examples of real-world networks for motivation and numerous exercises to build intuition and experience. Contents: Part I. Preliminaries; Part II. Basic Models; Part III. Models for Complex Networks. ‘… a modern and deep, yet accessible, introduction to the models that make up [the] basis for the theoretical study of random graphs and complex networks. The book strikes a balance between providing broad perspective and analytic rigor that is a pleasure for the reader.’ Adam Wierman, California Institute of Technology Cambridge Series in Statistical and Probabilistic Mathematics, 43
2016 253 x 177 mm 236pp 58 b/w illus. 5 tables 978-1-107-17287-6 Hardback £39.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107172876
2017 253 x 177 mm 600pp 78 b/w illus. 13 colour illus. 4 tables 864 exercises 978-1-107-16015-6 Hardback £49.99 / US$79.99 For all formats available, see
www.cambridge.org/9781107160156
Visit our website at www.cambridge.org/academic
10
Algorithmics and Complexity
Introduction to Property Testing Oded Goldreich
2015 228 x 152 mm 478pp 25 b/w illus. 190 exercises 978-1-107-11850-8 Hardback £49.99 / US$79.99
Weizmann Institute of Science, Israel
For all formats available, see
An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in order to determine global properties. This book can be used both as a reference book and a textbook, and includes numerous exercises.
www.cambridge.org/9781107118508
2017 253 x 177 mm 400pp 978-1-107-19405-2 Hardback c. £64.99 / c. US$89.99 Publication November 2017
Contests are prevalent in many areas, from sports, to labor markets, to resource allocation, to crowdsourcing. Using a game-theoretic framework, this unified, comprehensive treatment pays particular attention to online applications of contest design, allowing professionals, researchers and students to learn about the theoretical principles and to test them in practice.
For all formats available, see
www.cambridge.org/9781107194052
Introduction to Random Graphs Alan Frieze Carnegie Mellon University, Pennsylvania
and Michal Karoński Uniwersytet im. Adama Mickiewicza w Poznaniu, Poland
This book covers random graphs from the basic to the advanced and will appeal to anyone interested in combinatorics, applied probability or theoretical computer science. Having read this book, the reader should be in a good position to pursue research in the area. Contents: Part I. Basic Models; Part II. Basic Model Extensions; Part III. Other Models; Part IV. Tools and Methods. ‘This is a well-planned book that is true to its title in that it is indeed accessible for anyone with just an undergraduate student’s knowledge of enumerative combinatorics and probability.’ Miklós Bóna, MAA Reviews
Contest Theory Incentive Mechanisms and Ranking Methods Milan Vojnović London School of Economics and Political Science
‘Contest theory, including the war of attrition, winner-take-all competition, and tournaments, has recently received renewed attention, due to its applicability to online rating systems, platform competition, and other internet phenomena. Milan Vojnović’s book is a delightful and thorough examination of the state of the art in contest modeling, for economists and computer scientists alike.’ Preston McAfee, Microsoft 2016 253 x 177 mm 730pp 187 b/w illus. 6 tables 978-1-107-03313-9 Hardback £49.99 / US$79.99 For all formats available, see
www.cambridge.org/9781107033139
Algorithmics and Complexity
Picturing Quantum Processes A First Course in Quantum Theory and Diagrammatic Reasoning Bob Coecke University of Oxford
and Aleks Kissinger Radboud Universiteit Nijmegen
Quantum phenomena are explained through the language of diagrams, setting out an innovative visual method of presenting complex scientific theories. Focusing on physical intuition over mathematical formalism, and packed with exercises, this unique book is accessible to students and researchers across scientific disciplines, from undergraduate to PhD level. Advance praise: ‘Picturing Quantum Processes is a lively and refreshing romp through the authors diagrammatic and categorical approach to quantum processes. I recommend this book with no lower age limit required!’ Louis Kauffman, University of Illinois 2017 247 x 174 mm 868pp 2435 b/w illus. 168 exercises 978-1-107-10422-8 Hardback £67.99 / US$84.99 Publication March 2017 For all formats available, see
www.cambridge.org/9781107104228
Pattern Recognition and Machine Learning
11
Textbook
Machine Learning Refined Foundations, Algorithms, and Applications Jeremy Watt Northwestern University, Illinois
Reza Borhani Northwestern University, Illinois
and Aggelos K. Katsaggelos Northwestern University, Illinois
This book provides a fresh, intuitive approach to machine learning, detailing the fundamental concepts necessary for building projects and conducting research. With colour illustrations, practical real-world examples, and MATLAB-based exercises, it is an essential resource for students and an ideal reference for researchers and practitioners in the field. Contents: Part I. The Basics; Part II. Automatic Feature Design; Part III. Tools for Large Scale Data; . 2016 247 x 174 mm 298pp 135 colour illus. 3 tables 81 exercises 978-1-107-12352-6 Hardback £54.99 / US$84.99 For all formats available, see
www.cambridge.org/9781107123526
Mathematical Foundations of Infinite-Dimensional Statistical Models Evarist Giné University of Connecticut
and Richard Nickl University of Cambridge
High-dimensional and nonparametric statistical models are ubiquitous in modern data science. This book develops a mathematically coherent and objective approach to statistical inference in such models, with a focus on function estimation
eBooks available at www.cambridge.org/ebookstore
12
Pattern Recognition and Machine Learning
problems arising from random samples (density estimation) or from Gaussian regression/signal in white noise problems. ‘Finally – a book that goes all the way in the mathematics of nonparametric statistics. It is reasonably selfcontained, despite its depth and breadth, including accessible overviews of the necessary analysis and approximation theory.’ Aad van der Vaart, Universiteit Leiden
PROSE Award for Mathematics 2017 – Winner Cambridge Series in Statistical and Probabilistic Mathematics, 40
2015 253 x 177 mm 720pp 978-1-107-04316-9 Hardback £59.99 / US$99.99 For all formats available, see
www.cambridge.org/9781107043169
Fundamentals of Nonparametric Bayesian Inference Subhashis Ghosal North Carolina State University
and Aad van der Vaart Universiteit Leiden
Written by top researchers, this selfcontained text is the authoritative account of Bayesian nonparametrics, a nearly universal framework for inference in statistics and machine learning, with practical use in all areas of science, including economics and biostatistics. Appendices with prerequisites and
numerous exercises support its use for graduate courses. Cambridge Series in Statistical and Probabilistic Mathematics, 44
2017 253 x 177 mm 656pp 15 b/w illus. 978-0-521-87826-5 Hardback £64.99 / US$89.99 Publication April 2017 For all formats available, see
www.cambridge.org/9780521878265
A First Course in Statistical Programming with R Second edition W. John Braun University of British Columbia, Okanagan
and Duncan J. Murdoch University of Western Ontario
A new edition of a bestselling text, this book provides a first course in programming for a broad range of students who need to work with data. Based on the open-source R statistical package, it introduces statistical graphics and numerical computing ideas such as simulation, optimization, and computational linear algebra. ‘For what has come to be called data analytics, R is a remarkable tour de force. Strong skills with R programming are needed to allow really effective use. Mastering the content of this carefully staged text is an excellent starting point for gaining those skills.’ John Maindonald, Australian National University, Canberra 2016 246 x 189 mm 230pp 40 b/w illus. 5 colour illus. 200 exercises 978-1-107-57646-9 Paperback £29.99 / US$44.99 For all formats available, see
www.cambridge.org/9781107576469
Knowledge Management & Data Mining Statistical Methods for Recommender Systems Deepak K. Agarwal LinkedIn Corporation, California
and Bee-Chung Chen LinkedIn Corporation, California
This book is for researchers and students in statistics, data mining, computer science, machine learning, and marketing, and also practitioners who implement recommender systems. It provides an in-depth discussion of challenges encountered in deploying real-life large-scale systems and stateof-the-art solutions in personalization, explore/exploit, dimension reduction and multi-objective optimization. Contents: Part I. Introduction; Part II. Common Problem Settings; Part III. Advanced Topics. 2016 228 x 152 mm 298pp 66 b/w illus. 18 tables 978-1-107-03607-9 Hardback £34.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107036079
Algorithms and Models for Network Data and Link Analysis François Fouss Université Catholique de Louvain, Belgium
Marco Saerens Université Catholique de Louvain, Belgium
and Masashi Shimbo Nara Institute of Science and Technology, Japan
Network data capture social and economic behavior in a form that can be analyzed using computational tools. In this entry-level guide, algorithms for extracting information are derived in detail and summarized in pseudocode. This book is intended primarily for computer scientists, engineers, statisticians and physicists, but it is also accessible to social network scientists more broadly. ‘This is a remarkable book that contains a coherent and unified presentation of many recent network data analysis concepts and algorithms. Rich with details and references, this is a book from which faculty and students alike will learn a lot!’ Vincent Blondel, Université Catholique de Louvain, Belgium 2016 253 x 177 mm 543pp 14 b/w illus. 7 tables 978-1-107-12577-3 Hardback £64.00 / US$79.99 For all formats available, see
www.cambridge.org/9781107125773
Visit our website at www.cambridge.org/academic
14
Knowledge Management and Data Mining
Predictive Statistics Analysis and Inference beyond Models Bertrand Clarke University of Miami
and Jennifer Clarke University of Miami
This ambitious book aims to bridge the gap between statistics and prediction, by focusing on predictors directly – not modeling or estimation or testing – reorganizing what is known to reveal predictive structure, thus demonstrating what statistics brings to the challenges of data science, machine learning, and applied data-driven disciplines. Contents: Part I. The Predictive View; Part II. Established Settings for Prediction; Part III. Contemporary Prediction. 2017 253 x 177 mm 650pp 978-1-107-02828-9 Hardback c. £64.99 / c. US$79.99 Publication October 2017 For all formats available, see
www.cambridge.org/9781107028289
Financial Analytics with R Building a Laptop Laboratory for Data Science Mark J. Bennett University of Chicago
and Dirk L. Hugen University of Iowa
This book provides the intuition and basic vocabulary as steps towards the financial, statistical, and algorithmic knowledge needed to resolve current industry problems, while also presenting a systematic way of developing analytical programs for finance in the statistical language R. This book is a key training resource for students and professionals alike. ‘A very well-written text on financial analytics, focusing on developing statistical models and using simulation to better understand financial data. R is used throughout for examples, allowing the reader to use the text and code to actively engage in the financial market. It is simply the best text on this subject that I have seen. Highly recommended.’ Joseph M. Hilbe, Arizona State University 2016 247 x 174 mm 392pp 60 b/w illus. 100 colour illus. 40 exercises 978-1-107-15075-1 Hardback £44.99 / US$74.99 For all formats available, see
www.cambridge.org/9781107150751
Communications & Signal Processing Textbook
Partially Observed Markov Decision Processes From Filtering to Controlled Sensing Vikram Krishnamurthy Cornell University, New York
This book covers formulation, algorithms, and structural results of partially observed Markov decision processes, whilst linking theory to real-world applications in controlled sensing. Computations are kept to a minimum, enabling students and researchers in engineering, operations research, and economics to understand the methods and determine the structure of their optimal solution. Contents: Part I. Stochastic Models and Bayesian Filtering; Part II. Partially Observed Markov Decision Processes. Models and Algorithms; Part III. Partially Observed Markov Decision Processes; Part IV. Stochastic Approximation and Reinforcement Learning. 2016 247 x 174 mm 488pp 47 b/w illus. 5 tables 978-1-107-13460-7 Hardback £59.99 / US$99.99 For all formats available, see
www.cambridge.org/9781107134607
LDPC Code Designs, Constructions, and Unification Juane Li University of California, Davis
Shu Lin University of California, Davis
Khaled Abdel-Ghaffar University of California, Davis
William E. Ryan Zeta Associates, Colorado
and Daniel J. Costello, Jr University of Notre Dame, Indiana
Written by leading authorities, this accessible and self-contained text unifies algebraic- and graph-based LDPC code designs and constructions into a single theoretical framework. It is essential reading for electrical engineers and computer scientists wanting to design information and communications systems with better error-control capabilities. ‘This book provides an in-depth survey of recently developed quasi-cyclic LDPC codes. It is a treasured reference on practical channel coding methods for both theorists and practitioners working in communications and information theory.’ Lara Dolecek, University of California, Los Angeles 2016 247 x 174 mm 259pp 57 b/w illus. 8 tables 978-1-107-17568-6 Hardback £79.99 / US$120.00 For all formats available, see
www.cambridge.org/9781107175686
For regular email alerts visit www.cambridge.org/alerts
16
Communications and Signal Processing
Signal Processing and Networking for Big Data Applications
Wireless-Powered Communication Networks
Zhu Han
Architectures, Protocols, and Applications Edited by Dusit Niyato
University of Houston
Mingyi Hong Iowa State University
and Dan Wang Hong Kong Polytechnic University
This unique text helps make sense of big data in engineering applications using tools and techniques from signal processing. Covering fundamental signal processing theories, software implementations, and techniques for analysis, design and optimization, it is ideal for researchers, practitioners and students in signal processing and communications networks. Contents: Part I. Overview of Big Data Applications; Part II. Methodology and Mathematical Background; Part III. Big Data Applications. 2017 247 x 174 mm 500pp 91 b/w illus. 11 tables 978-1-107-12438-7 Hardback c. £99.99 / c. US$125.00 Publication April 2017 For all formats available, see
www.cambridge.org/9781107124387
Nanyang Technological University, Singapore
Ekram Hossain University of Manitoba, Canada
Dong In Kim Sungkyunkwan University, Korea
Vijay Bhargava University of British Columbia, Vancouver
and Lotfollah Shafai University of Manitoba, Canada
Learn about architecture design, protocol optimization, and application development for wireless-powered communication networks with this authoritative guide. It covers fundamental theory, the state of the art in research, and advice on solving practical design problems. Contents: Part I. Basics of Wireless Energy Harvesting and Transfer Technology; Part II. Architectures, Protocols, and Performance Analysis; Part III. Applications of Wireless Energy Harvesting and Transfer. ‘This is a brilliant piece of work which provides a holistic view of the emerging energy harvestingbased wireless communications and networking technology. Starting with the basics … the book cohesively covers different aspects of this technology, including circuit and antenna design issues for wireless energy harvesting devices and performance modeling and analysis of wireless energy harvesting and transfer-based wireless networks, as well as applications of this technology in different wireless networking scenarios. Standardization activities on wireless energy harvesting and
Communications and Signal Processing
transfer are also discussed. As a valuable addition to the library of graduate students, researchers and practitioners working in this area, this book will equip them for further reading and research on this exciting technology.’
17
2017 247 x 174 mm 502pp 71 b/w illus. 21 tables 92 exercises 978-1-107-10249-1 Hardback £76.99 / US$99.99 Publication April 2017 For all formats available, see
www.cambridge.org/9781107102491
Vahid Tarokh, Harvard University, Massachusetts 2016 247 x 174 mm 448pp 222 b/w illus. 40 tables 978-1-107-13569-7 Hardback £79.99 / US$125.00 For all formats available, see
www.cambridge.org/9781107135697
Radio Resource Management in Wireless Networks An Engineering Approach Ekram Hossain University of Manitoba, Canada
Mehdi Rasti Amirkabir University of Technology, Tehran
and Long Bao Le Université du Québec, Montréal
Gain an in-depth understanding of radio resource allocation problems in wireless networks and the techniques used to solve them. This comprehensive resource describes state-of-the-art resource management algorithms and related modeling and analysis techniques, includes numerous practice problems, and is accompanied online by programming codes. Contents: Part I. Basics of Wireless Networks; Part II. Techniques for Modeling and Analysis of Radio Resource Allocation Methods in Wireless Networks; Part III. Physical Layer Resource Allocation in Wireless Networks; Part IV. Link Layer Resource Allocation in Wireless Networks; Part V. Cross-Layer Modeling for Resource Allocation in Wireless Networks.
Big Data over Networks Edited by Shuguang Cui Texas A & M University
Alfred O. Hero, III University of Michigan, Ann Arbor
Zhi-Quan Luo University of Minnesota
and José M. F. Moura Carnegie Mellon University, Pennsylvania
Written by experts in the field, this pioneering text is the first to examine the crucial interaction between big data and three diverse networks: communication, social and biological. Using critical mathematical tools and state-of-the-art research results, it is an essential reference for graduate students, scientific researchers and industry practitioners. Contents: Part I. Mathematical Foundations; Part II. Big Data over Cyber Networks; Part III. Big Data over Social Networks; Part IV. Big Data over Biological Networks. 2016 247 x 174 mm 457pp 115 b/w illus. 30 tables 978-1-107-09900-5 Hardback £64.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107099005
eBooks available at www.cambridge.org/ebookstore
18
Communications and Signal Processing
Textbook
Speech and Audio Processing A MATLAB®-based Approach Ian Vince McLoughlin University of Kent
This accessible introduction includes numerous practical illustrations, exercises, and hands-on MATLAB examples to equip readers with the skills and knowledge needed to work with current and future audio, speech, and hearing processing technologies. Clearly and concisely written, it is an ideal guide for students and industry practitioners alike. ‘Professor Ian Vince McLoughlin, a researcher and an educator, has produced a comprehensive and a complete book on speech and audio signal processing that includes many examples and exercises. This is an authoritative book that covers both basic principles and a wealth of advanced and emerging topics … The concepts are clearly explained and the chapters are organized well with introductions that lead to deeper analysis of topics covered in those chapters.’ Benjamin Premkumar, University of Malaya, Malaysia 2016 247 x 174 mm 400pp 126 b/w illus. 16 tables 108 exercises 978-1-107-08546-6 Hardback £49.99 / US$79.99 For all formats available, see
www.cambridge.org/9781107085466
Sparse Image and Signal Processing Wavelets and Related Geometric Multiscale Analysis Second edition Jean-Luc Starck Centre d’etudes de Saclay, France
Fionn Murtagh Goldsmiths University of London and University of Derby
and Jalal Fadili Ecole Nationale Supérieure d’Ingénieurs de Caen, France
This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal processing with applications in astronomy, biology, physics, MRI, digital media, and forensics. New chapters and sections cover dictionary learning, 3-D data (data cubes), and geolocated data. MATLAB® and IDL code are available. Review of previous edition: ‘One of the main virtues of this book is the expert insight that the authors provide into several design and algorithmic choices that one can face when solving practical problems. The authors give some guidance into understanding how sparsity helps in signal and image processing, what some benefits of overcomplete representations are, when to use isotropic wavelets for image processing, why morphological diversity can be helpful, and how to choose between analysis and synthesis priors for regularization in inverse problems.’ Michael B. Wakin, IEEE Signal Processing Magazine 2015 253 x 177 mm 428pp 194 b/w illus. 109 colour illus. 8 tables 978-1-107-08806-1 Hardback £54.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107088061
Artificial Intelligence Automated Planning and Acting Malik Ghallab Centre National de la Recherche Scientifique (CNRS), Paris
Dana Nau University of Maryland, College Park
and Paolo Traverso FBK ICT – IRST (Center for Scientific and Technological Research), Italy
Autonomous AI systems need complex computational techniques for planning and performing actions. This textbook presents the most recent and advanced techniques within the field that allow systems such as the Mars rovers, intelligent harbor-management systems, or self-driving cards to act effectively in the real world. ‘Automated Planning and Acting will be the text I require my students to read when they first start, and the go-to book on my shelf for my own reference. As a timely source of motivation for game-changing research on the integration of planning and acting, it will also help shape the field for the next decade.’ Sylvie Thiébaux, Australian National University, Canberra, from the Foreword 2016 253 x 177 mm 368pp 94 b/w illus. 978-1-107-03727-4 Hardback £49.99 / US$84.99 For all formats available, see
www.cambridge.org/9781107037274
19
A Formal Theory of Commonsense Psychology How People Think People Think Andrew S. Gordon and Jerry R. Hobbs University of Southern California
This book provides an in-depth exploration of human commonsense reasoning using formal logic in largescale knowledge representation. Of special interest to artificial intelligence researchers, linguists, and cognitive and social psychologists, it serves as a foundation for humanlike artificial intelligence. Contents: Part I. Commonsense Psychology; Part II. Background Theories; Part III. Commonsense Psychology Theories. 2017 253 x 177 mm 678pp 978-1-107-15100-0 Hardback c. £69.99 / c. US$94.99 Publication June 2017 For all formats available, see
www.cambridge.org/9781107151000
Knowledge Engineering Building Cognitive Assistants for Evidence-Based Reasoning Gheorghe Tecuci Dorin Marcu, Mihai Boicu and David A. Schum George Mason University, Virginia
This book presents a significant advancement in knowledge engineering based on learning agent technology. Using the software Disciple-EBR, students, practitioners, and researchers can rapidly develop learning assistants in numerous domains that require evidence-based reasoning, including
For regular email alerts visit www.cambridge.org/alerts
20
Artificial Intelligence
cyber security, law, forensics, medicine, and education. ‘At the pole opposite to statistical machine learning lies disciplined knowledge engineering. This book gives a new and comprehensive journey on the approach to AI as symbol manipulation, putting most of the relevant pieces of knowledge engineering together in a refreshingly interesting and novel way.’ Edward Feigenbaum, Stanford University, California 2016 253 x 177 mm 480pp 350 colour illus. 59 tables 978-1-107-12256-7 Hardback £54.99 / US$94.99 For all formats available, see
www.cambridge.org/9781107122567
Textbook
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments Connecting the Dots Gheorghe Tecuci David A. Schum, Dorin Marcu and Mihai Boicu George Mason University, Virginia
This book teaches the evidential and inferential issues involved in ‘connecting the dots’ to draw defensible and persuasive conclusions from masses of evidence, providing a hands-on learning experience with an advanced analytical tool to generate and test hypotheses. ‘Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments is a valuable resource for those interested in improving intelligence analysis. It provides both
prospective and current intelligence analysts with an easy to read and understand explanation of a complex process, along with suggestions for how to more effectively implement that process. The examples from intelligence analysis and comparison to similar practices in other fields such as medicine, law, and law enforcement help the reader better understand how the interplay of evidence, hypotheses, and arguments can develop in different contexts. In that sense, this book provides a wonderful platform for improving intelligence analysis by learning and employing best scientific reasoning practices.’ Stephen Marrin, James Madison University, Virginia 2016 253 x 177 mm 272pp 111 colour illus. 23 tables 978-1-107-12260-4 Hardback £44.99 / US$69.99 For all formats available, see
www.cambridge.org/9781107122604
The Measure of All Minds Evaluating Natural and Artificial Intelligence José Hernández-Orallo Universitat Politècnica de València, Spain
This cross-disciplinary book is meant for a wide range of readers in artificial intelligence, cognitive science, psychometrics, comparative psychology, and philosophy. It provides a unified framework for evaluating behavioral features of both natural and artificial intelligence, and critically analyzes what the future of intelligence may look like. ‘This highly original, wide-ranging, and thought-provoking book must surely be essential reading for anyone working at the cutting edge of
Artificial Intelligence
[artificial intelligence] research who has wondered about the implications of the entities they are creating and the future they will inhabit.’
Handbook of Computational Social Choice
David Hand, Imperial College London
Edited by Felix Brandt
2017 228 x 152 mm 558pp 61 b/w illus. 7 colour illus. 978-1-107-15301-1 Hardback £59.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107153011
Human and Machine Hearing Extracting Meaning from Sound Richard F. Lyon Google, Inc., Mountain View, California
Drawing on over thirty-five years of experience, Richard F. Lyon comprehensively describes how human hearing works and how to build machines to analyze sounds in the same way that people do. The engineering concepts are presented in an accessible way to bring a diverse range of readers to a common technical understanding. Contents: Part I. Sound Analysis and Representation Overview; Part II. Systems Theory of Hearing; Part III. The Auditory Periphery; Part IV. The Auditory Nervous System; Part V. Learning and Applications. ‘Lyon is a great teacher and he has a deep understanding of the science and art of machine hearing. The reader will be greatly rewarded for engaging with any and all sections of the book.’ Roy D. Patterson, University of Cambridge, from the Foreword 2017 253 x 177 mm 598pp 978-1-107-00753-6 Hardback £54.99 / US$79.99 Publication March 2017 For all formats available, see
21
Technische Universität München
Vincent Conitzer Duke University, North Carolina
Ulle Endriss Universiteit van Amsterdam
Jérôme Lang Université de Paris IX (Paris-Dauphine)
and Ariel D. Procaccia Carnegie Mellon University, Pennsylvania
Foreword by Hervé Moulin
At the intersection of computer science and economics, computational social choice deals with the computational aspects of collective decision making. This book outlines the field’s major themes: voting, fair allocation, and coalition formation. Graduate students and researchers in computer science, economics, mathematics, political science, and philosophy will benefit from this book. Contents: Part I. Voting; Part II. Fair Allocation; Part III. Coalition Formation; Part IV. Additional Topics. ‘The book offers to noneconomists an outstanding self-contained introduction to normative themes in contemporary economics and to economists a thorough discussion of the computational limits of their art. But I also recommend it to anyone with a taste for axiomatics: it is replete with new and open questions that will be with us for some time.’ Hervé Moulin, from the Foreword 2016 253 x 177 mm 548pp 41 b/w illus. 9 tables 978-1-107-06043-2 Hardback £39.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107060432
www.cambridge.org/9781107007536
Visit our website at www.cambridge.org/academic
22
Robotics State Estimation for Robotics
Advanced Analytical Dynamics
A Matrix Lie Group Approach Timothy D. Barfoot
Theory and Applications Vincent De Sapio
University of Toronto
HRL Laboratories LLC, California
This book is intended for students and practitioners of robotics who are interested in using noisy sensor data to estimate the position, orientation, and other state variables of robots as they move through the three-dimensional world. It covers classical and modern techniques commonly used in robotics today.
Intended for graduate students, this textbook provides an understanding of the theoretical underpinnings of analytical mechanics, as well as modern task-based approaches that can be exploited for real-world problems. Students will receive a timely perspective on applying theory to modern problems in areas like biomechanics and robotics.
2017 253 x 177 mm 350pp 978-1-107-15939-6 Hardback c. £69.99 / c. US$99.99 Publication August 2017
2017 234 x 177 mm 304pp 978-1-107-17960-8 Hardback £69.99 / US$99.99 Publication March 2017
For all formats available, see
For all formats available, see
www.cambridge.org/9781107159396
www.cambridge.org/9781107179608
Construction Robots Elementary Technologies and Single-Task Construction Robots Volume 3 Thomas Bock Technische Universität München
and Thomas Linner Technische Universität München
Combining architectural theory with the latest trends in manufacturing technology, this volume shows how single-task construction robots (STCRs) can improve productivity in the construction industry. It presents two hundred types of STCRs and includes numerous real-world case studies, making it an excellent resource for professional engineers and researchers. 2016 253 x 177 mm 304pp 364 b/w illus. 978-1-107-07599-3 Hardback £74.99 / US$125.00 For all formats available, see
www.cambridge.org/9781107075993
Social Computing and HCI Interactions with Search Systems Ryen W. White Microsoft Research
Search engines are an invaluable part of our daily lives. This book describes advances in technology, data availability, and searcher expectations around nextgeneration search engines. It will appeal to undergraduate and graduate students in disciplines such as computer science and information science, as well as scholars and scientists in related areas.
data issues, which both challenge and enlighten our understanding of human behavior in disaster events.’ Leysia Palen, Professor of Computer Science, and Professor and Founding Chair of the Department of Information Science, University of Colorado, Boulder 2016 228 x 152 mm 224pp 10 b/w illus. 6 tables 978-1-107-13576-5 Hardback £39.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107135765
2016 253 x 177 mm 500pp 79 b/w illus. 16 tables 978-1-107-03422-8 Hardback £34.99 / US$59.99
Multilayer Social Networks
For all formats available, see
Capital One, Virginia
www.cambridge.org/9781107034228
23
Mark E. Dickison Matteo Magnani Uppsala Universitet, Sweden
Big Crisis Data
and Luca Rossi
Social Media in Disasters and Time-Critical Situations Carlos Castillo
Multilayer networks are an emerging and active interdisciplinary area. This book unifies and consolidates existing practical and theoretical knowledge on the topic, including data collection and analysis, modeling, and mining of multilayer social network systems, and the evolution of dynamic processes such as information spreading.
During natural disasters people make extensive use of social media. How can this avalanche of messages be processed to extract the information needed to save lives? This book brings together computational methods from many disciplines for processing social media messages under time-critical constraints. ‘Castillo has provided an accessible path through a wide and sometimes unwieldy literature on crisis informatics. This book has an important and timely focus on big
IT University of Copenhagen, Denmark
Contents: Part I. Models and Measures; Part II. Mining Multilayer Networks; Part III. Dynamical Processes; Part IV. Conclusion. 2016 228 x 152 mm 188pp 978-1-107-07949-6 Hardback £59.99 / US$94.99 978-1-107-43875-0 Paperback £24.99 / US$39.99 For all formats available, see
www.cambridge.org/9781107079496
eBooks available at www.cambridge.org/ebookstore
24
Social Computing and HCI
Social Signal Processing
Social Interactions in Virtual Worlds
Edited by Judee K. Burgoon
An Interdisciplinary Perspective Edited by Kiran Lakkaraju
University of Arizona
Nadia Magnenat-Thalmann Université de Genève
Maja Pantic Imperial College London
and Alessandro Vinciarelli University of Glasgow
This book provides authoritative surveys covering all aspects of modeling, detection, analysis, and synthesis of nonverbal behavior in human interaction and human-computer interaction. Each chapter includes both introductory and advanced material to address the needs of beginners and experts. The extensive applications include detection of developmental diseases and analysis of small groups. Contents: Part I. Conceptual Foundations of Social Signal Processing; Part II. Machine Analysis of Social Signals; Part III. Machine Synthesis of Social Signals; Part IV. Applications of Social Signal Processing. 2017 253 x 177 mm 440pp 20 b/w illus. 10 tables 978-1-107-16126-9 Hardback £69.99 / US$89.99 Publication May 2017 For all formats available, see
www.cambridge.org/9781107161269
Sandia National Laboratories, New Mexico
Gita Sukthankar University of Central Florida
and Rolf T. Wigand University of Arkansas
Intended for researchers and practitioners studying how humans interact in complex online worlds such as World of Warcraft, Rift, Eve Online, and Travian, this holistic, cross-disciplinary book integrates social science theories with big data analytics with contributions from computer science, psychology, and other social sciences. 2017 228 x 152 mm 400pp 978-1-107-12882-8 Hardback c. £70.00 / c. US$99.00 Publication September 2017 For all formats available, see
www.cambridge.org/9781107128828
Social Computing and HCI
The Structure and Dynamics of Cities
Darkweb Cyber Threat Intelligence Mining
Urban Data Analysis and Theoretical Modeling Marc Barthelemy
John Robertson Ahmad Diab, Ericsson Marin Eric Nunes, Vivin Paliath Jana Shakarian and Paulo Shakarian
Centre Commissariat à l’Energie Atomique (CEA), Saclay
This book presents a modern, interdisciplinary perspective on cities and urban systems that combines new data with tools from statistical physics and urban economics. Analysis of mobility patterns and infrastructure networks, as well as spatial and social organization, provide a quantitative description of cities for scientists interested in modeling these complex systems. ‘Every so often along comes a book that attempts a grand synthesis. Marc Barthelemy has put together many ideas from statistical physics with theory in urban economics, fashioning an approach that demonstrates its essential logic and empirical relevance. A book that must be absorbed by urbanists of every persuasion and used to advance our science of cities.’
25
Arizona State University
This book examines cyber threat intelligence obtained from the center of the malicious hacking underworld – the dark web. It studies these communities both qualitatively and quantitatively, leveraging techniques from data mining, machine learning and artificial intelligence, and offering insights to both cybersecurity practitioners and researchers. 2017 228 x 152 mm 180pp 978-1-107-18577-7 Hardback £47.99 / US$59.99 Publication March 2017 For all formats available, see
www.cambridge.org/9781107185777
Michael Batty, University College London 2016 247 x 174 mm 278pp 112 b/w illus. 7 tables 978-1-107-10917-9 Hardback £54.99 / US$94.99 For all formats available, see
www.cambridge.org/9781107109179
Visit our website at www.cambridge.org/academic
26
Social Computing and HCI
Improving Homeland Security Decisions
Computational Social Science
Edited by Ali E. Abbas Milind Tambe and Detlof von Winterfeldt
Discovery and Prediction Edited by R. Michael Alvarez
University of Southern California
This book serves as an introduction to the field of computational social science for academics, students, and practitioners. It will also appeal to data scientists who wish to learn about innovations in the area, in particular those interested in how data analytics is applied to study social behavior.
Showcasing the most important results from a twelve-year research program funded by the Department of Homeland Security, this book offers key insights for addressing the most important security problems of our time. Written for homeland security researchers and practitioners, it covers a wide range of methodologies and real world examples. 2017 228 x 152 mm 600pp 978-1-107-16188-7 Hardback £69.99 / US$89.99 Publication April 2017 For all formats available, see
www.cambridge.org/9781107161887
California Institute of Technology
Contents: Part I. Computation Social Science Tools; Part II. Computation Social Science Applications. ‘Computational social science is either the coming or just arrived tidal wave. But how the computations part fits with social science is the most important issue that needs to be settled before this wave overtakes us all. This book does a great job in laying out some of the issues in general terms but, perhaps more importantly, showing the areas where computational social science is (not so) simply good social science.’ Nathaniel Beck, New York University Analytical Methods for Social Research
2016 228 x 152 mm 312pp 46 b/w illus. 2 maps 18 tables 978-1-107-10788-5 Hardback £64.99 / US$99.99 978-1-107-51841-4 Paperback £18.99 / US$34.99 For all formats available, see
www.cambridge.org/9781107107885
Programming Languages, Logic & Software Textbook
Practical Foundations for Programming Languages Second edition Robert Harper Carnegie Mellon University, Pennsylvania
This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs. Review of previous edition: ‘Harper’s book provides a comprehensive treatment of the foundations of computation. He touches on a surprising range of concepts that arise in language design: from simple types to polymorphism to dependent types to modules; from strict to lazy to parallel computation; and from proof techniques for reasoning about extensional behavior to practical, compositional cost models in the presence of garbage collection. More importantly, throughout the book he uses types and the principles of type theory to organize the material and help us discover the orthogonal, composable abstractions that arise naturally not only in the design of programming languages but also in logics and mathematics. This approach helps uncover the fundamental structure lurking inside programming
languages of today, and provides a principled approach to the designs for tomorrow.’ Greg Morrisett, Harvard University, Massachusetts 2016 253 x 177 mm 512pp 978-1-107-15030-0 Hardback £49.99 / US$84.99 For all formats available, see
www.cambridge.org/9781107150300
Temporal Logics in Computer Science Finite-State Systems Stéphane Demri Ecole Normale Supérieure de Cachan
Valentin Goranko Stockholms Universitet
and Martin Lange Universität Kassel, Germany
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses. Contents: Part I. Models; Part II. Logics; Part III. Properties; Part IV. Methods. Cambridge Tracts in Theoretical Computer Science, 58
2016 247 x 174 mm 752pp 180 b/w illus. 450 exercises 978-1-107-02836-4 Hardback £96.00 / US$120.00 For all formats available, see
www.cambridge.org/9781107028364
For regular email alerts visit www.cambridge.org/alerts
28
Programming Languages, Logic and Software
Logic and Algebraic Structures in Quantum Computing Edited by Jennifer Chubb University of San Francisco
Ali Eskandarian George Washington University, Washington DC
and Valentina Harizanov George Washington University, Washington DC
In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists. Lecture Notes in Logic, 45
2016 228 x 152 mm 356pp 130 b/w illus. 10 tables 978-1-107-03339-9 Hardback £89.99 / US$140.00 For all formats available, see
Introduction to Coalgebra Towards Mathematics of States and Observation Bart Jacobs Radboud Universiteit Nijmegen
This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists. Cambridge Tracts in Theoretical Computer Science, 59
2016 247 x 174 mm 494pp 11 b/w illus. 285 exercises 978-1-107-17789-5 Hardback £99.99 / US$155.00 For all formats available, see
www.cambridge.org/9781107177895
www.cambridge.org/9781107033399
Introduction to Parallel Computing Zbigniew J. Czech Silesia University of Technology, Poland
This comprehensive introduction to parallel computing is for students and practitioners alike. It covers both theoretical and practical issues, including fundamentals of concurrent processes, metrics for evaluating and comparing parallel algorithms, and standards for parallel program implementation, in particular MPI and OpenMP interfaces. 2017 253 x 177 mm 378pp 978-1-107-17439-9 Hardback £59.99 / US$89.99 For all formats available, see
www.cambridge.org/9781107174399
Programming Languages, Logic and Software
Textbook
Textbook
Basic Computation and Programming with C
Computer Programming with C++
Subrata Saha
Kunal Pimparkhede
Techno India Hooghly, West Bengal
Vidyalankar Institute of Technology, Mumbai
and Subhodip Mukherjee
This textbook offers clear, extensive coverage of all essential elements of the C++ programming language. Theoretical concepts are described from scratch and are well-supported by pedagogical features, such as solved examples, debugging exercises, points to remember, student-teacher conversations and flow charts.
Techno India College of Technology, West Bengal
Providing in-depth coverage, this book explains C programming concepts through applications and numerous computer programs. The book applies a ‘Learn by quiz’ approach, including multiple choice questions, with answers and explanations. Contents: Part I. Fundamentals of Computer; Part II. Programming in ‘C’; . 2017 244 x 170 mm 662pp 978-1-316-60185-3 Paperback £54.99 / US$94.99
29
2017 244 x 170 mm 1014pp 978-1-316-50680-6 Paperback £59.99 / US$99.99 For all formats available, see
www.cambridge.org/9781316506806
For all formats available, see
www.cambridge.org/9781316601853
eBooks available at www.cambridge.org/ebookstore
30
Programming Languages, Logic and Software
Real-Time Software Design for Embedded Systems Hassan Gomaa George Mason University, Virginia
This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/ RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers. Contents: Part I. Overview; Part II. Software Design Method; Part III. Architectural Analysis; Part IV. Real-Time Software Design Case Studies. ‘This book reports on a comprehensive, practical, and thorough approach to model-driven requirements, analysis, architecture, and design of real-time embedded systems. Another very interesting feature is the numerous, detailed case studies illustrating the proposed methodology. I strongly recommend Hassan Gomaa’s new book to faculty members teaching software development, computer science students, and software engineers.’ Lionel Briand, IEEE Fellow, Professor and ViceDirector, SnT Centre, Université du Luxembourg 2016 253 x 177 mm 602pp 373 b/w illus. 15 tables 978-1-107-04109-7 Hardback £64.00 / US$79.99 For all formats available, see
www.cambridge.org/9781107041097
Textbook
Introduction to Software Testing Second edition Paul Ammann George Mason University, Virginia
and Jeff Offutt George Mason University, Virginia
This extensively classroom-tested text uses an innovative approach to explaining software testing, and covers the latest techniques to test software such as OO, web applications, and embedded software. This new edition features vastly expanded coverage of the basics and the JUnit framework, as well as many new examples and exercises. Contents: Part I. Foundations; Part II. Coverage Criteria; Part III. Testing in Practice. Review of the first edition: ‘I think this is a great testing book, both from academic and industrial perspectives. I believe Ammann and Offutt’s book will become the testing textbook of choice. There are a lot of testing books out there, some better than others. Most are narrow in the topics they cover and the level of detail they present. In stark contrast, Ammann and Offutt’s book has the advantage of presenting concepts and techniques that cover the broad range of languages and platforms used in practice by industry and academia. Theirs is one of the most thorough and practical testing books ever published.’ Roger Alexander, Washington State University 2016 253 x 177 mm 364pp 79 b/w illus. 978-1-107-17201-2 Hardback £49.99 / US$74.99 For all formats available, see
www.cambridge.org/9781107172012
Scientific Computing & Numerical Analysis Python for Scientists
Understanding Maple
Second edition John M. Stewart
Ian Thompson
University of Cambridge
In this short introduction, the key features of Maple are explained as readers learn to use it to solve complex mathematical problems in areas such as algebra, calculus, linear algebra, graphics, and programming. Numerous illustrative examples are provided and a focus is placed on explaining how common problems can be avoided.
This book teaches scientific Python from scratch via copious, downloadable and adaptable code snippets. Everything the working scientist needs to know is covered, quickly providing researchers and research students with the skills to start using Python effectively. Review of previous edition: ‘… the practitioner who wants to learn Python will love it. This is the type of book I have been looking for to learn Python … concise, yet practical.’ Adhemar Bultheel, European Mathematical Society (euro-math-soc.eu) 2017 247 x 174 mm 273pp 978-1-316-64123-1 Paperback £29.99 / US$39.99 Publication April 2017 For all formats available, see
www.cambridge.org/9781316641231
University of Liverpool
2016 216 x 138 mm 235pp 6 b/w illus. 978-1-316-62814-0 Paperback £14.99 / US$21.99 For all formats available, see
www.cambridge.org/9781316628140
Acta Numerica 2016 Volume 25 Edited by Arieh Iserles University of Cambridge
Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis. Acta Numerica, 25
2016 247 x 174 mm 886pp 978-1-107-16805-3 Hardback £110.00 / US$175.00 For all formats available, see
www.cambridge.org/9781107168053
For regular email alerts visit www.cambridge.org/alerts
32
General Interest Calendrical Calculations The Ultimate Edition Fourth edition Edward M. Reingold Illinois Institute of Technology
and Nachum Dershowitz Tel-Aviv University
This unique resource now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, Babylonian, Samaritan, and Nepalese calendars, plus expanded treatments of Islamic and Hebrew calendars. The astronomical functions have been rewritten for more accurate results and include calculations of moonrise and moonset. Contents: Part I. Arithmetical Calendars; Part II. Astronomical Calendars; Part III. Appendices. 2017 234 x 156 mm 684pp 978-1-107-05762-3 Hardback c. £70.00 / c. US$110.00 978-1-107-68316-7 Paperback c. £27.99 / c. US$36.99 Publication July 2017 For all formats available, see
www.cambridge.org/9781107057623
The Banach– Tarski Paradox Second edition Grzegorz Tomkowicz Centrum Edukacji G2, Poland
and Stan Wagon Macalester College, Minnesota
The Banach–Tarski Paradox is the most surprising result in mathematics. This new edition of a classic book offers a comprehensive, accessible presentation, with many related results, especially connections to non-Euclidean geometry, to squaring the circle, and even to some art by Escher. This material is suited to projects for undergraduates or masters students. Contents: Part I. Paradoxical Decompositions, or the Nonexistence of Finitely Additive Measures; Part II. ‘The new edition of The Banach–Tarski Paradox, by Grzegorz Tomkowicz and Stan Wagon, is a welcome revisiting and extensive reworking of the first edition of the book. Whether you are new to the topic of paradoxical decompositions, or have studied the phenomenon for years, this book has a lot to offer. I recommend buying two copies of the book, one for the office and one for the home, because studying the book carefully (perhaps in a series of working seminars) will be worthwhile, and casually browsing through the book in your spare time will be simply a lot of fun.’ Joseph Rosenblatt, Department Chair, Department of Mathematical Sciences, Indiana UniversityPurdue University, Indianapolis Encyclopedia of Mathematics and its Applications, 163
2016 234 x 156 mm 360pp 47 b/w illus. 6 colour illus. 978-1-107-04259-9 Hardback £69.99 / US$110.00 For all formats available, see
www.cambridge.org/9781107042599
General Interest
The Computing Universe A Journey through a Revolution Tony Hey Microsoft Research, Washington
and Gyuri Pápay University of Southampton
This exciting and accessible book takes us on a journey from the early days of computers to the cutting-edge research of the present day. It introduces a fascinating cast of dreamers and inventors who brought these great technological developments, and will open up the universe of computing to those who wonder where their smartphone came from. ‘Tony Hey has made significant contributions to both physics and computer science and with The Computing Universe he and his co-author share the knowledge and history that has inspired us all.’ Bill Gates
Choice Outstanding Academic Title 2015 – Winner 2014 297 x 210 mm 424pp 596 colour illus. 20 tables 978-0-521-76645-6 Hardback £51.00 / US$87.00 978-0-521-15018-7 Paperback £25.99 / US$39.99
33
Highlight
Tallinn Manual 2.0 on the International Law Applicable to Cyber Operations Second edition General Editor Michael N. Schmitt United States Naval War College, Newport, Rhode Island
Prepared by an international group of experts, Tallinn Manual 2.0 provides a comprehensive treatment of public international law as it applies to cyberspace. The manual builds on the highly influential first edition by expanding its treatment to the law of peacetime cyber operations. Contents: Part I. General International Law and Cyberspace; Part II. International Peace and Security and Cyber Activities; Part III. The Law of Cyber Armed Conflict. 2017 228 x 152 mm 638pp 978-1-107-17722-2 Hardback £100.00 / US$125.00 978-1-316-63037-2 Paperback £44.99 / US$59.99 For all formats available, see
www.cambridge.org/9781107177222
For all formats available, see
www.cambridge.org/9780521766456
Visit our website at www.cambridge.org/academic
34
General Interest
The Once and Future Turing Computing the World Edited by S. Barry Cooper University of Leeds
and Andrew Hodges University of Oxford
Alan Turing made a seminal contribution to various fields. Here, original essays bring new thinking to a range of Turing’s ideas and demonstrate their relevance to modern research. It will provoke and engross the reader interested in the lasting significance of one of the twentieth century’s deepest thinkers. Contents: Part I. Inside our Computable World, and the Mathematics of Universality; Part II. The Computation of Processes, and Not Computing the Brain; Part III. The Reverse Engineering Road to Computing Life; Part IV. Biology, Mind, and the Outer Reaches of Quantum Computation; Part V. Oracles, Infinitary Computation, and the Physics of the Mind. 2016 247 x 174 mm 395pp 49 colour illus. 4 tables 978-1-107-01083-3 Hardback £24.99 / US$39.99 For all formats available, see
www.cambridge.org/9781107010833
Highlight
The Inner Workings of Life Vignettes in Systems Biology Eberhard O. Voit Georgia Institute of Technology
Comprised of short vignettes, this introductory text explains key concepts within a systems biology approach without resorting to mathematical equations or technical jargon. Suitable for students and researchers alike, this is the first book aimed at a more introductory level to systems biology. ‘Popular science books have enabled the public to gain an appreciation for advances in a variety of esoteric disciplines ranging from chaos theory to evolutionary biology. But we lack a ‘fun read’ for the emerging field of systems biology, which is bringing together computer scientists, physicists and biologists to figure out the complex inner workings of living cells. Eberhard O. Voit has filled that gap with his new book. Voit provides the reader with an insider’s tour of systems biology, providing us [with] a sense of how this exciting field will change our lives in the coming years. Impress and challenge your book club with this new offering.’ James J. Collins, Massachusetts Institute of Technology and Harvard University, Massachusetts 2016 228 x 152 mm 222pp 978-1-107-14995-3 Hardback £49.99 / US$79.99 978-1-316-60442-7 Paperback £19.99 / US$29.99 For all formats available, see
www.cambridge.org/9781107149953
Computer Science Journals from Cambridge AI EDAM APSIPA Transactions on Signal and Information Processing Combinatorics, Probability and Computing Design Science Journal of Functional Programming The Knowledge Engineering Review LMS Journal of Computation and Mathematics Mathematical Structures in Computer Science Natural Language Engineering Network Science Probability in the Engineering and Informational Sciences ReCALL The Review of Symbolic Logic Robotica Theory and Practice of Logic Programming
To access articles and activate email content alerts visit
02699648_29-1_02699648_29-1 02/01/15 3:19 PM Page 1
in the Engineering and Informational Sciences Volume 29
2015
Number 1
CONTENTS
1 27
cambridge.org/core/browse-subjects/ computer-science
51 77 99 117
131
Volume 29, Number 1, 2015
Structure-Reversibility of a Two-Dimensional Reflecting Random Walk and its Application to Queueing Network Masahiro Kobayashi, Masakiyo Miyazawa, and Hiroshi Shimizu Nonstationary Loss Queues Via Cumulant Moment Approximations Jamol Pender Multi-Armed Bandits under General Depreciation and Commitment Wesley Cowan and Michael N. Katehakis Optimal Maintenance of Semi-Markov Missions Bora Çekyay and Süleyman Özekici On a Generalized Q-Urn Model May-Ru Chen and Shoou-Ren Hsiau Study of Instant System Availability Kai Huang and Jie Mi Modeling and Optimization of Genetic Screens Via RNA Interference and FACS Yair Goldberg and Yuval Nov
PROBABILITY in the ENGINEERING and INFORMATIONAL SCIENCES
PROBABILITY
Pages 1–146
Cambridge Journals Online
For further information about this journal please go to the journal website at:
journals.cambridge.org/pes
Volume 29 | 2015 Number 1
The new home of academic content
Including content from Cambridge Journals Online • Cambridge Books Online Cambridge Histories Online • Cambridge Companions Online Shakespeare Survey Online • University Publishing Online
cambridge.org/core