Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Computable Structure Theory: A Unified Approach (Bog, Hardback, Engelsk)
This is the first book which gives a unified theory for countable and uncountable computable structures. The work treats computable linear orderings, graphs, groups and Boolean algebras unified with computable metric and Banach spaces, profinite groups, and the like.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Advanced Computing in Industrial Mathematics: 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria. Revised Selected Papers (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computational Science – ICCS 2025 Workshops: 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI (Bog, Paperback / softback, Engelsk)
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Based Safety and Assessment: 9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Erzeugende Funktionen verstandlich erklart (Bog, Paperback / softback, Tysk)
Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik. Es wird eine Einführung in die Technik der Gewinnung und der Manipulation erzeugender Funktionen gegeben;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Den Fehlerteufel ausgetrickst: Codierungstheorie verstandlich erklart (Bog, Paperback / softback, Tysk)
Die Codierungstheorie, die sich mit Verfahren zur Erkennung und Korrektur von Fehlern bei Datenübertragungen und beim Auslesen von Speichermedien beschäftigt, ist heute aus Technik, Wirtschaft und aus unserem Alltag nicht mehr wegzudenken.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Knowledge Discovery and Data Mining: 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10–13, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Einfuhrung in die Entwurfsautomatisierung fur Quantencomputer (Bog, Hardback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Recurrence Plots and Their Quantifications: Methodological Breakthroughs and Interdisciplinary Discoveries: Proceedings of the 10th International Symposium on Recurrence Plots, Tsukuba, Japan, 28–30 August 2023 (Bog, Hardback, Engelsk)
It discusses the mathematical foundations of recurrence plots and recurrence microstates and links them to future directions, such as machine learning, highlighting the potential for innovative applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Face Method: Toward the New Generation of Linear Programming (Bog, Hardback, Engelsk)
The interior-point method failed to shake the domination of the simplex method.After years of research and exploration, the author proposes to break out of the simplex and interior-point methods.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.
Levering: Skaffevare (forvent 14 - 30 hverdage)
