Search Results "Logic In Computer Science" - all Bücher

We could not find any exact matches to your search for "logic in computer science". Maybe these items match your search.

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods

This book constitutes the proceedings of the 20th International Conference on Grid, Cloud, and Cluster Computing, GCC 2024, the Third International Conference on Quantum Technologies, ICEQT 2024, and the …

deliverable within 2-3 weeks

Buch

Parallel and Distributed Processing Techniques

This book constitutes the proceedings of the 30th International Conference on Parallel and Distributed Processing Techniques, PDPTA 2024, held as part of the 2024 World Congress in Computer Science, Compu…

deliverable within 2-3 weeks

Buch

SOFSEM 2025: Theory and Practice of Computer Science

This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20…

deliverable within 2-3 weeks

Buch

SOFSEM 2025: Theory and Practice of Computer Science

deliverable within 2-3 weeks

Buch

Applied Cognitive Computing and Artificial Intelligence

This book constitutes the proceedings of the 8th International Conference on Applied Cognitive Computing, ACC 2024, and the 26th International Conference on Artificial Intelligence, ICAI 2024, held as par…

deliverable within 2-3 weeks

Buch

Logics and Type Systems in Theory and Practice

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

deliverable within 2-3 weeks

Buch

Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.