0
Your cart

Your cart is empty

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

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

Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised... Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Paperback, 2014 ed.)
Marek Cygan, Pinar Heggernes
R1,850 R1,299 Discovery Miles 12 990 Save R551 (30%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, in Wroclaw, Poland, in September 2014. The 27 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The topics addressed cover research in all aspects of parameterized/exact algorithms and complexity including but are not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results; parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact exponential-time computation; and implementation issues of parameterized and exact exponential-time algorithms.

System Modeling and Optimization - 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised... System Modeling and Optimization - 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers (Hardcover, 2014 ed.)
Christian Potzsche, Clemens Heuberger, Barbara Kaltenbacher, Franz Rendl
R2,289 R1,651 Discovery Miles 16 510 Save R638 (28%) Shipped within 7 - 12 working days

This book is a collection of thoroughly refereed papers presented at the 26th IFIP TC 7 Conference on System Modeling and Optimization, held in Klagenfurt, Austria, in September 2013. The 34 revised papers were carefully selected from numerous submissions. They cover the latest progress in a wide range of topics such as optimal control of ordinary and partial differential equations, modeling and simulation, inverse problems, nonlinear, discrete, and stochastic optimization as well as industrial applications.

Stochastic Model Checking - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures... Stochastic Model Checking - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Paperback, 2014 ed.)
Anne Remke, Marielle Stoelinga
R1,389 R1,061 Discovery Miles 10 610 Save R328 (24%) Shipped within 7 - 12 working days

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.

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.

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Algorithmic Number Theory - 9th…
Guillaume Hanrot, Francois Morain, … Paperback R2,078 R1,606 Discovery Miles 16 060
Mathematics of Big Data - Spreadsheets…
Jeremy Kepner, Hayden Jananthan Hardcover R1,480 R1,098 Discovery Miles 10 980
Katherine Johnson
Leila Rasheed Paperback  (1)
R142 R108 Discovery Miles 1 080
Programming the Finite Element Method
I.M. Smith, D.V. Griffiths, … Hardcover R1,909 R1,689 Discovery Miles 16 890
Practical Statistics for Data Scientists
Peter Bruce, Andrew Bruce Paperback R1,032 R589 Discovery Miles 5 890
Linear Algebra and Learning from Data
Gilbert Strang Hardcover  (1)
R1,337 Discovery Miles 13 370
Triangulations - Structures for…
Jesus A De Loera, Jorg Rambau, … Hardcover R1,845 R1,647 Discovery Miles 16 470
Proofs from THE BOOK
Martin Aigner Hardcover R1,211 R940 Discovery Miles 9 400
Sparse Image and Signal Processing…
Jean-Luc Starck, Fionn Murtagh, … Hardcover R1,384 Discovery Miles 13 840
Studies in Complexity and Cryptography…
Oded Goldreich Paperback R2,502 R1,990 Discovery Miles 19 900

 

Partners