logic technologies  (566 Angebote unter 17.427.339 Artikeln)

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an inno...

This first volume has as its main focus the philosophical foundations of Michalos' work and describes it in the broad context of the study of logic, the philosophy of social sciences, and a general...

This first volume has as its main focus the philosophical foundations of Michalos' work and describes it in the broad context of the study of logic, the philosophy of social sciences, and a general...

First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

Sensing, Smart and Sustainable Systems for the Design of S3 Products, Processes, Manufacturing Systems, and Enterprises

Sensing, Smart and Sustainable Systems for the Design of S3 Products, Processes, Manufacturing Systems, and Enterprises

Compilation for Secure Multi-party Computation

This book includes the original, peer reviewed research papers from the conference, Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013),...

This book includes the original, peer reviewed research papers from the conference, Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013),...

Agents.- A Principled Modular Approach to Construct Flexible Conversation Protocols.- Balancing Robotic Teleoperation and Autonomy for Urban Search and Rescue Environments.- Emotional Pathfinding.-...

This volume contains the proceedings of ICCS 2003, the 11th International C- ferenceonConceptualStructures. Thisconferenceseriescontinuestobethemain forum for the presentation and discussion of sta...

USB-C Multiport Adapter | HDMI Video | 1x USB-A (10Gbit/s) | 2x USB-C (10Gpbs) Inklusive 1x Daten + 100W PD Pass-ThroughDieser USB-C Multiport Adapter mit DP 1.4 unterstützt 4K 60Hz HDMI® (HDR) und...

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016...

This book contains extended and revised versions of the best papers presented at the 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, held in Singapor...

This book contains extended and revised versions of the best papers presented at the 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, held in Singapor...