computer science 2014

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

Computer Science 2014www.cambridge.org/computerscience2014


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

+65 6220 9870

[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

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 234 x 156 mm 352pp 109 b/w illus. 20 tables 107 exercises 978-1-107-01885-3 Hardback c. US$60.00Publication 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; Part I. Data Analysis Foundations: 2. Numeric attributes; 3. Categorical attributes; 4. Graph data; 5. Kernel methods; 6. High-dimensional data; 7. Dimensionality reduction; Part II. Frequent Pattern Mining: 8. Itemset mining; 9. Summarizing itemsets; 10. Sequence mining; 11. Graph pattern mining; 12. Pattern and rule assessment; Part III. Clustering: 13. Representative-based clustering; 14. Hierarchical clustering; 15. Density-based clustering; 16. Spectral and graph clustering; 17. Clustering validation; Part IV. Classifi cation: 18. Probabilistic classifi cation; 19. Decision tree classifi er; 20. Linear discriminant analysis; 21. Support vector machines; 22. Classifi cation assessment.2014 253 x 177 mm 550pp 186 b/w illus. 85 tables 130 exercises 978-0-521-76633-3 Hardback c. US$60.00Publication March 2014

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

28113_Computer Science 2014 27.11.13_dollars.indd 1 18/02/2014 16:50

2 Knowledge management, databases, datamining

Foundations of Data ExchangeMarcelo ArenasPontifi cia Universidad Catolica de Chile

Pablo BarcelóUniversidad 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 fi rst to summarize the key developments in that research.2014 247 x 174 mm 344pp 26 b/w illus. 90 exercises 978-1-107-01616-3 Hardback US$55.00Publication February 2014


The Semantic Web ExplainedThe Technology and Mathematics behind Web 3.0Péter SzerediBudapest University of Technology and Economics

Gergely LukácsyCisco Systems, Ireland

and Tamás BenköDigital 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 247 x 174 mm 500pp 117 b/w illus. 195 exercises 978-0-521-70036-8 Paperback c. US$45.00Publication May 2014


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

Buğra 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 247 x 174 mm 624pp 191 b/w illus. 17 tables 10 exercises 978-1-107-01554-8 Hardback US$99.00Publication December 2013



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 dell’Informazione, CNR, Università di Pisa, Italy

Stefano SpaccapietraÉcole Polytechnique Fédérale de Lausanne

and Esteban ZimányiUniversité 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 234 x 156 mm 368pp 95 b/w illus. 14 colour illus. 6 tables 978-1-107-02171-6 Hardback US$80.00


Who’s 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 fi nding homes in social and cultural domains, from fi nance 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 history’s most signifi cant people in science, politics, entertainment, and all areas of human endeavor. Anyone interested in history or biography can see where their favorite fi gures place in the grand scheme of things.2013 228 x 152 mm 408pp 101 b/w illus. 2 maps 176 tables 978-1-107-04137-0 Hardback US$27.99



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 fi elds who want to shore up their mathematical foundation.2014 228 x 152 mm 370pp 15 b/w illus. 300 exercises 978-1-107-02040-5 Hardback c. US$115.00978-1-107-65252-1 Paperback c. US$50.00Publication January 2014


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 247 x 174 mm 495pp 136 b/w illus. 21 tables 978-1-107-02496-0 Hardback c. US$80.00Publication February 2014


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 master’s/graduate students in statistics and working scientists in data-rich disciplines.Cambridge Series in Statistical and Probabilistic Mathematics, 32

2013 253 x 177 mm 400pp 5 b/w illus. 98 colourillus. 76 tables 138 exercises 978-0-521-88793-9 Hardback US$89.00Publication December 2013



Computational biology and bioinformatics / Artifi cial intelligence and natural language processing

5

Visit our website at www.cambridge.org/knowledge

Computational biology and bio-informatics

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 228 x 152 mm 511pp 120 b/w illus. 17 colour illus. 20 tables 978-1-107-02752-7 Hardback US$120.00


Artifi cial 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 fi eld of natural language processing and artifi cial intelligence, with links to corpora, data, software and other resources for pursuing research in this fi eld.2014 247 x 174 mm 410pp 65 b/w illus. 37 tables 978-1-107-01002-4 Hardback c. US$65.00Publication April 2014



6 Artifi cial 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 artifi cial intelligence and will also interest researchers wanting to learn more about recent developments.2014 228 x 152 mm 360pp 25 b/w illus. 3 tables 97 exercises 978-1-107-02956-9 Hardback c. US$75.00Publication March 2014


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

This introduction to the fi eld of brain-computer interfacing is designed as a textbook for upper-level undergraduate and fi rst-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 fi rst steps toward the symbiotic merger of brains and computers.’Eberhard E. Fetz, Professor of Physiology and Biophysics, University of Washington

2013 253 x 177 mm 352pp 130 b/w illus. 16 colourillus. 3 tables 179 exercises 978-0-521-76941-9 Hardback US$80.00


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 228 x 152 mm 322pp 55 b/w illus. 10 tables 978-1-107-03930-8 Hardback US$95.00978-1-107-67733-3 Paperback US$32.99For all formats available, see:

www.cambridge.org/9781107039308


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

7


Pure Inductive LogicJeffrey ParisUniversity of Manchester

and Alena VencovskáUniversity 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 unifi ed 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 228 x 152 mm 360pp 1 b/w illus. 978-1-107-04230-8 Hardback c. US$95.00Publication June 2014


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 fi ve senses. The authors describe fundamental properties and algorithms, relating these emerging applications that use multifarious information sources.2014 253 x 177 mm 352pp 111 b/w illus. 9 colourillus. 3 tables 233 exercises 978-0-521-76451-3 Hardback c. US$75.00Publication May 2014


TEXTBOOK

Foundations of Signal ProcessingMartin VetterliÉcole Polytechnique Fédérale de Lausanne

Jelena KovačevićCarnegie 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


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 247 x 174 mm 650pp 200 b/w illus. 44 tables 190 exercises 978-1-107-03860-8 Hardback c. US$70.00Publication February 2014


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 247 x 174 mm 248pp 124 b/w illus. 28 tables 978-1-107-01670-5 Hardback US$95.00Publication January 2014


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

Mobile Robotics offers comprehensive coverage of the essentials of the fi eld, suitable for both students and practitioners. Adapted from Alonzo Kelly’s graduate and undergraduate courses, the content of the book refl ects current approaches to developing effective mobile robots.2013 253 x 177 mm 808pp 416 b/w illus. 26 tables 113 exercises 978-1-107-03115-9 Hardback US$99.00Publication December 2013


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

This fourth edition introduces multibody dynamics with an emphasis on fl exible body dynamics. It includes an additional chapter providing explanations for some of the fundamental issues addressed. The book’s wealth of examples and practical applications will be useful to graduate students, researchers and practising engineers working on fl exible multibody systems.2013 253 x 177 mm 408pp 93 b/w illus. 113 exercises 978-1-107-04265-0 Hardback US$125.00



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

9


Bayesian Filtering and SmoothingSimo SärkkäAalto University, Finland

This compact, informal introduction for graduate students and advanced undergraduates draws together modern state estimation methods including non-linear Kalman fi lters, particle fi lters, 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 228 x 152 mm 254pp 55 b/w illus. 60 exercises 978-1-107-03065-7 Hardback US$99.00978-1-107-61928-9 Paperback US$36.99


Algorithmics, complexity, computer algebra and computational geometry

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

and Jürgen 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 247 x 174 mm 808pp 55 b/w illus. 53 colourillus. 40 tables 560 exercises 978-1-107-03903-2 Hardback US$120.00



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 fi fteen years work on developing analytic machinery to recover, as effectively as possible, asymptotics of the coeffi cients of a multivariate generating function. It is the fi rst book to describe many of the results and techniques necessary to estimate coeffi cients of generating functions in more than one variable.Cambridge Studies in Advanced Mathematics, 140

2013 228 x 152 mm 392pp 53 b/w illus. 2 tables 64 exercises 978-1-107-03157-9 Hardback US$70.00


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 228 x 152 mm 204pp978-1-107-01451-0 Hardback US$85.00


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 228 x 152 mm 384pp 30 b/w illus. 2 tables 978-1-107-65195-1 Paperback US$70.00



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

11


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 specifi cally 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 247 x 174 mm 584pp 77 b/w illus. 230 exercises 978-1-107-01427-5 Hardback US$99.00Publication March 2014


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 247 x 174 mm 526pp 30 b/w illus. 100 exercises 978-0-521-76935-8 Hardback US$110.00978-0-521-13988-5 Paperback US$55.00


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 247 x 174 mm 669pp 85 b/w illus. 260 exercises 978-1-107-03425-9 Hardback US$75.00


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. Aaronson’s informal style makes this book a fascinating read for students and researchers working in


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 228 x 152 mm 398pp 25 b/w illus. 978-0-521-19956-8 Paperback US$39.99


Communications, information theory and security

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

Holger BocheLehrstuhl für Theoretische Informationstechnik, München

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 247 x 174 mm 576pp 110 b/w illus. 24 tables 978-1-107-03412-9 Hardback US$165.00Publication December 2013


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


Computer hardware, architecture and systems 13


design large-scale systems with good performance and low cost.Contents: Part I. Introduction to Queueing: 1. Motivating examples; 2. Queueing theory terminology; Part II. Necessary Probability Background: 3. Probability review; 4. Generating random variables; 5. Sample paths, convergence, and averages; Part III. The Predictive Power of Simple Operational Laws: ‘What If’ Questions and Answers: 6. Operational laws; 7. Modifi cation analysis; Part IV. 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; Part V. 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 Burke’s Theorem; 18. Jackson network of queues; 19. Classed network of queues; 20. Closed networks of queues; Part VI. 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; Part VII. 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 253 x 177 mm 569pp 215 b/w illus. 11 tables 300 exercises 978-1-107-02750-3 Hardback US$75.00


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 diffi culties 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-traffi c limits of queuing networks; 11. Large deviations; 12. Geometric random graph models of wireless networks.2013 247 x 174 mm 400pp 155 b/w illus. 108 exercises 978-1-107-03605-5 Hardback US$80.00

For all formats available, see


14 Distributed, networked and mobile computing

www.cambridge.org/9781107036055

The Handbook of Personal Area Networking Technologies and ProtocolsDean Anthony Gratton

An authoritative review of the complete short-range RF domain, this defi nitive handbook demystifi es 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 247 x 174 mm 411pp 200 b/w illus. 100 tables 978-0-521-19726-7 Hardback US$95.00


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 signifi cantly 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 fi rst 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 fi nal standard?’ and ‘how does it work?’ Eldad and Robert should be congratulated on taking up the challenge.’Andrew Myles, Chairman, WiFi Alliance

2013 247 x 174 mm 480pp 244 b/w illus. 100 tables 978-1-107-01676-7 Hardback US$70.00



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

15


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 specifi c elements of BANs, and is invaluable for researchers and graduate students.2013 247 x 174 mm 154pp 31 b/w illus. 9 tables 40 exercises 978-1-107-02102-0 Hardback US$95.00


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 clarifi ed and streamlined.2014 228 x 152 mm 508pp 35 tables 978-1-107-02955-2 Hardback US$99.00978-1-107-60952-5 Paperback US$42.99Publication January 2014


Systematic Program DesignFrom Clarity to Effi ciencyYanhong 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 specifi cation of a computation and derives an effi cient implementation by step-wise program analysis and transformations.2013 234 x 156 mm 252pp 14 b/w illus. 90 exercises 978-1-107-03660-4 Hardback US$99.00978-1-107-61079-8 Paperback US$39.99



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 253 x 177 mm 371pp 76 b/w illus. 56 tables 133 exercises 978-1-107-01902-7 Hardback US$125.00978-1-107-68406-5 Paperback US$55.00


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 fi rst 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 228 x 152 mm 250pp 80 exercises 978-1-107-04424-1 Hardback c. US$60.00Publication July 2014


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 228 x 152 mm 287pp 20 b/w illus. 80 exercises 978-1-107-01778-8 Hardback US$95.00


Turing’s LegacyDevelopments from Turing’s 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 228 x 152 mm 600pp978-1-107-04348-0 Hardback c. US$95.00Publication January 2014



Programming languages and applied logic 17


Non-Hausdorff Topology and Domain TheorySelected Topics in Point-Set TopologyJean Goubault-LarrecqEcole Normale Supérieure 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, fi gures and more than 450 exercises.New Mathematical Monographs, 22



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



Scientifi c computing, scientifi c 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 scientifi c computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.Acta Numerica, 22

2013 247 x 174 mm 580pp978-1-107-04386-2 Hardback US$164.00



18 Programming languages and applied logic / Scientifi c computing, scientifi c 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 247 x 174 mm 600pp978-1-61197-256-6 Paperback US$106.00


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 247 x 174 mm 688pp 141 b/w illus. 6 tables 978-0-521-89787-7 Hardback US$110.00


TEXTBOOK

CybercrimeThe Psychology of Online OffendersGráinne 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 fi rst written for undergraduate and postgraduate students of psychology, criminology, law, forensic science and computer science. It requires no specifi c 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


Also of interest 19


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 246 x 189 mm 275pp 13 b/w illus. 11 tables 978-1-107-00444-3 Hardback US$95.00978-0-521-18021-4 Paperback US$38.99


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 fi tting, 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 253 x 177 mm 432pp 31 b/w illus. 19 tables 978-1-107-03385-6 Hardback US$110.00


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 228 x 152 mm 160pp 60 b/w illus. 80 exercises 978-1-107-03577-5 Hardback c. US$99.00978-1-107-69170-4 Paperback c. US$36.99Publication December 2013



20 Also of interest


Index 21


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ö, Tamás ..........................................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, Buğra ...........................................2Gelfond, Michael .....................................6Gerhard, Jürgen ......................................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


22 Index

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

and the Design of Intelligent Agents .....6Koch, Inge ...............................................4Kovačević, 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 ................................16Lukácsy, 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 Särkkä, 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


Index 23


Surveys in Combinatorics 2013 ..............10Systematic Program Design ....................16Szeredi, Péter ..........................................2

T Turaga, Deepak .......................................2Turing’s Legacy ......................................17

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

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

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

Z Zafarani, Reza .........................................1Zaki, Mohammed J. .................................1Zimányi, Esteban .....................................3


24 Notes


Booksellers in Asia

If you have an account with us, please arrange to use our website by selecting Asia from the drop down menu:www.cambridge.org/booksellers

For order processing and customer service, please contactCustomer Services Department Phone: (65) 6220 9870 Fax: (65) 6226 0489 Email: [email protected]

ASIACambridge University Press Asia79 Anson Road #06-04Singapore 079906Phone: (65) 6323 2701Fax: (65) 6323 2370Email: [email protected]

China - BeijingRoom 1209-1210, North Star Times TowerNo. 8, Beichen Dong Road, Chaoyang District, Beijing 100101,China

Phone: (86) 10 8227 4100Fax: (86) 10 8227 4105Email: [email protected]

China - ShanghaiRoom 906, Cross Tower318, Fuzhou Road, Huangpu District Shanghai 200001, China


China - GuangzhouRM 1501, East Tower, Dong Shan Plaza65 Xian Lie Zhong Lu, Guangzhou 510095China


China - Hongkong and other areas16/F Oriental Crystal Commercial Building46 Lyndhurst Terrace, CentralHong Kong, SAR

Phone: (852) 2997 7500Fax: (852) 2997 6230Email: [email protected]

IndiaCambridge University Press India Pvt Ltd4381/4, Ansari Road, DaryaganiNew Delhi 110002, India


IndonesiaRukan Sentra Niaga, Block T1/14, Puri Indah, Kembangan, Jakarta Barat 11610, Indonesia


Japan1-32-4, Higashi Shinagawa, Shinagawa-ku,Tokyo 140-0002 Japan


MalaysiaSuit 9.01, 9th Floor, Amcorp TowerAmcorp Trade Centre, 18, Persiaran Barat46050 Petaling Jaya, Malaysia


Philippines6th Floor OPL Building#100 Carlos Palanca St. corner Dela Rosa St.Legaspi Village, Makati City 1229, Philippines

Phone: (632) 8405734/35Fax: (632) 8405734Email: [email protected]

South Korea2FL, Jeonglim Building, 254-27,Nonhyun-dong, Gangnam-guSeoul 135-010, South Korea


Singapore/Brunei79 Anson Road #06-04/06Singapore 079906


Taiwan11F-2, No. 230Ba De Road, Sec 3, Taipei 105Taiwan


Thailand54 B.B. Building #1704Sukhumvit 21 (Asoke), WattanaBangkok 10110, Thailand


Vietnam5th Floor, YOCO Building 41 Nguyen Thi Minh Khai Street, District 1Vietnam

Phone: (84) 8 3914 1797Fax: (84) 8 3914 1748 Email: [email protected]

Grand Slipi Tower 23rd Floor Unit G Jl. S. Parman Kav. 22-24 Slipi Jakarta 11480,Indonesia

Phone: (62) 21 290 22550Fax: (62) 21 290 22455

Untitled-2 1 14/2/2014 9:54:07 AM


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

+65 6220 9870

[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


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

• The quality and validation of content• Design, production and printing• Cooperation with authors• Meeting our customers’ needs

We value

• Integrity and rigour• Creativity and innovation• Trust and collaboration

computer science 2014

Documents

social media data

computer science books

network science

cambridge alerts

new books

online collections

social network analysis

kinds of data