Cup computer catalogue2014

32
Computer Science 2014 www.cambridge.org/computerscience2014

description

 

Transcript of Cup computer catalogue2014

  • 2014 CS Covers CHOSEN.indd 1 27/11/2013 11:42

    Computer Science 2014www.cambridge.org/computerscience2014

  • 2014 CS Covers CHOSEN.indd 1 27/11/2013 11:42

    Welcome to the Computer Science books catalogue 2014.Here you will find new and forthcoming titles, representing the highest level of academic research from renowned authors. Our highlights this year include The Semantic Web Explained, Brain-Computer Interfacing, Mobile Robotics, and Stochastic Networks by Frank Kelly and Elena Yudovina.

    Our publications are available in a variety of formats, including ebooks and print, as well as online collections for institutional purchase via our publishing service University Publishing Online, which incorporates the Cambridge Books Online platform.

    We also publish a range of leading Computer Science journals, including Network Science, Robotica, and The Review of Symbolic Logic (see back inside page for more information). You can recommend our books, online collections and journals to your librarian by filling out the form at the back of this catalogue.

    To see more book listings, product information, preview extracts and reviews, and to find out which conferences we are attending, you can find us online at www.cambridge.org/computerscience2014.

    You can also keep up to date with the latest news and author views from our academic blog at www.cambridgeblog.org/category/sci-tech/

    We hope that you enjoy reading about our latest publications. For queries, suggestions or proposals, you can find a list of useful contacts at the back of this catalogue.

    www.cambridge.org/computerscience2014

    +44 (0)1223 326050

    [email protected]

    How to order booksStay up to date with Cambridge Alerts

    *Terms and conditions apply. full details at http://www.cambridge.org/academic/alerts-terms-and-conditions

    Visit www.cambridge.org/alerts to receive email alerts on new books, offers and news in the subjects of interest to you

    15% OFFyour first online

    purchase*

  • 2014 CS Covers CHOSEN.indd 1 27/11/2013 11:42

    Knowledge management, databases, datamining 1

    Pattern recognition and machine learning 4

    Computational biology and bioinformatics 5

    Artificial intelligence and natural language processing 5

    Computer graphics, image processing, robotics and computer vision 7

    Algorithmics, complexity, computer algebra and computational geometry 9

    Cryptography, cryptology and coding 11

    Communications, information theory and security 12

    Computer hardware, architecture and systems 13

    Distributed, networked and mobile computing 14

    Programming languages and applied logic 15

    Scientific computing, scientific software 18

    Also of interest 18Information on related journals

    Inside back cover

    Contents

    THE

    ExplainEdThe Technology and Mathematics behind Web 3.0

    Pter SzerediGergely Lukcsy

    Tams Benk

    see page 2

    see page 3

    see page 6

    see page 8

    see page 9

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    The Semantic Web ExplainedThe Technology and Mathematics behind Web 3.0 Pter Szeredi, Budapest University of Technology and Economics

    Gergely Lukcsy, Cisco Systems, Ireland

    Tams Benk, Digital Enterprise Research Institute, Ireland

    The Semantic Web is a new area of research and development in the field of computer science that aims to make it easier for computers to process the huge amount of information on the web, and indeed other large databases, by enabling them not only to read, but also to understand the information. Based on successful courses taught by the authors, and liberally sprinkled with examples and exercises, this comprehensive textbook describes not only the theoretical issues underlying the Semantic Web, but also algorithms, optimisation ideas and implementation details. The book will therefore be valuable to practitioners as well as students, indeed to anyone who is interested in Internet technology, knowledge engineering or description logics. Supplementary materials available online include the source code of program examples and solutions to selected exercises.

    The first comprehensive textbook on the Semantic Web designed for higher education courses

    Includes a full introduction to description logics, the formalism underlying the Semantic Web

    Contains numerous exercises to aid teaching and learning

    Paperback | 9780521700368 | June 2014 | c. 29.99

    www.cambridge.org/szeredi

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Knowledge management, databases, datamining 1

    eBooks available at www.cambridge.org/ebookstore

    Knowledge management, databases, datamining

    Social Media MiningAn IntroductionReza ZafaraniArizona State University

    Mohammad Ali AbbasiArizona State University

    and Huan LiuArizona State University

    Social Media Mining integrates social media, social network analysis, and data mining to provide a convenient and coherent platform for students, practitioners, researchers, and project managers to understand the basics and potentials of social media mining. It introduces the unique problems arising from social media data and presents fundamental concepts, emerging issues, and effective algorithms for network analysis and data mining.2014 234x156mm 352pp 109b/willus.20tables107exercises 978-1-107-01885-3 Hardback c.40.00 Publication April 2014

    For all formats available, seewww.cambridge.org/9781107018853

    TexTbook

    Data Mining and AnalysisFundamental Concepts and AlgorithmsMohammed J. ZakiRensselaer Polytechnic Institute, New York

    and Wagner Meira, JrUniversidade Federal de Minas Gerais, Brazil

    The fundamental algorithms in data mining and analysis are the basis for business intelligence and analytics, as well as automated methods to analyze patterns and models for all kinds of data. This textbook for senior undergraduate and graduate data mining courses provides a comprehensive overview from an algorithmic perspective, integrating concepts from machine learning and statistics, with plenty of examples and exercises.Contents: 1.Data mining and analysis; PartI.Data Analysis Foundations: 2.Numeric attributes; 3.Categorical attributes; 4.Graph data; 5.Kernel methods; 6.High-dimensional data; 7.Dimensionality reduction; PartII.Frequent Pattern Mining: 8.Itemset mining; 9.Summarizing itemsets; 10.Sequence mining; 11.Graph pattern mining; 12.Pattern and rule assessment; PartIII.Clustering: 13.Representative-based clustering; 14.Hierarchical clustering; 15.Density-based clustering; 16.Spectral and graph clustering; 17.Clustering validation; PartIV.Classification: 18.Probabilistic classification; 19.Decision tree classifier; 20.Linear discriminant analysis; 21.Support vector machines; 22.Classification assessment.2014 253x177mm 550pp 186b/willus.85tables130exercises 978-0-521-76633-3 Hardback c.35.00 Publication March 2014

    For all formats available, see: www.cambridge.org/9780521766333

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2 Knowledge management, databases, datamining

    Foundations of Data ExchangeMarcelo ArenasPontificia Universidad Catolica de Chile

    Pablo BarcelUniversidad de Chile

    Leonid LibkinUniversity of Edinburgh

    and Filip MurlakUniwersytet Warszawski, Poland

    Data exchange is the problem of exchanging data between different databases with different schemas. A systematic study has been conducted over the past decade, making it one of the most active research topics in databases. This book is the first to summarize the key developments in that research.2014 247x174mm 344pp 26b/willus.90exercises 978-1-107-01616-3 Hardback 35.00 Publication February 2014

    For all formats available, seewww.cambridge.org/9781107016163

    The Semantic Web ExplainedThe Technology and Mathematics behind Web 3.0Pter SzerediBudapest University of Technology and Economics

    Gergely LukcsyCisco Systems, Ireland

    and Tams BenkDigital Enterprise Research Institute, Ireland

    A textbook based on successful courses taught by the authors. They describe not only the theoretical issues underlying the Semantic Web, but also practical matters, making it valuable for students and practitioners. Supplementary web-based materials include the source code

    of program examples and the syntactic description of various languages.2014 247x174mm 500pp 117b/willus.195exercises 978-0-521-70036-8 Paperback c.29.99 Publication May 2014

    For all formats available, seewww.cambridge.org/9780521700368

    Fundamentals of Stream ProcessingApplication Design, Systems, and AnalyticsHenrique AndradeJ. P. Morgan

    Bura GedikBilkent University, Ankara

    and Deepak TuragaIBM Thomas J. Watson Research Center, New York

    This book teaches fundamentals of the stream processing paradigm that addresses performance, scalability and usability challenges in extracting insights from massive amounts of live, streaming data. It presents core principles behind application design, system infrastructure and analytics, coupled with real-world examples for a comprehensive understanding of the stream processing area.2013 247x174mm 624pp 191b/willus.17tables10exercises 978-1-107-01554-8 Hardback 65.00 Publication December 2013

    For all formats available, seewww.cambridge.org/9781107015548

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Knowledge management, databases, datamining 3

    For regular email alerts visit www.cambridge.org/alerts

    Mobility DataModeling, Management, and UnderstandingEdited by Chiara RensoIstituto di Scienze e Tecnologie dellInformazione, CNR, Universit di Pisa, Italy

    Stefano Spaccapietracole Polytechnique Fdrale de Lausanne

    and Esteban ZimnyiUniversit Libre de Bruxelles

    Mobility of people and goods is essential in the global economy. The ability to track the routes and patterns associated with this mobility offers unprecedented opportunities for developing new, smarter applications in different domains. Written by a renowned group of worldwide experts, this book surveys the myriad facets of monitoring people in motion, from spatio-temporal data modeling, to data aggregation and warehousing, to data analysis.2013 234x156mm 368pp 95b/willus.14colour illus.6tables 978-1-107-02171-6 Hardback 50.00

    For all formats available, seewww.cambridge.org/9781107021716

    Whos Bigger?Where Historical Figures Really RankSteven SkienaStony Brook University, State University of New York

    and Charles WardGoogle, Inc., Mountain View, California

    Is Hitler bigger than Napoleon? Washington bigger than Lincoln? Picasso bigger than Einstein? Quantitative analysts are rapidly finding homes in social and cultural domains, from finance to politics. What about history? In this fascinating book, Steve Skiena and Charles Ward bring quantitative analysis

    to bear on ranking and comparing historical reputations. They evaluate each person by aggregating the traces of millions of opinions, just as Google ranks webpages. The book includes a technical discussion for readers interested in the details of the methods, but no mathematical or computational background is necessary to understand the rankings or conclusions. Along the way, the authors present the rankings of more than one thousand of historys most significant people in science, politics, entertainment, and all areas of human endeavor. Anyone interested in history or biography can see where their favorite figures place in the grand scheme of things.2013 228x152mm 408pp 101b/willus.2maps176tables 978-1-107-04137-0 Hardback 18.99

    For all formats available, seewww.cambridge.org/9781107041370

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    4 Pattern recognition and machine learning

    Pattern recognition and machine learning

    A Basic Course in Measure and ProbabilityTheory for ApplicationsRoss LeadbetterUniversity of North Carolina, Chapel Hill

    Stamatis CambanisUniversity of North Carolina, Chapel Hill

    and Vladas PipirasUniversity of North Carolina, Chapel Hill

    This concise introduction covers all of the measure theory and probability most useful for statisticians. Originating from the authors own graduate course, it is perfect for a two-term course or for self-study. It is especially useful to graduate students in related fields who want to shore up their mathematical foundation.2014 228x152mm 370pp 15b/willus.300exercises 978-1-107-02040-5 Hardback c.75.00 978-1-107-65252-1 Paperback c.29.99 Publication January 2014

    For all formats available, seewww.cambridge.org/9781107020405

    Kernel Methods and Machine LearningS. Y. KungPrinceton University, New Jersey

    Containing numerous algorithms and major theorems, this step-by-step guide covers the fundamentals of kernel-based learning theory. Including over 200

    problems and real-world examples, it is an essential resource for graduate students and professionals in computer science, electrical and biomedical engineering. Solutions to problems are provided online for instructors.2014 247x174mm 495pp 136b/willus.21tables 978-1-107-02496-0 Hardback c.50.00 Publication February 2014

    For all formats available, seewww.cambridge.org/9781107024960

    Analysis of Multivariate and High-Dimensional DataInge KochUniversity of Adelaide

    Big data poses challenges that require both classical multivariate methods and modern machine-learning techniques. This coherent treatment integrates theory with data analysis, visualisation and interpretation of the analysis. Problems, data sets and Matlab code complete the package. Suitable for masters/graduate students in statistics and working scientists in data-rich disciplines.Cambridge Series in Statistical and Probabilistic Mathematics, 32

    2013 253x177mm 400pp 5b/willus.98colour illus.76tables138exercises 978-0-521-88793-9 Hardback 55.00 Publication December 2013

    For all formats available, seewww.cambridge.org/9780521887939

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Computational biology and bioinformatics / Artificial intelligence and natural language processing

    5

    Visit our website at www.cambridge.org/knowledge

    Computational biology and bioinformatics

    Advances in Statistical BioinformaticsModels and Integrative Inference for High-Throughput DataEdited by Kim-Anh DoUniversity of Texas MD Anderson Cancer Center

    Zhaohui Steve QinEmory University, Atlanta

    and Marina VannucciRice University, Houston

    Within the context of genomic medicine and with a strong focus on cancer research, this book describes the integration of high-throughput bioinformatics data from multiple platforms to inform our understanding of the functional consequences of genomic alterations. This material is written for statisticians who are interested in modeling and analyzing high-throughput data.2013 228x152mm 511pp 120b/willus.17colour illus.20tables 978-1-107-02752-7 Hardback 80.00

    For all formats available, seewww.cambridge.org/9781107027527

    Artificial intelligence and natural language processing

    Natural Language Generation in Interactive SystemsEdited by Amanda StentAT&T Research, Florham Park, New Jersey

    and Srinivas BangaloreAT&T Research, Florham Park, New Jersey

    An informative and comprehensive overview of the state of the art in natural language generation for interactive systems, this guide serves to introduce graduate students and new researchers to the field of natural language processing and artificial intelligence, with links to corpora, data, software and other resources for pursuing research in this field.2014 247x174mm 410pp 65b/willus.37tables 978-1-107-01002-4 Hardback c.45.00 Publication April 2014

    For all formats available, seewww.cambridge.org/9781107010024

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    6 Artificial intelligence and natural language processing

    Knowledge Representation, Reasoning, and the Design of Intelligent AgentsThe Answer-Set Programming ApproachMichael GelfondTexas Tech University

    and Yulia Kahl

    This in-depth introduction to knowledge representation and reasoning and their use in designing agents for answering logical and probabilistic queries, planning, diagnostics, and other intelligent tasks is based on answer set programming, a powerful knowledge-representation paradigm. It is intended as a textbook for courses in artificial intelligence and will also interest researchers wanting to learn more about recent developments.2014 228x152mm 360pp 25b/willus.3tables97exercises 978-1-107-02956-9 Hardback c.45.00 Publication March 2014

    For all formats available, seewww.cambridge.org/9781107029569

    Brain-Computer InterfacingAn IntroductionRajesh P. N. RaoUniversity of Washington

    This introduction to the field of brain-computer interfacing is designed as a textbook for upper-level undergraduate and first-year graduate courses in neural engineering or brain-computer interfacing for students from a wide range of disciplines. It can also be used as a reference by neuroscientists,

    computer scientists, engineers, and medical practitioners.

    Rajesh Rao has written the perfect introduction to the exciting world of brain-computer interfaces. The book is remarkably comprehensive not only including full descriptions of classic and current experiments but also covering essential background concepts, from the brain to Bayes and back. Brain-Computer Interfacing will be welcomed by a wide range of intelligent readers interested in understanding the first steps toward the symbiotic merger of brains and computers.Eberhard E. Fetz, Professor of Physiology and Biophysics, University of Washington

    2013 253x177mm 352pp 130b/willus.16colour illus.3tables179exercises 978-0-521-76941-9 Hardback 50.00

    For all formats available, seewww.cambridge.org/9780521769419

    Methods of ArgumentationDouglas WaltonUniversity of Windsor, Ontario

    This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of interesting examples. Written in a nontechnical style, the book explains what you most need to know by applying the methods to many real examples of arguments found in everyday conversational exchanges and legal argumentation.2013 228x152mm 322pp 55b/willus.10tables 978-1-107-03930-8 Hardback 55.00 978-1-107-67733-3 Paperback 19.99For all formats available, see:

    www.cambridge.org/9781107039308

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Artificial intelligence and natural language processing / Computer graphics, image processing, robotics and computer vision

    7

    eBooks available at www.cambridge.org/ebookstore

    Pure Inductive LogicJeffrey ParisUniversity of Manchester

    and Alena VencovskUniversity of Manchester

    This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.Perspectives in Logic

    2014 228x152mm 360pp 1b/willus. 978-1-107-04230-8 Hardback c.60.00 Publication June 2014

    For all formats available, seewww.cambridge.org/9781107042308

    Computer graphics, image processing, robotics and computer vision

    Multimedia ComputingGerald FriedlandInternational Computer Science Institute, Berkeley, California

    and Ramesh JainUniversity of California, Irvine

    This innovative textbook presents current techniques in computing and communication, developing an holistic approach to multimedia computing using heterogeneous data sources in

    the same way humans understand information through the perspective of our five senses. The authors describe fundamental properties and algorithms, relating these emerging applications that use multifarious information sources.2014 253x177mm 352pp 111b/willus.9colour illus.3tables233exercises 978-0-521-76451-3 Hardback c.45.00 Publication May 2014

    For all formats available, seewww.cambridge.org/9780521764513

    TexTbook

    Foundations of Signal ProcessingMartin Vetterlicole Polytechnique Fdrale de Lausanne

    Jelena KovaeviCarnegie Mellon University, Pennsylvania

    and Vivek K. GoyalMassachusetts Institute of Technology

    This comprehensive, accessible textbook covers the basics of signal processing, building up from fundamental principles to practical applications. It uses engineering notation to make mathematical concepts easy to follow, includes numerous homework problems and is accompanied by an extensive

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    8 Computer graphics, image processing, robotics and computer vision

    Mathematica companion and instructor solutions manual.Contents: 1.On rainbows and spectra; 2.From Euclid to Hilbert; 3.Sequences and discrete-time systems; 4.Functions and continuous-time systems; 5.Sampling and interpolation; 6.Approximation and compression; 7.Localization and uncertainty; Exercises with solutions; Exercises.2014 247x174mm 650pp 200b/willus.44tables190exercises 978-1-107-03860-8 Hardback c.40.00 Publication February 2014

    For all formats available, seewww.cambridge.org/9781107038608

    Introduction to Modern Digital HolographyWith MatlabTing-Chung PoonVirginia Polytechnic Institute and State University

    and Jung-Ping LiuFeng Chia University, Taiwan

    Building up from the basic principles of optics, this straightforward introduction to digital holography, aimed at graduate students, engineers and researchers, describes modern techniques and applications, plus all the necessary underlying theory. Supporting Matlab code is available for download online, and homework problems are accompanied by an instructor solution manual.2014 247x174mm 248pp 124b/willus.28tables 978-1-107-01670-5 Hardback 60.00 Publication January 2014

    For all formats available, seewww.cambridge.org/9781107016705

    Mobile RoboticsMathematics, Models, and MethodsAlonzo KellyCarnegie Mellon University, Pennsylvania

    Mobile Robotics offers comprehensive coverage of the essentials of the field, suitable for both students and practitioners. Adapted from Alonzo Kellys graduate and undergraduate courses, the content of the book reflects current approaches to developing effective mobile robots.2013 253x177mm 808pp 416b/willus.26tables113exercises 978-1-107-03115-9 Hardback 60.00 Publication December 2013

    For all formats available, seewww.cambridge.org/9781107031159

    Dynamics of Multibody SystemsFourth editionAhmed A. ShabanaUniversity of Illinois, Chicago

    This fourth edition introduces multibody dynamics with an emphasis on flexible body dynamics. It includes an additional chapter providing explanations for some of the fundamental issues addressed. The books wealth of examples and practical applications will be useful to graduate students, researchers and practising engineers working on flexible multibody systems.2013 253x177mm 408pp 93b/willus.113exercises 978-1-107-04265-0 Hardback 75.00

    For all formats available, seewww.cambridge.org/9781107042650

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Computer graphics, image processing, robotics and computer vision / Algorithmics, complexity, computer algebra and computational geometry

    9

    Visit our website at www.cambridge.org/knowledge

    Bayesian Filtering and SmoothingSimo SrkkAalto University, Finland

    This compact, informal introduction for graduate students and advanced undergraduates draws together modern state estimation methods including non-linear Kalman filters, particle filters, and the related smoothing algorithms. Its practical and algorithmic approach assumes only modest mathematical prerequisites. End-of-chapter exercises include computational assignments and Matlab code is available for download.Institute of Mathematical Statistics Textbooks, 3

    2013 228x152mm 254pp 55b/willus.60exercises 978-1-107-03065-7 Hardback 60.00 978-1-107-61928-9 Paperback 21.99

    For all formats available, seewww.cambridge.org/9781107030657

    Algorithmics, complexity, computer algebra and computational geometry

    Modern Computer AlgebraThird editionJoachim von zur GathenBonn-Aachen International Center for Information Technology

    and Jrgen GerhardMaplesoft, Canada

    Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook is widely regarded as the bible of computer algebra. Its comprehensiveness and reliability also makes it an essential reference for professionals. This updated edition includes an overview of recent improvements in areas like primality testing.

    Review of previous edition: Wow! What a beautifully produced book, and what a wealth of information.Don Knuth, Stanford University

    2013 247x174mm 808pp 55b/willus.53colour illus.40tables560exercises 978-1-107-03903-2 Hardback 75.00

    For all formats available, seewww.cambridge.org/9781107039032

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    10 Algorithmics, complexity, computer algebra and computational geometry

    Analytic Combinatorics in Several VariablesRobin PemantleUniversity of Pennsylvania

    and Mark C. WilsonUniversity of Auckland

    This book is the result of nearly fifteen years work on developing analytic machinery to recover, as effectively as possible, asymptotics of the coefficients of a multivariate generating function. It is the first book to describe many of the results and techniques necessary to estimate coefficients of generating functions in more than one variable.Cambridge Studies in Advanced Mathematics, 140

    2013 228x152mm 392pp 53b/willus.2tables64exercises 978-1-107-03157-9 Hardback 45.00

    For all formats available, seewww.cambridge.org/9781107031579

    Effective Mathematics of the UncountableEdited by Noam GreenbergVictoria University of Wellington

    Denis HirschfeldtUniversity of Chicago

    Joel David HamkinsCollege of Staten Island

    and Russell MillerQueens College, City University of New York

    This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives explored within reveal different aspects of effective uncountable mathematics, making it an ideal resource for graduate and advanced undergraduate students and

    researchers in this exciting new area of study.Lecture Notes in Logic, 41

    2013 228x152mm 204pp 978-1-107-01451-0 Hardback 55.00

    For all formats available, seewww.cambridge.org/9781107014510

    Surveys in Combinatorics 2013Edited by Simon R. BlackburnRoyal Holloway, University of London

    Stefanie GerkeRoyal Holloway, University of London

    and Mark WildonRoyal Holloway, University of London

    This book consists of nine survey papers by internationally renowned mathematicians. It will be of interest to researchers in combinatorics, from graduate students who want an overview of several areas to advanced researchers who want to have an in-depth analysis of recent developments.London Mathematical Society Lecture Note Series

    2013 228x152mm 384pp 30b/willus.2tables 978-1-107-65195-1 Paperback 45.00

    For all formats available, seewww.cambridge.org/9781107651951

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Algorithmics, complexity, computer algebra and computational geometry / Cryptography, cryptology and coding

    11

    For regular email alerts visit www.cambridge.org/alerts

    Cryptography, cryptology and coding

    Cryptography and Secure CommunicationRichard E. BlahutUniversity of Illinois, Urbana-Champaign

    This fascinating book presents the timeless mathematical theory underpinning cryptosystems both old and new, written specifically with engineers in mind. Ideal for graduate students and researchers in engineering and computer science, and practitioners involved in the design of security systems for communications networks.2014 247x174mm 584pp 77b/willus.230exercises 978-1-107-01427-5 Hardback 65.00 Publication March 2014

    For all formats available, seewww.cambridge.org/9781107014275

    Information Theory and Coding by ExampleMark KelbertSwansea University

    and Yuri SuhovUniversity of Cambridge

    Introducing both the probabilistic and algebraic aspects of the subject, this book provides relevant background material, a wide range of examples and clear solutions to problems from real exam papers. It is a valuable teaching aid for students, or for researchers and

    engineers who want to grasp the basic principles.2013 247x174mm 526pp 30b/willus.100exercises 978-0-521-76935-8 Hardback 75.00 978-0-521-13988-5 Paperback 35.00

    For all formats available, seewww.cambridge.org/9780521769358

    Quantum Information TheoryMark M. WildeLouisiana State University

    Finally, here is a modern, self-contained text on quantum information theory suitable for graduate-level courses. Developing the subject from the ground up it covers classical results as well as major advances of the past decade, such as superadditivity of private, coherent and Holevo information, and the superactivation of quantum capacity.2013 247x174mm 669pp 85b/willus.260exercises 978-1-107-03425-9 Hardback 45.00

    For all formats available, seewww.cambridge.org/9781107034259

    Quantum Computing since DemocritusScott AaronsonMassachusetts Institute of Technology

    Written by noted quantum computing theorist Scott Aaronson, this book takes readers on a tour through some of the deepest ideas of maths, computer science and physics. Aaronsons informal style makes this book a fascinating read for students and researchers working in

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    12 Cryptography, cryptology and coding / Communications, information theory and security

    physics, computer science, mathematics and philosophy.

    Scott Aaronson has written a beautiful and highly original synthesis of what we know about some of the most fundamental questions in science: what is information? What does it mean to compute? What is the nature of mind and of free will? Highly recommended.Michael Nielsen, author of Reinventing Discovery

    2013 228x152mm 398pp 25b/willus. 978-0-521-19956-8 Paperback 24.99

    For all formats available, seewww.cambridge.org/9780521199568

    Communications, information theory and security

    Mechanisms and Games for Dynamic Spectrum AllocationEdited by Tansu AlpcanUniversity of Melbourne

    Holger BocheLehrstuhl fr Theoretische Informationstechnik, Mnchen

    Michael L. HonigNorthwestern University, Illinois

    and H. Vincent PoorPrinceton University, New Jersey

    Presenting state-of-the-art research into methods of wireless spectrum allocation based on game theory and mechanism design, this innovative and comprehensive book covers fundamental

    theory and methods, licensed spectrum sharing and opportunistic spectrum sharing, and will be of interest to academic and industrial researchers alike.2013 247x174mm 576pp 110b/willus.24tables 978-1-107-03412-9 Hardback 110.00 Publication December 2013

    For all formats available, seewww.cambridge.org/9781107034129

    Computer hardware, architecture and systems

    TexTbook

    Performance Modeling and Design of Computer SystemsQueueing Theory in ActionMor Harchol-BalterCarnegie Mellon University, Pennsylvania

    Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science. Through a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises, readers acquire the skills needed to model, analyze and

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Computer hardware, architecture and systems 13

    eBooks available at www.cambridge.org/ebookstore

    design large-scale systems with good performance and low cost.Contents: PartI.Introduction to Queueing: 1.Motivating examples; 2.Queueing theory terminology; PartII.Necessary Probability Background: 3.Probability review; 4.Generating random variables; 5.Sample paths, convergence, and averages; PartIII.The Predictive Power of Simple Operational Laws: What If Questions and Answers: 6.Operational laws; 7.Modification analysis; PartIV.From Markov Chains to Simple Queues: 8.Discrete-time Markov Chains; 9.Ergodicity theory; 10.Real-world examples: Google, Aloha; 11.Generating functions for Markov Chains; 12.Exponential distributions and Poisson Process; 13.Transition to continuous-time Markov Chains; 14.M/M/1 and PASTA; PartV.Server Farms and Networks: Multi-server, Multi-queue Systems: 15.Server farms: M/M/k and M/M/k/k; 16.Capacity provisioning for server farms; 17.Time-reversibility and Burkes Theorem; 18.Jackson network of queues; 19.Classed network of queues; 20.Closed networks of queues; PartVI.Real-World Workloads: High-Variability and Heavy Tails: 21.Tales of tails: real-world workloads; 22.Phase-type workloads and matrix-analytic; 23.Networks of time-sharing (PS) servers; 24.M/G/I queue and inspection paradox; 25.Task assignment for server farms; 26.Transform analysis; 27.M/G/I transform analysis; 28.Power optimization application; PartVII.Smart Scheduling: 29.Performance metrics; 30.Non-preemptive, non-size-based policies; 31.Preemptive, non-size-based policies; 32.Non-preemptive, size-based policies; 33.Preemptive, size-based policies; 34.Scheduling: SRPT and fairness.2013 253x177mm 569pp 215b/willus.11tables300exercises 978-1-107-02750-3 Hardback 48.00

    For all formats available, seewww.cambridge.org/9781107027503

    Distributed, networked and mobile computing

    TexTbook

    Communication NetworksAn Optimization, Control and Stochastic Networks PerspectiveR. SrikantUniversity of Illinois, Urbana-Champaign

    and Lei YingArizona State University

    A modern mathematical approach to the design of communication networks for graduate students, blending control, optimization, and stochastic network theories alongside a broad range of performance analysis tools. Practical applications are illustrated by making connections to network algorithms and protocols. End-of-chapter problems covering a range of difficulties support student learning.Contents: 1.Introduction; 2.Mathematics of internet architecture; 3.Links: statistical multiplexing and queues; 4.Scheduling in packet switches; 5.Scheduling in wireless networks; 6.Back to network utility maximization; 7.Network protocols; 8.Peer-to-peer networks; 9.Queuing theory in continuous time; 10.Heavy-traffic limits of queuing networks; 11.Large deviations; 12.Geometric random graph models of wireless networks.2013 247x174mm 400pp 155b/willus.108exercises 978-1-107-03605-5 Hardback 45.00

    For all formats available, seewww.cambridge.org/9781107036055

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    14 Distributed, networked and mobile computing

    The Handbook of Personal Area Networking Technologies and ProtocolsDean Anthony Gratton

    An authoritative review of the complete short-range RF domain, this definitive handbook demystifies personal-area networking technologies and protocols and explores their application potential in a unique real-world context. An essential read for students, researchers, engineers, product planners and technical marketers alike.

    Once again, Dean [Anthony Gratton] demonstrates his knowledge of the wireless standards landscape by providing a comparison of the many different technologies available. This is a valuable starting point for designers trying to unravel the complexities of the wireless world, helping them to determine the best option for their products.Nick Hunn, independent consultant

    2013 247x174mm 411pp 200b/willus.100tables 978-0-521-19726-7 Hardback 60.00

    For all formats available, seewww.cambridge.org/9780521197267

    Next Generation Wireless LANs802.11n and 802.11acSecond editionEldad PerahiaIntel Corporation, Hillsboro, Oregon

    and Robert StaceyApple Inc.

    This comprehensive, up-to-date overview describes the principles, implementation and enhancing features of 802.11n and 802.11ac. This updated and significantly revised 2nd edition contains new material on 802.11ac, plus chapters on 802.11ac PHY and multi-user MIMO. An ideal reference for WLAN equipment designers, network managers, and students and researchers in wireless communications.

    Praise for the first edition: Books like this one are invaluable because they provide the details and the background that allow readers to answer the questions what is likely to be in the final standard? and how does it work? Eldad and Robert should be congratulated on taking up the challenge.Andrew Myles, Chairman, WiFi Alliance

    2013 247x174mm 480pp 244b/willus.100tables 978-1-107-01676-7 Hardback 45.00

    For all formats available, seewww.cambridge.org/9781107016767

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Distributed, networked and mobile computing / Programming languages and applied logic

    15

    For regular email alerts visit www.cambridge.org/alerts

    Body Area NetworksSafety, Security, and SustainabilitySandeep K. S. GuptaArizona State University

    Tridib MukherjeeXerox Research Centre, India

    and Krishna Kumar VenkatasubramanianWorcester Polytechnic Institute, Massachusetts

    Introducing cutting-edge theoretical and practical techniques, this book explores the issues involved in designing safe, secure and sustainable BANs from a cyber-physical systems perspective. It examines how we can re-imagine the design of specific elements of BANs, and is invaluable for researchers and graduate students.2013 247x174mm 154pp 31b/willus.9tables40exercises 978-1-107-02102-0 Hardback 60.00

    For all formats available, seewww.cambridge.org/9781107021020

    Programming languages and applied logic

    Modal Logic for PhilosophersSecond editionJames W. GarsonUniversity of Houston

    This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new chapter on logics of conditionals, an updated and

    expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.2014 228x152mm 508pp 35tables 978-1-107-02955-2 Hardback 65.00 978-1-107-60952-5 Paperback 24.99 Publication January 2014

    For all formats available, seewww.cambridge.org/9781107029552

    Systematic Program DesignFrom Clarity to EfficiencyYanhong Annie LiuStony Brook University, State University of New York

    A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations.2013 234x156mm 252pp 14b/willus.90exercises 978-1-107-03660-4 Hardback 60.00 978-1-107-61079-8 Paperback 24.99

    For all formats available, seewww.cambridge.org/9781107036604

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    16 Programming languages and applied logic

    Functional Programming Using F#Michael R. HansenTechnical University of Denmark, Lyngby

    and Hans RischelTechnical University of Denmark, Lyngby

    This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. With more than 130 examples and exercises, the book is perfect for courses in functional programming and for self-study.2013 253x177mm 371pp 76b/willus.56tables133exercises 978-1-107-01902-7 Hardback 75.00 978-1-107-68406-5 Paperback 35.00

    For all formats available, seewww.cambridge.org/9781107019027

    Basic Category TheoryTom LeinsterUniversity of Edinburgh

    Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.Cambridge Studies in Advanced Mathematics, 143

    2014 228x152mm 250pp 80exercises 978-1-107-04424-1 Hardback c.35.00 Publication July 2014

    For all formats available, seewww.cambridge.org/9781107044241

    Nominal SetsNames and Symmetry in Computer ScienceAndrew M. PittsUniversity of Cambridge

    Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.Cambridge Tracts in Theoretical Computer Science, 57

    2013 228x152mm 287pp 20b/willus.80exercises 978-1-107-01778-8 Hardback 60.00

    For all formats available, seewww.cambridge.org/9781107017788

    Turings LegacyDevelopments from Turings Ideas in LogicEdited by Rod DowneyVictoria University of Wellington

    Alan Turing, whose centenary was celebrated worldwide in 2012, has come to be recognised as a genius of modern mathematics. This volume presents a diverse collection of essays, written by leading experts, on the many areas of logic and computer science that have their provenance in his work.Lecture Notes in Logic, 42

    2014 228x152mm 600pp 978-1-107-04348-0 Hardback c.60.00 Publication January 2014

    For all formats available, seewww.cambridge.org/9781107043480

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Programming languages and applied logic 17

    Visit our website at www.cambridge.org/knowledge

    Non-Hausdorff Topology and Domain TheorySelected Topics in Point-Set TopologyJean Goubault-LarrecqEcole Normale Suprieure de Cachan

    This rich mathematical text will help both graduate students and researchers master modern topology and domain theory, the key mathematics behind the semantics of computer languages. It deals with elementary and advanced concepts of topology and the theory is illuminated by many examples, figures and more than 450 exercises.New Mathematical Monographs, 22

    2013 228x152mm 497pp 46b/willus.485exercises 978-1-107-03413-6 Hardback 65.00

    For all formats available, seewww.cambridge.org/9781107034136

    Lambda Calculus with TypesHenk BarendregtRadboud Universiteit Nijmegen

    Wil DekkersRadboud Universiteit Nijmegen

    and Richard StatmanCarnegie Mellon University, Pittsburgh, Pennsylvania

    Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple

    types, recursive types and intersection types. Numerous exercises are provided.Perspectives in Logic

    2013 228x152mm 854pp 52b/willus.300exercises 978-0-521-76614-2 Hardback 60.00

    For all formats available, seewww.cambridge.org/9780521766142

    Scientific computing, scientific software

    Acta Numerica 2013Volume 22Edited by Arieh IserlesUniversity 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, 22

    2013 247x174mm 580pp 978-1-107-04386-2 Hardback 93.00

    For all formats available, seewww.cambridge.org/9781107043862

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    18 Programming languages and applied logic / Scientific computing, scientific software / Also of interest

    Recipes for ContinuationHarry DankowiczUniversity of Illinois, Urbana-Champaign

    and Frank SchilderTechnical University of Denmark, Lyngby

    A comprehensive introduction to the mathematical methodology of parameter continuation which places equal emphasis on theoretical rigor, algorithm development and software engineering. It contains fully-worked examples (including MATLAB implementation) and many exercises. Intended for students and teachers of dynamical systems and engineering at advanced undergraduate level and above.Computational Science and Engineering

    2013 247x174mm 600pp 978-1-61197-256-6 Paperback 70.00

    For all formats available, seewww.cambridge.org/9781611972566

    Also of interest

    Quantum Error CorrectionEdited by Daniel A. LidarUniversity of Southern California

    and Todd A. BrunUniversity of Southern California

    This work focuses on quantum error correction. It reviews various methods to control quantum errors and covers experimental and practical issues. Basic as well as advanced theory and topics from cutting-edge research make this book invaluable at the graduate

    level and as a reference for experts in quantum information science.2013 247x174mm 688pp 141b/willus.6tables 978-0-521-89787-7 Hardback 70.00

    For all formats available, seewww.cambridge.org/9780521897877

    TexTbook

    CybercrimeThe Psychology of Online OffendersGrinne KirwanDun Laoghaire Institute of Art, Design and Technology, Dublin

    and Andrew PowerDun Laoghaire Institute of Art, Design and Technology, Dublin

    This textbook on the psychology of the cybercriminal is the first written for undergraduate and postgraduate students of psychology, criminology, law, forensic science and computer science. It requires no specific background knowledge, and covers legal issues, offenders, effects on victims, punishment and preventative measures for a wide range of cybercrimes.

    Kirwan and Power have produced a truly contemporary text that shines a very bright and critical light on the relatively unexplored area of cybercrime. From the borderlands of terrestrial and cybercrime to the new world of virtual crime, this current and rapidly expanding area of academic concern is made accessible and critically comprehensible in both its new concepts and language.David A. Holmes, Manchester Metropolitan University

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Also of interest 19

    eBooks available at www.cambridge.org/ebookstore

    Contents: Preface; 1.Psychology of cybercrime; 2.Cybercrimes and cyberlaw; 3.Hackers; 4.Malware; 5.Identity theft and fraud; 6.Child predation and child pornography online; 7.Cyberbullying and cyberstalking; 8.Digital piracy and copyright infringement; 9.Cyberterrorism; 10.Crime in virtual worlds.2013 246x189mm 275pp 13b/willus.11tables 978-1-107-00444-3 Hardback 60.00 978-0-521-18021-4 Paperback 23.99

    For all formats available, seewww.cambridge.org/9781107004443

    Numerical Methods in Engineering with Python 3Third editionJaan KiusalaasPennsylvania State University

    Provides an introduction to numerical methods for students in engineering courses. This book covers the solution of equations, interpolation and data fitting, solution of differential equations, eigenvalue problems and optimisation. The algorithms are implemented in Python 3, a high-level programming language that rivals MATLAB in readability and ease of use.2013 253x177mm 432pp 31b/willus.19tables 978-1-107-03385-6 Hardback 65.00

    For all formats available, seewww.cambridge.org/9781107033856

    Stochastic NetworksFrank KellyUniversity of Cambridge

    and Elena YudovinaUniversity of Michigan, Ann Arbor

    Communication networks underpin our modern world, and provide fascinating and challenging examples of large-scale stochastic systems. This compact introduction to some of the stochastic models found useful in the study of communication networks is ideal for graduate students wishing to understand this important area of application.Institute of Mathematical Statistics Textbooks, 2

    2013 228x152mm 160pp 60b/willus.80exercises 978-1-107-03577-5 Hardback c.60.00 978-1-107-69170-4 Paperback c.21.99 Publication December 2013

    For all formats available, seewww.cambridge.org/9781107035775

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    20 Index

    A Aaronson, Scott .....................................12Abbasi, Mohammad Ali ...........................1Acta Numerica 2013 .............................18Advances in Statistical Bioinformatics ......5Alpcan, Tansu ........................................12Analysis of Multivariate and High-

    Dimensional Data .................................4Analytic Combinatorics in Several

    Variables ............................................10Andrade, Henrique ..................................2Arenas, Marcelo ......................................2

    B Bangalore, Srinivas ..................................5Barcel, Pablo .........................................2Barendregt, Henk ..................................17Basic Category Theory ...........................16Basic Course in Measure and Probability,

    A .........................................................4Bayesian Filtering and Smoothing ............9Benk, Tams ..........................................2Blackburn, Simon R. ..............................10Blahut, Richard E. ..................................11Boche, Holger ........................................12Body Area Networks ..............................15Brain-Computer Interfacing .....................6Brun, Todd A. ........................................18

    C Cambanis, Stamatis .................................4Communication Networks .....................14Cryptography and Secure

    Communication ..................................11Cybercrime ............................................19

    D Dankowicz, Harry ..................................18Data Mining and Analysis ........................1Dekkers, Wil ..........................................17Do, Kim-Anh ...........................................5Downey, Rod .........................................17Dynamics of Multibody Systems ...............9

    E Effective Mathematics of the

    Uncountable .......................................10

    F Foundations of Data Exchange ................2Foundations of Signal Processing .............8Friedland, Gerald .....................................7Functional Programming Using F# .........16Fundamentals of Stream Processing .........2

    G Garson, James W. ..................................15Gedik, Bura ...........................................2Gelfond, Michael .....................................6Gerhard, Jrgen ......................................9Gerke, Stefanie ......................................10Goubault-Larrecq, Jean ..........................17Goyal, Vivek K. ........................................8Gratton, Dean Anthony ..........................14Greenberg, Noam ..................................10Gupta, Sandeep K. S. .............................15

    H Hamkins, Joel David ..............................10Handbook of Personal Area Networking

    Technologies and Protocols, The ..........14Hansen, Michael R. ................................16Harchol-Balter, Mor ...............................13Hirschfeldt, Denis ..................................10Honig, Michael L. ..................................12

    I Information Theory and Coding by

    Example .............................................11Introduction to Modern Digital

    Holography ..........................................8Iserles, Arieh ..........................................18

    J Jain, Ramesh ...........................................7

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    Index 21

    Visit our website at www.cambridge.org/knowledge

    K Kahl, Yulia ...............................................6Kelbert, Mark ........................................11Kelly, Alonzo ............................................8Kelly, Frank ............................................20Kernel Methods and Machine Learning ....4Kirwan, Grinne ....................................19Kiusalaas, Jaan ......................................19Knowledge Representation, Reasoning,

    and the Design of Intelligent Agents .....6Koch, Inge ...............................................4Kovaevi, Jelena .....................................8Kung, S. Y. ...............................................4

    L Lambda Calculus with Types ..................17Leadbetter, Ross ......................................4Leinster, Tom .........................................16Libkin, Leonid ..........................................2Lidar, Daniel A. ......................................18Liu, Huan ................................................1Liu, Jung-Ping .........................................8Liu, Yanhong Annie ................................16Lukcsy, Gergely ......................................2

    M Mechanisms and Games for Dynamic

    Spectrum Allocation ............................12Meira, Jr, Wagner.....................................1Methods of Argumentation ......................6Miller, Russell ........................................10Mobile Robotics ......................................8Mobility Data ..........................................3Modal Logic for Philosophers .................15Modern Computer Algebra ......................9Mukherjee, Tridib ...................................15Multimedia Computing ............................7Murlak, Filip ............................................2

    N Natural Language Generation in

    Interactive Systems ...............................5Next Generation Wireless LANs .............15Nominal Sets .........................................17

    Non-Hausdorff Topology and Domain Theory ................................................17

    Numerical Methods in Engineering with Python 3 ............................................19

    P Paris, Jeffrey ............................................7Pemantle, Robin ....................................10Perahia, Eldad .......................................15Performance Modeling and Design of

    Computer Systems ..............................13Pipiras, Vladas .........................................4Pitts, Andrew M. ....................................17Poon, Ting-Chung ....................................8Poor, H. Vincent .....................................12Power, Andrew ......................................19Pure Inductive Logic ................................7

    Q Qin, Zhaohui Steve ..................................5Quantum Computing since Democritus ..12Quantum Error Correction ......................18Quantum Information Theory .................11

    R Rao, Rajesh P. N. ......................................6Recipes for Continuation .......................18Renso, Chiara ..........................................3Rischel, Hans .........................................16

    S Srkk, Simo ...........................................9Schilder, Frank .......................................18Semantic Web Explained, The ..................2Shabana, Ahmed A. .................................9Skiena, Steven .........................................3Social Media Mining ................................1Spaccapietra, Stefano ..............................3Srikant, R. .............................................14Stacey, Robert .......................................15Statman, Richard ...................................17Stent, Amanda ........................................5Stochastic Networks ..............................20Suhov, Yuri ............................................11

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    22 Index

    Surveys in Combinatorics 2013 ..............10Systematic Program Design ....................16Szeredi, Pter ..........................................2

    T Turaga, Deepak .......................................2Turings Legacy ......................................17

    V Vannucci, Marina ....................................5Vencovsk, Alena ....................................7Venkatasubramanian, Krishna Kumar .....15Vetterli, Martin ........................................8von zur Gathen, Joachim .........................9

    W Walton, Douglas ......................................6Ward, Charles .........................................3Whos Bigger? .........................................3Wilde, Mark M. .....................................11Wildon, Mark ........................................10Wilson, Mark C. .....................................10

    Y Ying, Lei ................................................14Yudovina, Elena.....................................20

    Z Zafarani, Reza .........................................1Zaki, Mohammed J. .................................1Zimnyi, Esteban .....................................3

  • 2014

    CS

    Cove

    rs C

    HOSE

    N.ind

    d 1

    27/1

    1/20

    13

    11:4

    2

    FAO: Acquisitions Librarian

    LIBRARY RECOMMENDATION FORM

    I would like to recommend the following titles/online products published by Cambridge University Press for the library

    ISBN Author Title

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    _________________ __________________ _________________________

    Name

    Position

    Department

    Date

    Signature

    "

    Please pass this form to your librarian

  • FAO: Acquisitions Librarian

  • Customer ServicesCambridge University Press BookshopCambridge University Press Bookshop occupies the historic site of 1 Trinity Street, Cambridge CB2 1SZ, where the complete range of titles is on sale.

    Bookshop Manager: Cathy Ashbee Phone + 44 (0)1223 333333 Fax + 44 (0)1223 332954 Email [email protected]

    BooksellersFor order processing and customer service, please contact:

    Catherine Atkins Phone + 44 (0)1223 325566 / 325577 Fax + 44 (0)1223 325959 / 325151 Email [email protected]

    Your telephone call may be monitored for training purposes.

    Account-holding booksellers can order online at www.cambridge.org/booksellers or at www.PubEasy.com

    Cambridge University Press Around the World

    Cambridge University Press has offices, representatives and distributors in some 60 countries around the world; our publications are available through bookshops in virtually every country.

    United Kingdom and IrelandAcademic Sales Department Cambridge University Press, The Edinburgh Building, Cambridge CB2 8RU, UK Phone + 44 (0)1223 325517 Fax + 44 (0)1223 325983 Email [email protected] Web www.cambridge.org/emea

    Europe (excluding Iberia), Middle East and North AfricaAcademic Sales Department Cambridge University Press, The Edinburgh Building, Cambridge CB2 8RU, UK Phone + 44 (0)1223 325517 Fax + 44 (0)1223 325983 Email [email protected] Web www.cambridge.org/emea

    IberiaCambridge University Press Iberian BranchBaslica 17, 1-, 28020 Madrid, Spain Phone + 34 91 360 46 06 Fax + 34 91 360 45 70 Email [email protected] Web www.cambridge.org/emea

    Asia79 Anson Road Unit #06-04/06 Singapore 079906 Phone + 65 6323 2701 Fax + 65 6323 2370 Email [email protected] Web www.cambridge.org/asia

    The AmericasNorth, Central, South America and Hispanic CaribbeanCambridge University Press32 Avenue of the Americas, New York, NY 10013-2473, USA Phone + 1 212 924 3900 Fax + 1 212 691 3239 Email [email protected] Web www.cambridge.org

    Sub-Saharan Africa and English-speaking CaribbeanCambridge University Press African BranchLower Ground Floor, Nautica Building, The Water Club, Beach Road, Granger Bay 8005,Cape Town, South Africa Phone + 27 21 412 7800 Fax + 27 21 419 8418 Email [email protected] Web www.cambridge.org/africa

    Australia and New ZealandCambridge University Press Australian Branch477 Williamstown Road, Port Melbourne, VIC 3207, Australia Phone +61 3 8671 1411 Fax +61 3 9676 9966 Email [email protected] Web www.cambridge.org/aus

    General enquiriesCambridge University Press The Edinburgh Building, Cambridge CB2 8RU, UK Phone + 44 (0)1223 312393 Fax + 44 (0)1223 315052 Email [email protected] Web www.cambridge.org/international

  • How to order bookswww.cambridge.org/computerscience2014

    +44 (0)1223 326050

    [email protected]

    EBooksFor individuals: you can find information about ebook availability for Cambridge publications at www.cambridge.org/computerscience2014For institutions: Cambridge publications are also available for institutional purchase as online collections and packages. Visit www.universitypublishingonline.org/list

    Further informationPlease contact [email protected]

    Inspection CopiesPlease order your inspection copies by visiting www.cambridge.org/textbooks

    If you experience problems with ordering your inspection copy via our website, or have any questions, please contact our Customer Services team at [email protected] or on +44 (0)1223 325588

    Our inspection copy policy Inspection copies are available to lecturers who

    regard the textbook as potentially suitable for adoption

    We will only supply inspection copies to a campus address

    We will only process requests which contain a complete university or college address and course information

    Books not yet published will be sent in the month of publication

    Inspection copies are sent at the discretion of Cambridge University Press and we reserve the right to decline requests without explanation

    Book proposalsFor information about submitting book proposals, please visit www.cambridge.org/proposals

    Pricing and availabilityPrices and publication dates are correct at time of going to press but are subject to alteration without notice

    Review enquiriesFor further information please email [email protected]

    Press and media enquiriesFor further information please visit www.cambridge.org/academic/journalist

    Translation RightsFor enquiries regarding translation rights, please contact [email protected]

    www.cambridgeblog.org

    Connect with our Authors

    Read exclusive articles and interviews

    Join in the conversation

  • 2014 CS Covers CHOSEN.indd 1 27/11/2013 11:42

    How to order books

    Computer Science

    Journals from Cambridge

    To access sample articles and activate email content alerts visit

    journals.cambridge.org/computerscience

    Network Science

    Robotica

    AI EDAM

    The Knowledge Engineering Review

    The Review of Symbolic Logic

    Theory and Practice of Logic Programming

    Journal of Functional Programming

    Mathematical Structures in Computer Science

    Probability in the Engineering and Informational Sciences

    RAIRO Theoretical Informatics and Applications

    RAIRO Operations Research

  • Computer Science eBook Collections

    For institutional purchase

    Please speak to your librarian about a free trial for your institution, details at:

    www.universitypublishingonline.org/trial14

    Over 500 Computer Science eBooks available from Cambridge University Press and partner presses Foundation Books and

    Mathematical Association of America.

    See the full list of titles at: www.universitypublishingonline.org/list

    Cambridge University Press advances learning, knowledge and research worldwide.

    We set the standard for

    Thequalityandvalidationofcontent Design,productionandprinting Cooperationwithauthors Meetingourcustomersneeds

    We value

    Integrityandrigour Creativityandinnovation Trustandcollaboration