Generell datateori

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and …

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2011, held in Reykjavik, …

This book gathers selected research papers presented at the International Conference on Communication and Intelligent Systems (ICCIS 2019), organised by Swami Keshvanand Institute …

This book constitutes selected papers presented at the the 4th International Conference on Science, Engineering Management and Information Technology, SEMIT 2024, held in Ankara, …

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in …

Undeservedly little attention is paid in the vast literature on the theories of vibration and plasticity to the problem of steady-state vibrations in elastoplastic bodies. This …

This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July …

These proceedings contain the papers presented at ANTS 2010, the 7th Int- national Conference on Swarm Intelligence, organized by IRIDIA, CoDE, U- versiteLibre de …

Systematisch fuhrt Dieterich in die Assembler-Programmierung auf dem PC ein und stellt anhand zahlreicher Beispiele - herstellerneutral - die Sprachelemente von Assembler vor.

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely …