Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Interactive Storytelling

16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11–15, 2023, Proceedings, Part I

Produktform: E-Buch Text Elektronisches Buch in proprietärem

The Review of Austrian Economics

Volume 4

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Supervisor Localization

A Top-Down Approach to Distributed Control of Discrete-Event Systems

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Models, Methods, and Morality

Assessing Modern Approaches to the Greco-Roman Economy

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Primary Bone Tumors and Tumorous Conditions in Children

Pathologic and Radiologic Diagnosis

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Econometrics

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Nonholonomic Mechanics and Control

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Future Directions in Well-Being

Education, Organizations and Policy

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Testing and Validation of Computer Simulation Models

Principles, Methods and Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem