תמונות העטיפה

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University Nijmegen and holds a part-time professorship at Eindhoven University of Technology. He received h...

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר תאגידי:	SpringerLink (Online service)
מחברים אחרים:	Capretta, Venanzio (Editor), Krebbers, Robbert (Editor), Wiedijk, Freek (Editor)
פורמט:	אלקטרוני ספר אלקטרוני
שפה:	אנגלית
יצא לאור:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
מהדורה:	1st ed. 2024.
סדרה:	Lecture Notes in Computer Science, 14560
נושאים:	Computer science. Computer science > Mathematics. Mathematics. Computer Science. Computer Science Logic and Foundations of Programming. Mathematical Applications in Computer Science. Applications of Mathematics. Mathematics of Computing.
גישה מקוונת:	https://doi.org/10.1007/978-3-031-61716-4
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

Logic in Computer Science
מאת: Zhang, Hantao, et al.
יצא לאור: (2025)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
יצא לאור: (2024)

Mathematics in Programming
מאת: Liu, Xinyu
יצא לאור: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
מאת: Farmer, William M.
יצא לאור: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
מאת: Farmer, William M.
יצא לאור: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
מאת: Kagan, Evgeny, et al.
יצא לאור: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
יצא לאור: (2024)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
יצא לאור: (2024)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
יצא לאור: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
יצא לאור: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
יצא לאור: (2023)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
יצא לאור: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
יצא לאור: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
יצא לאור: (2025)

Maths For Computing A Beginner's Guide /
מאת: Charatan, Quentin, et al.
יצא לאור: (2025)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
יצא לאור: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
יצא לאור: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
יצא לאור: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
יצא לאור: (2023)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
יצא לאור: (2025)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
מאת: Chowdhary, K.R
יצא לאור: (2025)

Mathematics for Computer Scientists A Practice-Oriented Approach /
מאת: Hartmann, Peter
יצא לאור: (2023)

Understanding Behaviour of Distributed Systems Using mCRL2
מאת: Atif, Muhammad, et al.
יצא לאור: (2023)

Federated Learning A Primer for Mathematicians /
מאת: Kobayashi, Mei
יצא לאור: (2025)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
יצא לאור: (2023)

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings /
יצא לאור: (2024)

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7–10, 2024, Proceedings /
יצא לאור: (2025)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
יצא לאור: (2023)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
יצא לאור: (2024)

Beyond Frontiers of Operations Research: Emerging Technologies and Innovative Optimization Paradigms Proceedings of the 7th AIROYoung Workshop (February 15-17, 2023, University of Milan, Italy) and 8th AIROYoung Workshop (February 14-16, 2024, University of Calabria, Italy) /
יצא לאור: (2025)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
מאת: Schreiner, Wolfgang
יצא לאור: (2023)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
מאת: O'Regan, Gerard
יצא לאור: (2023)

R-Calculus, VI: Finite Injury Priority Method
מאת: Li, Wei, et al.
יצא לאור: (2025)

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /
יצא לאור: (2024)

Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings /
יצא לאור: (2023)

Foundation Mathematics for Computer Science A Visual Approach /
מאת: Vince, John
יצא לאור: (2023)

Foundation Mathematics for Computer Science A Visual Approach /
מאת: Vince, John
יצא לאור: (2024)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
יצא לאור: (2023)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
יצא לאור: (2024)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
יצא לאור: (2025)