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 126 Treffer.

    Ansicht:

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science - Band 16040

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 63,51

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science - Band 16363

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

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

    From Bits to Qubits: The Quantum Transformation of Computing

    The rapidly developing field of quantum computing and its potential to upend science, business, and society are examined in Bits to Qubits: The Quantum Transformation of Computing. This book provides a th…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Frontiers of Combining Systems

    Lecture Notes in Computer Science - Band 15979

    This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

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

    Fundamentals of Computation Theory

    Lecture Notes in Computer Science - Band 16106

    This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wrocaw, Poland, during September 15--17, 2025.The 32 full papers included…

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

    Geometric Science of Information

    Lecture Notes in Computer Science - Band 16035

    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

    Geometric Science of Information

    Lecture Notes in Computer Science - Band 16033

    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 89,80

    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

    Lecture Notes in Computer Science - Band 15981

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

    Integration of AI Theory and Applications in Diverse Industries

    Synthesis Lectures on Computer Science

    The book explores the ways artificial intelligence (AI) theory is being applied to an extremely diverse range of industries, illustrating just how robust and adaptable this technology has become. AI is re…

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

    Intelligent Computer Mathematics

    Lecture Notes in Computer Science - Band 16136

    .- 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 1.4.2026.
    Buch
    Aktueller Preis: EUR 42,66

    KI 2025: Advances in Artificial Intelligence

    Lecture Notes in Computer Science - Band 15956

    .- 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 89,80

    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 Reasoning

    Lecture Notes in Computer Science - Band 16059

    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

    Logic-Based Program Synthesis and Transformation

    Lecture Notes in Computer Science - Band 16117

    .- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization..- Implementing a Many-Valued Semantics for Logic Prog…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51
    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.