Thema Theoretische Informatik – alle Bücher, Seite 6

Levis Zerpa
The Logic, Philosophy, and History of the Lambda-Calculus

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field call…

lieferbar innerhalb 2-3 Wochen

Buch

Ri-Gui Zhou, Xiao-Xue Zhang, Lin-Tao Du
Design and Analysis of Secure Quantum Communication Schemes

This book provides a comprehensive guide to the design and analysis of quantum secure communication schemes. While quantum computers may provide a platform for arithmetic calculations which threaten class…

lieferbar innerhalb 2-3 Wochen

Buch

Ri-Gui Zhou, Xiao-Xue Zhang, Lin-Tao Du
Design of Quantum Teleportation Schemes

This book offers a design-centered approach to quantum teleportation as well as in-depth analysis of various quantum teleportation schemes. Quantum teleportation, a vital component of practical quantum co…

lieferbar innerhalb 2-3 Wochen

Buch

Song-Chun Zhu, Yixin Zhu
Computer Vision

This volume on visual commonsense reasoning, part of a comprehensive three-volume series, presents a computational framework for bridging the gap between modern computer vision capabilities and human-like…

lieferbar ab 19.1.2026.

Buch

6G Cyber Security Resilience: Trends and Challenges

This book offers a comprehensive analysis of intersection of significant domains, including information security, 6G technology, and cybersecurity. This reference work addresses gaps in existing literatur…

lieferbar innerhalb 2-3 Wochen

Buch

Accelerating Discoveries in Data Science and Artificial Intelligence II

This edited volume on machine learning and big data analytics (Proceedings of ICDSAI 2023), that was held on April 24-25, 2023 by CSUSB USA, International Association of Academicians (IAASSE), and Lendi I…

lieferbar innerhalb 2-3 Wochen

Buch

Advanced Information Systems Engineering

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during Ju…

lieferbar innerhalb 2-3 Wochen

Buch

Advanced Information Systems Engineering

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during Ju…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computational Intelligence. MICAI 2024 International Workshops

This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, hel…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computational Intelligence. MICAI 2024 International Workshops

This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, hel…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Machine Learning and Big Data Analytics II

In the dynamic landscape of technology, machine learning and big data analytics have emerged as transformative forces, reshaping industries and empowering innovation. Machine learning, a subset of artific…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Social Simulation

This book covers the latest advances in applying agent-based modelling in social sciences. The Social Simulation Conference is the major global conference devoted to this topic. It is aimed at promoting s…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Social Simulation

This book contains the proceedings of the 18th Social Simulation Conference (SSC) and covers the state of the art of social simulation modeling. The SSC is the annual conference of the European Social Sim…

lieferbar innerhalb 2-3 Wochen

Buch

Agents and Artificial Intelligence

.- Artificial Intelligence..- Deep Neural Networks for Early Human Embryo Stages Detection in Time Lapse Sequences..- Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs..- Combining Mo…

lieferbar innerhalb 2-3 Wochen

Buch

Agents and Artificial Intelligence

.- Agents..- Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling..- A Framework for Cognitive Defense in Blockchain: A Case Study on AI-Based Protection Again…

lieferbar innerhalb 2-3 Wochen

Buch

AIxIA 2024 - Advances in Artificial Intelligence

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Aspects of Cloud Computing

.- ALGOCLOUD 2024..- Innovating Medical Record Keeping with Blockchain, RSA-Encrypted NFTs, and Smart Contracts..- Towards 2-Resilient Local Failover in Destination-Based Routing..- Dynamic Accountable St…

lieferbar innerhalb 2-3 Wochen

Buch