表紙画像

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of Munich, he then held professorships at the Universi...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Kiefer, Stefan (編集者), Křetínský, Jan (編集者), Kučera, Antonín (編集者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
版:	1st ed. 2024.
シリーズ:	Lecture Notes in Computer Science, 14660
主題:	Computer science. Theory of Computation. Computer Science Logic and Foundations of Programming.
オンライン･アクセス:	https://doi.org/10.1007/978-3-031-56222-8
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

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)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
出版事項: (2024)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
出版事項: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
出版事項: (2024)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
出版事項: (2023)

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)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
出版事項: (2025)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
出版事項: (2023)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
著者:: Chowdhary, K.R
出版事項: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
出版事項: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
出版事項: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
出版事項: (2023)

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)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
出版事項: (2024)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
出版事項: (2025)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
出版事項: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
出版事項: (2023)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
出版事項: (2024)

Multi-valued Logic for Decision-Making Under Uncertainty
著者:: Kagan, Evgeny, 等
出版事項: (2025)

Logic in Computer Science
著者:: Zhang, Hantao, 等
出版事項: (2025)

Mathematics in Programming
著者:: Liu, Xinyu
出版事項: (2024)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
出版事項: (2023)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
出版事項: (2025)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
出版事項: (2023)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
著者:: Yukita, Shuichi
出版事項: (2025)

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
出版事項: (2025)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
出版事項: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
出版事項: (2024)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
出版事項: (2025)

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)

Transactions on Petri Nets and Other Models of Concurrency XVII
出版事項: (2024)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
出版事項: (2023)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
出版事項: (2025)

Prolog: The Next 50 Years
出版事項: (2023)

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)