0
Your cart

Your cart is empty

Browse All departments
Price
  • R100 - R250 (4)
  • R250 - R500 (28)
  • R500+ (4,940)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Information Security - 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings (Paperback,... Information Security - 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings (Paperback, 2014 ed.)
Jan Camenisch, Sherman S.M. Chow, Lucas C.K. Hui, Siu Ming Yiu
R2,356 R1,784 Discovery Miles 17 840 Save R572 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 17th International Conference on Information Security, ISC 2014, held in Hong Kong, China, in October 2014. The 20 revised full papers presented together with 16 short papers and two invited papers were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on public-key encryption, authentication, symmetric key cryptography, zero-knowledge proofs and arguments, outsourced and multi-party computations, implementation, information leakage, firewall and forensics, Web security, and android security.

Algorithms - ESA 2014 - 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Paperback, 2014... Algorithms - ESA 2014 - 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Paperback, 2014 ed.)
Andreas S. Schulz, Dorothea Wagner
R1,936 R1,724 Discovery Miles 17 240 Save R212 (11%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 22st Annual European Symposium on Algorithms, ESA 2014, held in Wroclaw, Poland, in September 2014, as part of ALGO 2014. The 69 revised full papers presented were carefully reviewed and selected from 269 initial submissions: 57 out of 221 in Track A, Design and Analysis, and 12 out of 48 in Track B, Engineering and Applications. The papers present original research in the areas of design and mathematical analysis of algorithms; engineering, experimental analysis, and real-world applications of algorithms and data structures.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th... Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Paperback, 2014 ed.)
Tiziana Margaria, Bernhard Steffen
R2,113 R1,944 Discovery Miles 19 440 Save R169 (8%) Shipped within 7 - 12 working days

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International... Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Paperback, 2014 ed.)
Tiziana Margaria, Bernhard Steffen
R1,921 R1,767 Discovery Miles 17 670 Save R154 (8%) Shipped within 7 - 12 working days

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7,... Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Paperback, 2014 ed.)
Franck Cassez, Jean-Francois Raskin
R1,936 R1,481 Discovery Miles 14 810 Save R455 (24%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, ... Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Paperback, 2014 ed.)
Stephan Merz, Jun Pang
R1,627 R1,501 Discovery Miles 15 010 Save R126 (8%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Artificial General Intelligence - 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014,... Artificial General Intelligence - 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings (Paperback, 2014 ed.)
Ben Goertzel, Laurent Orseau, Javier Snaider
R1,127 R1,048 Discovery Miles 10 480 Save R79 (7%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 7th International Conference on Artificial General Intelligence, AGI 2014, held in Quebec City, QC, Canada, in August 2014. The 22 papers and 8 posters were carefully reviewed and selected from 65 submissions. Researchers have recognized the necessity of returning to the original goals of the field by treating intelligence as a whole. Increasingly, there is a call for a transition back to confronting the more difficult issues of "human-level intelligence" and more broadly artificial general intelligence. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, original sense of the term of "artificial intelligence". The conferences encourage interdisciplinary research based on different understandings of intelligence and exploring different approaches.

Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29,... Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II (Paperback, 2014 ed.)
Ersebet Csuhaj-Varju, Martin Dietzfelbinger, Zoltan Esik
R2,421 R1,944 Discovery Miles 19 440 Save R477 (20%) Shipped within 7 - 12 working days

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.

Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer... Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Paperback, 2014 ed.)
Uwe Egly
R1,623 R1,498 Discovery Miles 14 980 Save R125 (8%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.

Introduction to Software Quality (Paperback, 2014 ed.): Gerard O'Regan Introduction to Software Quality (Paperback, 2014 ed.)
Gerard O'Regan
R1,238 R1,156 Discovery Miles 11 560 Save R82 (7%) Shipped within 7 - 12 working days

This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance; provides detailed coverage of software metrics and problem solving; describes SCAMPI appraisals and how they form part of the continuous improvement cycle; presents an introduction to formal methods and the Z specification language; discusses UML, which is used to describe the architecture of the system; reviews the history of the field of software quality."

Rough Sets and Current Trends in Computing - 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13,... Rough Sets and Current Trends in Computing - 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings (Paperback, 2014 ed.)
Chris Cornelis, Marzena Kryszkiewicz, Dominik Slezak, Ernestina Menasalvas Ruiz, Rafael Bello, …
R1,565 R1,439 Discovery Miles 14 390 Save R126 (8%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 9th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2014, held in Granada and Madrid, Spain, in July 2014. RSCTC 2014 together with the Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP 2014) was held as a major part of the 2014 Joint Rough Set Symposium (JRS 2014) The 23 regular and 17 short papers presented were carefully reviewed and selected from 120 submissions. They are organized in topical sections such as fuzzy logic and rough set: tools for imperfect information; fuzzy-rough hybridization; three way decisions and probabilistic rough sets; new trends in formal concept analysis and related methods; fuzzy decision making and consensus; soft computing for learning from data; web information systems and decision making; image processing and intelligent systems.

Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaiso, Chile,  September 1-4,... Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings (Paperback, 2014 ed.)
Ulrich Kohlenbach, Pablo Barcelo
R1,767 R1,030 Discovery Miles 10 300 Save R737 (42%) Shipped within 7 - 12 working days

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings... Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings (Paperback, 2014 ed.)
Joachim Gudmundsson, Jyrki Katajainen
R1,244 R1,119 Discovery Miles 11 190 Save R125 (10%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th International Symposium on Experimental Algorithms, SEA 2014, held in Copenhagen, Denmark, in June/July 2014.

The 36 revised full papers presented together with 3 invited presentations were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on combinatorial optimization, data structures, graph drawing, shortest path, strings, graph algorithms and suffix structures.

Pristine Perspectives on Logic, Language and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers... Pristine Perspectives on Logic, Language and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (Paperback, 2014 ed.)
Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig
R1,784 R1,048 Discovery Miles 10 480 Save R736 (41%) Shipped within 7 - 12 working days

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The 16 papers presented in this volume have been selected among 44 papers presented by talks or posters at the Student Sessions of the 24th and 25th editions of ESSLLI, held in 2012 in Opole, Poland, and 2013 in Dusseldorf, Germany. The papers are extended versions of the versions presented, and have all been subjected to a second round of blind peer review.

Computer Networks - 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014. Proceedings (Paperback, 2014... Computer Networks - 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014. Proceedings (Paperback, 2014 ed.)
Andrzej Kwiecien, Piotr Gaj, Piotr Stera
R1,636 R1,496 Discovery Miles 14 960 Save R140 (9%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Networks, CN 2014, held in Brunow, Poland, in June 2014. The 34 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers in these proceedings cover the following topics: computer networks, tele informatics and communications, new technologies, queueing theory, innovative applications and networked and IT-related aspects of e-business."

Pyomo - Optimization Modeling in Python (Hardcover, 2nd ed. 2017): William E Hart, Jean-Paul Watson, David L. Woodruff, John D... Pyomo - Optimization Modeling in Python (Hardcover, 2nd ed. 2017)
William E Hart, Jean-Paul Watson, David L. Woodruff, John D Siirola
R1,612 R1,273 Discovery Miles 12 730 Save R339 (21%) Shipped within 7 - 12 working days

This book provides a complete and comprehensive guide to Pyomo (Python Optimization Modeling Objects) for beginning and advanced modelers, including students at the undergraduate and graduate levels, academic researchers, and practitioners. Using many examples to illustrate the different techniques useful for formulating models, this text beautifully elucidates the breadth of modeling capabilities that are supported by Pyomo and its handling of complex real-world applications. This second edition provides an expanded presentation of Pyomo's modeling capabilities, providing a broader description of the software that will enable the user to develop and optimize models. Introductory chapters have been revised to extend tutorials; chapters that discuss advanced features now include the new functionalities added to Pyomo since the first edition including generalized disjunctive programming, mathematical programming with equilibrium constraints, and bilevel programming. Pyomo is an open source software package for formulating and solving large-scale optimization problems. The software extends the modeling approach supported by modern AML (Algebraic Modeling Language) tools. Pyomo is a flexible, extensible, and portable AML that is embedded in Python, a full-featured scripting language. Python is a powerful and dynamic programming language that has a very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from a command-line interface and within Python's interactive command environment, which makes it easy to create Pyomo models, apply a variety of optimizers, and examine solutions.

Cambridge Monographs on Applied and Computational Mathematics, Series Number 18 - Modern Computer Arithmetic (Hardcover, New):... Cambridge Monographs on Applied and Computational Mathematics, Series Number 18 - Modern Computer Arithmetic (Hardcover, New)
Richard P Brent, Paul Zimmermann
R1,710 R1,589 Discovery Miles 15 890 Save R121 (7%) Shipped within 7 - 12 working days

Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions to selected exercises are available from the authors.

Recursion: Complexity in Cognition (Hardcover, 2014 ed.): Tom Roeper, Margaret Speas Recursion: Complexity in Cognition (Hardcover, 2014 ed.)
Tom Roeper, Margaret Speas
R2,876 R2,156 Discovery Miles 21 560 Save R720 (25%) Shipped within 7 - 12 working days

This volume focuses on recursion and reveals a host of new theoretical arguments, philosophical perspectives, formal representations and empirical evidence from parsing, acquisition and computer models, highlighting its central role in modern science. Noam Chomsky, whose work introduced recursion to linguistics and cognitive science and other leading researchers in the fields of philosophy, semantics, computer science and psycholinguistics in showing the profound reach of this concept into modern science. Recursion has been at the heart of generative grammar from the outset. Recent work in minimalism has put it at center-stage with a wide range of consequences across the intellectual landscape. The contributor to this volume both advance the field and provide a cross-sectional view of the place that recursion takes in modern science.

Contributions to Sampling Statistics (Hardcover, 2014 ed.): Fulvia Mecatti, Pier Luigi Conti, Maria Giovanna Ranalli Contributions to Sampling Statistics (Hardcover, 2014 ed.)
Fulvia Mecatti, Pier Luigi Conti, Maria Giovanna Ranalli
R2,257 R2,031 Discovery Miles 20 310 Save R226 (10%) Shipped within 7 - 12 working days

This book contains a selection of the papers presented at the ITACOSM 2013 Conference, held in Milan in June 2013. It is intended as an international forum of scientific discussion on the developments of theory and application of survey sampling methodologies and applications in human and natural sciences. The book gathers research papers carefully selected from both invited and contributed sessions of the conference. The whole book appears to be a relevant contribution to various key aspects of sampling methodology and techniques; it deals with some hot topics in sampling theory, such as calibration, quantile-regression and multiple frame surveys and with innovative methodologies in important topics of both sampling theory and applications. Contributions cut across current sampling methodologies such as interval estimation for complex samples, randomized responses, bootstrap, weighting, modeling, imputation, small area estimation and effective use of auxiliary information; applications cover a wide and enlarging range of subjects in official household surveys, Bayesian networks, auditing, business and economic surveys, geostatistics and agricultural statistics. The book is an updated, high level reference survey addressed to researchers, professionals and practitioners in many fields.

Intelligent Computer Mathematics - CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra,... Intelligent Computer Mathematics - CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings (Paperback, 2014 ed.)
Stephen M Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
R1,627 R1,501 Discovery Miles 15 010 Save R126 (8%) Shipped within 7 - 12 working days

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.

Leo Esakia on Duality in Modal and Intuitionistic Logics (Hardcover, 2014 ed.): Guram Bezhanishvili Leo Esakia on Duality in Modal and Intuitionistic Logics (Hardcover, 2014 ed.)
Guram Bezhanishvili
R3,221 R2,501 Discovery Miles 25 010 Save R720 (22%) Shipped within 7 - 12 working days

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Godel-Lob provability logic GL. One chapter scrutinizes Esakia s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues."

Quantum Information and Coherence (Hardcover, 2014 ed.): Erika E. Andersson, Patrik Ohberg Quantum Information and Coherence (Hardcover, 2014 ed.)
Erika E. Andersson, Patrik Ohberg
R3,426 R2,678 Discovery Miles 26 780 Save R748 (22%) Shipped within 7 - 12 working days

This book offers an introduction to ten key topics in quantum information science and quantum coherent phenomena, aimed at graduate-student level. The chapters cover some of the most recent developments in this dynamic research field where theoretical and experimental physics, combined with computer science, provide a fascinating arena for groundbreaking new concepts in information processing.

The book addresses both the theoretical and experimental aspects of the subject, and clearly demonstrates how progress in experimental techniques has stimulated a great deal of theoretical effort and vice versa. Experiments are shifting from simply preparing and measuring quantum states to controlling and manipulating them, and the book outlines how the first real applications, notably quantum key distribution for secure communication, are starting to emerge. The chapters cover quantum retrodiction, ultracold quantum gases in optical lattices, optomechanics, quantum algorithms, quantum key distribution, quantum control based on measurement, orbital angular momentum of light, entanglement theory, trapped ions and quantum metrology, and open quantum systems subject to decoherence.

The contributing authors have been chosen not just on the basis of their scientific expertise, but also because of their ability to offer pedagogical and well-written contributions which will be of interest to students and established researchers.

Perspectives in Computational Complexity - The Somenath Biswas Anniversary Volume (Hardcover, 2014): Manindra Agrawal, Vikraman... Perspectives in Computational Complexity - The Somenath Biswas Anniversary Volume (Hardcover, 2014)
Manindra Agrawal, Vikraman Arvind
R2,447 R1,951 Discovery Miles 19 510 Save R496 (20%) Shipped within 7 - 12 working days

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity.

Computer Programming with C++ (Paperback): Kunal Pimparkhede Computer Programming with C++ (Paperback)
Kunal Pimparkhede
R1,409 R1,337 Discovery Miles 13 370 Save R72 (5%) Shipped within 7 - 12 working days

This textbook provides in-depth coverage of the fundamentals of the C and C++ programming languages and the object-oriented programming paradigm. It follows an example-driven approach to facilitate understanding of theoretical concepts. Essential concepts, including functions, arrays, pointers and inheritance, are explained, while complex topics, such as dynamic memory allocation, object slicing, vtables, and upcasting and downcasting, are examined in detail. Concepts are explained with the help of line diagrams, student-teacher conversations and flow charts, while other useful features, such as quiz questions and points to remember, are included. Solved examples, review questions and useful case studies are interspersed throughout the text, and explanations of the logic used to implement particular functionality is also provided. This book will be useful for undergraduate students of computer science and engineering, and information technology.

Logical Foundations of Cyber-Physical Systems (Hardcover, 1st ed. 2018): Andre Platzer Logical Foundations of Cyber-Physical Systems (Hardcover, 1st ed. 2018)
Andre Platzer
R1,052 R838 Discovery Miles 8 380 Save R214 (20%) Shipped within 7 - 12 working days

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects. The book is supported with homework exercises, lecture videos, and slides.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Mathematics of Big Data - Spreadsheets…
Jeremy Kepner, Hayden Jananthan Hardcover R1,480 R1,098 Discovery Miles 10 980
Linear Algebra and Learning from Data
Gilbert Strang Hardcover  (1)
R1,344 R1,276 Discovery Miles 12 760
The Discrete Charm of the Machine - Why…
Kenneth Steiglitz Hardcover R586 R407 Discovery Miles 4 070
Discrete Mathematics for Computing
Peter Grossman Paperback R1,087 R982 Discovery Miles 9 820
Cambridge Tracts in Theoretical Computer…
Stoyan Mihov, Klaus U. Schulz Hardcover R1,345 R1,258 Discovery Miles 12 580
Studies in Complexity and Cryptography…
Oded Goldreich Paperback R2,502 R1,990 Discovery Miles 19 900
Cambridge Tracts in Theoretical Computer…
Davide Sangiorgi, Jan Rutten Hardcover R1,631 R1,496 Discovery Miles 14 960
Practical Statistics for Data Scientists
Peter Bruce, Andrew Bruce Paperback R1,032 R589 Discovery Miles 5 890
Institute of Mathematical Statistics…
Gunter Last, Mathew Penrose Paperback R676 R522 Discovery Miles 5 220
A Programmer's Introduction to…
Dr Jeremy Kun Paperback R675 R637 Discovery Miles 6 370

 

Partners