Thema Theoretische Informatik – alle Bücher, Seite 4

Tayfun E. Tezduyar, Kenji Takizawa
Space-Time Computational Flow Analysis

Modeling and Simulation in Science, Engineering and Technology

Space--Time Computational Flow Analysis (STCFA) was developed in 1990 in the context of flows with moving boundaries and interfaces, which is a wide class of problems that includes fluid--particle interac…

lieferbar innerhalb 2-3 Wochen

Buch

Jacobo Torán, Julian Nickerl, Florian Sihler
Algorithmische Spieltheorie

Die Vorlesung Algorithmische Spieltheorie findet seit dem Sommersemester 2014 jährlich an der Universität Ulm statt, eingebunden im Lehrangebot des Instituts für Theoretische Informatik. Gemeinsam eingefü…

sofort lieferbar

Buch

Jayameenakshi Venkatraman
Controlling the Effective Hamiltonian of a Driven Quantum Superconducting Circuit

Springer Theses

The thesis illustrates, with a remarkable combination of theoretical analysis and experimental investigation, how the static Hamiltonian of an oscillator with both 3rd and 4th order non-linearity can morp…

lieferbar innerhalb 2-3 Wochen

Buch

Dirk Wiesmann
Fundamente der Programmierung

Das Buch bietet Studierenden und Praktiker*innen mit Kenntnissen der (objektorientierten) Anwendungsentwicklung einen Einstieg in die theoretischen Grundlagen der Programmierung.Auf Basis des Curry-Howard…

lieferbar ab 26.8.2026.

Buch

Weili Wu, Zhao Zhang, Ding-Zhu Du
Computational Aspects of Social Networks

Springer Optimization and Its Applications - Band 234

This book offers a comprehensive exploration of computational social networks, focusing on the algorithmic and optimization aspects crucial for applications across diverse domains. As social data prolifer…

lieferbar innerhalb 2-3 Wochen

Buch

Eugene J. Zak
Popular Optimization

Business Guides on the Go

This book uniquely explores popular optimization, presenting fundamental problems from diverse sources. It aims to cultivate a non-traditional problem-solving approach applicable to both optimization and …

lieferbar innerhalb 2-3 Wochen

Buch

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

History of Analytic Philosophy

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

6G Cyber Security Resilience: Trends and Challenges

Advanced Sciences and Technologies for Security Applications

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

Lecture Notes in Computer Science - Band 15702

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

Lecture Notes in Computer Science - Band 15701

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 2025 International Workshops

Lecture Notes in Computer Science - Band 16265

This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanaju…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Machine Learning and Big Data Analytics II

Springer Proceedings in Mathematics & Statistics - Band 442

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

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

Algorithmic Aspects of Cloud Computing

This volume, LNCS 16349, constitutes revised selected papers from the 10th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2025, held in Warsaw, Poland, during September 15--1…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Aspects of Cloud Computing

Lecture Notes in Computer Science - Band 15455

This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2024, held in London, UK, during September 2024.The 9 full papers and…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Game Theory

Lecture Notes in Computer Science - Band 15953

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

Algorithmische Wissenskulturen

Die blaue Stunde der Informatik

Obwohl es längst zu einem Allgemeinplatz geworden ist, dass der Computer die Wissenschaften revolutioniert hat, ist dieser für die Entwicklung von Wissenschaft und Technik grundlegende Prozess wissenschaf…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithms and Architectures for Parallel Processing

Lecture Notes in Computer Science - Band 16384

The eight volume set, LNCS 16381-16388 constitutes the refereed proceedings of the 25th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2025, held in Zhengzhou, Ch…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithms and Architectures for Parallel Processing

Lecture Notes in Computer Science - Band 16381

The eight volume set, LNCS 16381-16388 constitutes the refereed proceedings of the 25th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2025, held in Zhengzhou, Ch…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Theoretische Informatik" - alle Bücher