Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Advanced Information Systems Engineering: 37th International Conference, CAiSE 2025, Vienna, Austria, June 16–20, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Operations Research and Enterprise Systems: 13th International Conference, ICORES 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of extended papers of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025. The 27 full papers included in this book were carefully reviewed and selected from 49 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Languages of Cooperation and Communication: Essays Dedicated to Erzsebet Csuhaj-Varju to Celebrate Her Scientific Career (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Principles and Practices of Building Parallel Software: Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Combinatorics on Words: 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International Conference on Combinatorics on Words, WORDS 2025, held in Nancy, France, during June 30– July 4, 2025. The 20 papers included in these proceedings were carefully reviewed and selected from 31 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science – ICCS 2025 Workshops: 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science – ICCS 2025 Workshops: 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
