0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Schlagwort Mathematik / Informatik, Computer – alle Bücher, Seite 5

    Ihre Suche nach dem Schlagwort "Mathematik / Informatik, Computer" in Bücher ergab 116 Treffer.

    Ansicht:

    Geometric Science of Information

    The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Graph-Theoretic Concepts in Computer Science

    This volume constitutes the thoroughly refereed proceedings of the 51st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2025, which took place in Otzenhausen, Germany, during Ju…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 197,13

    Implementation and Application of Automata

    .- Complementable Normal Form of Parametrized Automata..- Toward the Glushkovization of Automata: the Strong Stabilization..- Constructing Compact BPE Token DFAs..- Epsilon Automata on Linear Orderings..-…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Intelligent Computer Mathematics

    .- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Interactive Natural Language Processing

    Synthesis Lectures on Human Language Technologies

    This book addresses the emergence of Interactive Natural Language Processing (iNLP) and its novel paradigm within the field of NLP and discusses the limitations in existing frameworks while aligning with …

    lieferbar ab 15.4.2026.
    Buch
    Aktueller Preis: EUR 42,66

    KI 2025: Advances in Artificial Intelligence

    .- Full Technical Papers..- Augmenting Systematic Literature Reviews: A Human-AI Collaborative Framework..- Balanced Reciprocity for Data Sharing - Axiomatization and Mechanism Design..- Toward Short and …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Knowledge Discovery, Knowledge Engineering and Knowledge Management

    .- Knowledge Discovery and Information Retrieval..- Identification of Sex-Specific Gene Signatures for Atopic Dermatitis Using Machine Learning Models..- Subset Pretraining for Enhancing Neural Network Tr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 82,13

    Languages of Cooperation and Communication

    Grammars, Grammar Systems, and AutomataControlled Hybrid CD Grammar Systems.- Binary Right-Distinguishability Operation.- Further Remarks on Context-Free Grammars with Subregular Control Languages.- On Pu…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Learning and Intelligent Optimization

    The two-volume set LNCS 15744 + 15745 constitutes the proceedings of the 19th International Conference on Learning and Intelligent Optimization, LION 2025, which was held in Prague, Czech Republic, during…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Learning and Intelligent Optimization

    The two-volume set LNCS 15744 + 15745 constitutes the proceedings of the 19th International Conference on Learning and Intelligent Optimization, LION 2025, which was held in Prague, Czech Republic, during…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,80

    Learning and Reasoning

    This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjin…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Logics in Artificial Intelligence

    This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Logics in Artificial Intelligence

    This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 72,27

    Logik, Informations- und Speichertheorie, Archäologie Band 1

    De Gruyter Studium

    Der erste Band des vierteiligen Lehrbuchs Medientechnisches Wissen führt in die Themen Logik, Informations- und Speichertheorie sowie Archäologie für Medienwissenschaftler:innen ein. Ziel ist es, Studiere…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 54,95

    Model-Based Safety and Assessment

    This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Modeling Decisions for Artificial Intelligence

    .- Decision making and uncertainty..- Measurable Closure of a Finitely-Additive Measure Space: An Analysis of Spaces Similar to Stone Spaces..- Ecological Inference for Electoral Analysis: A Computational…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 72,27

    Network Games, Artificial Intelligence, Control and Optimization

    This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during Octo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Principles of Formal Quantitative Analysis

    This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Programming Languages and Systems

    .- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Progress in Ultrafast Intense Laser Science XVIII

    Topics in Applied Physics - Band 155

    This book delivers up-to-date reviews of progress in ultrafast intense laser science, an expanding interdisciplinary research field spanning atomic and molecular physics, molecular science, solid state ph…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 142,37
    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.