HCI in Games: Experience Design and Game Mechanics

Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I

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

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

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

Governance and Sustainability of Responsible Research and Innovation Processes

Cases and Experiences

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

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

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

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

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

Full-Chip Nanometer Routing Techniques

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

Pseudochaotic Kicked Oscillators

Renormalization, Symbolic Dynamics, and Transport

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

---

Methods of Mathematical Modelling

Continuous Systems and Differential Equations

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

Essential Spectrum-based Fault Localization

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

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

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