Electronic Books

Total Books: 1 - 20 /64
978-1-84800-121-3
A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...

Continue reading
978-1-4020-4938-5
Arguing on the Toulmin Model

In The Uses of Argument Stephen Toulmin proposed a new model for the layout of arguments, with six components: claim, data, ...

Continue reading
978-3-540-27881-8
Argumentation Methods for Artificial Intelligence in Law

In this book, Walton presents his perspective on argumentation methods for artificial intelligence and law. … the different ...

Continue reading
NoIMG
Argumentative Indicators

Argumentative Indicators: A Pragma-Dialectical Study identifies and analyses English words and expressions that are crucial ...

Continue reading
978-3-030-79876-5
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Continue reading
978-3-540-37188-5
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Continue reading
978-3-030-59152-6
Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Continue reading
978-3-540-36874-8
Comprehensive Mathematics for Computer Scientists 1

This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...

Continue reading
978-3-030-60327-4
Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...

Continue reading
978-3-030-53288-8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Continue reading
978-3-030-53291-8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Continue reading
978-3-030-81685-8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-030-81688-9
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-319-96145-3
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-319-96142-2
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-030-25540-4
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Continue reading
978-3-030-25543-5
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Continue reading
978-3-030-62822-2
Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Continue reading
978-3-030-54249-8
Diagrammatic Representation and Inference

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...

Continue reading
978-1-4020-8168-2
Extensionalism : The Revolution in Logic

This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...

Continue reading
Total Books: 1 - 20 /64