0
Your cart

Your cart is empty

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

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

Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Paperback, 1st... Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Paperback, 1st ed. 2015)
Sandrine Blazy, Thomas Jensen
R1,846 R1,296 Discovery Miles 12 960 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area

Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings... Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings (Paperback, 1st ed. 2015)
Andreas Maletti
R1,641 R1,006 Discovery Miles 10 060 Save R635 (39%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.

Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30,... Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (Paperback, 1st ed. 2015)
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
R2,356 R1,784 Discovery Miles 17 840 Save R572 (24%) Shipped within 7 - 12 working days

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28,... New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki
R1,863 R1,313 Discovery Miles 13 130 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which took place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissionsfrom the 3 workshops (LENLS11, JURISIN2014, and GABA2014). LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.

Information Technology in Bio- and Medical Informatics - 6th International Conference, ITBAM 2015, Valencia, Spain, September... Information Technology in Bio- and Medical Informatics - 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings (Paperback, 1st ed. 2015)
M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri
R1,347 R820 Discovery Miles 8 200 Save R527 (39%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 6th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2015, held in Valencia, Spain, in September 2015, in conjunction with DEXA 2015. The 9 revised long papers presented together with 1 poster paper were carefully reviewed and selected from 15 submissions. The papers address the following two topics: medical terminology and clinical processes and machine learning in biomedicine.

Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings... Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Paperback, 1st ed. 2015)
Radu C. Calinescu, Bernhard Rumpe
R1,874 R1,324 Discovery Miles 13 240 Save R550 (29%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Logic, Rewriting, and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Paperback, 1st ed.... Logic, Rewriting, and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Paperback, 1st ed. 2015)
Narciso Marti-Oliet, Peter Csaba Olveczky, Carolyn L. Talcott
R2,509 R1,419 Discovery Miles 14 190 Save R1,090 (43%) Shipped within 7 - 12 working days

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Helene Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of Jose's many scientific achievements followed by a bibliography of papers written by Jose.

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015,... Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Giuseppe F. Italiano, Giovanni Pighizzini, Donald T Sannella
R2,397 R1,826 Discovery Miles 18 260 Save R571 (24%) Shipped within 7 - 12 working days

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015,... Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
Giuseppe F. Italiano, Giovanni Pighizzini, Donald T Sannella
R1,963 R1,508 Discovery Miles 15 080 Save R455 (23%) Shipped within 7 - 12 working days

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings... Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Paperback, 1st ed. 2015)
Javier Campos, Boudewijn R. Haverkort
R1,563 R1,013 Discovery Miles 10 130 Save R550 (35%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4,... Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Paperback, 1st ed. 2015)
Sriram Sankaranarayanan, Enrico Vicario
R1,829 R1,279 Discovery Miles 12 790 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 --... Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings (Paperback, 1st ed. 2015)
Gilles Pesant
R2,110 R1,523 Discovery Miles 15 230 Save R587 (28%) Shipped within 7 - 12 working days

