Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

Thema Theoretische Informatik – alle Bücher, Seite 5

Ihre Suche nach dem Thema "Theoretische Informatik" in Bücher ergab 185 Treffer.

Luca Tranchini
Harmony and Paradox

Part 1. Harmony. Chapter 1. Harmony via reductions and expansions.- Chapter 2. Identity of proofs.- Chapter 3. Towards an intensional notion of harmony.- Part 2. Paradox.- Chapter 4. Paradoxes: a natural …

lieferbar innerhalb 2-3 Wochen

Buch

Raimund Ubar, Artur Jutman, Maksim Jenihhin, Jaan Raik
Structural Decision Diagrams in Digital Test

This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly an…

lieferbar innerhalb 2-3 Wochen

Buch

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 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

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

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

Algorithmic Aspects of Cloud Computing

A Federated Learning Approach for Predicting Marine Heat Waves.- Cooper: A Lightweight Event Recording and Visualization Framework for Data Center.- SPiomlicuyla Atiognesnts for Zero-Trust Kubernetes: A C…

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

Algorithmic Game Theory

This volume constitutes the refereed proceedings of 18th International Symposium on Algorithmic Game Theory, SAGT 2025, held in Bath, UK, during September 2--5, 2025.The 26 full papers included in this bo…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.