This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.

Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015,... Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings (Paperback, 1st ed. 2015)
Victor Malyshkin
R2,335 R1,763 Discovery Miles 17 630 Save R572 (24%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on parallel models, algorithms and programming methods; unconventional computing; cellular automata; distributed computing; special processors programming techniques; applications.

Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings,... Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
Daniel Kroening, Corina S. Pasareanu
R1,901 R1,424 Discovery Miles 14 240 Save R477 (25%) Shipped within 7 - 12 working days

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015.... Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Paperback, 2015 ed.)
Jasmin Christian Blanchette, Nikolai Kosmatov
R1,641 R1,006 Discovery Miles 10 060 Save R635 (39%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.

Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings,... Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Daniel Kroening, Corina S. Pasareanu
R1,963 R1,508 Discovery Miles 15 080 Save R455 (23%) Shipped within 7 - 12 working days

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Paperback,... Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Paperback, 2015 ed.)
Jean Krivine, Jean-Bernard Stefani
R1,699 R1,065 Discovery Miles 10 650 Save R634 (37%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

Algorithms and Data Structures - 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings... Algorithms and Data Structures - 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings (Paperback, 1st ed. 2015)
Frank Dehne, Joerg-Ruediger Sack, Ulrike Stege
R2,418 R1,941 Discovery Miles 19 410 Save R477 (20%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. WADS includes papers presenting original research on algorithms and data structures in all areas, including bioinformatics, combinatorics, computational geometry, databases, graphics, and parallel and distributed computing.

Transactions on Rough Sets XIX (Paperback, 1st ed. 2015): James F. Peters, Andrzej Skowron, Dominik Slezak, Hung Son Nguyen,... Transactions on Rough Sets XIX (Paperback, 1st ed. 2015)
James F. Peters, Andrzej Skowron, Dominik Slezak, Hung Son Nguyen, Jan G. Bazan
R2,585 R1,605 Discovery Miles 16 050 Save R980 (38%) Shipped within 7 - 12 working days

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XIX in the series focuses on the current trends and advances in both the foundations and practical applications of rough sets. It contains 7 extended and revised papers originally presented at the Workshop on Rough Set Applications, RSA 2012, held in Wroclaw, Poland, in September 2012. In addition, the book features 3 contributions in the category of short surveys and monographs on the topic.

Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.... Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. (Paperback, 2015 ed.)
Igor Potapov
R1,943 R1,487 Discovery Miles 14 870 Save R456 (23%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages, grammars, acceptors and transducers for strings, trees, graphs, arrays, algebraic theories for automata and languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to complexity theory and logic, picture description and analysis, polyominoes and bidimensional patterns, cryptography, concurrency, cellular automata, bio-inspired computing, and quantum computing.

Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015,... Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015, Proceedings (Paperback, 1st ed. 2015)
Frank Drewes
R1,839 R1,289 Discovery Miles 12 890 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umea, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

Computer Science -- Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka,... Computer Science -- Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Paperback, 2015 ed.)
Lev D Beklemishev, Daniil V. Musatov
R1,943 R1,487 Discovery Miles 14 870 Save R456 (23%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015,... Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings (Paperback, 2015 ed.)
Jordi Bieger, Ben Goertzel, Alexey Potapov
R1,912 R1,456 Discovery Miles 14 560 Save R456 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. 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. 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.

Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.... Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Paperback, 2015 ed.)
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
R1,874 R1,324 Discovery Miles 13 240 Save R550 (29%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiegne, France,... Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings (Paperback, 2015 ed.)
Sebastien Destercke, Thierry Denoeux
R2,338 R1,767 Discovery Miles 17 670 Save R571 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiegne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief update; classification; inconsistency; graphical models; Bayesian networks; belief functions; logic; and probabilistic graphical models for scalable data analytics. Papers come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

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
Data-Driven Computational Methods…
John Harlim Hardcover R1,122 R1,055 Discovery Miles 10 550
Modern Computational Finance - AAD and…
Antoine Savine, Leif Andersen Hardcover R1,696 R1,119 Discovery Miles 11 190
Practical Applications of Sparse…
Irina Rish, Guillermo A. Cecchi, … Hardcover R401 R331 Discovery Miles 3 310
Cambridge Tracts in Theoretical Computer…
Stoyan Mihov, Klaus U. Schulz Hardcover R1,345 R1,258 Discovery Miles 12 580
Temporal Logics in Computer Science…
Stephane Demri, Valentin Goranko, … Hardcover R2,184 R1,906 Discovery Miles 19 060
Digital Signal Processing Algorithms…
Hari Krishna Hardcover R4,433 R4,188 Discovery Miles 41 880
Sparse Image and Signal Processing…
Jean-Luc Starck, Fionn Murtagh, … Hardcover R1,392 R1,303 Discovery Miles 13 030
Essential Maths Skills for AS/A Level…
Victoria Ellis, Gavin Craddock Paperback R278 Discovery Miles 2 780
Linear Algebra and Learning from Data
Gilbert Strang Hardcover  (1)
R1,344 R1,276 Discovery Miles 12 760

 

Partners