We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£94.25
It has never been this cheap. We have no record of a lower price.
£94 today · cheaper than every other day in the last 3 months
Springer Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 47 days · 47 data points (no recent data)
Historical
Generating forecast…
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 47 days • 1 price levels
Price Analysis
Most common price: £94 (47 days, 100.0%)
Price range: £94 - £94
Price levels: 1 different prices over 47 days
Description
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 his PhD from Radboud University in 1993 and he was promoted to full professor in Computer Assisted Reasoning in 2006. Prof. Geuvers is an internationally renowned researcher in the field of proof assistants, logic in computer science, lambda calculus, and type theory. He has been a steering committee chair of the TYPES and FSCD conferences, chair of related EU Cost Action projects, and program chair or editor of related conferences and special issues in the area of computer science logic. He is a successful, generous and inspiring advisor and educator. He has been director of education and director of research of the Computer Science Institute at Radboud University Nijmegen, and he is currently chair of the examination board of computer science and chair of the board of the Institute for Programming Research and Algorithmics, a Dutch national inter-university research school. The contributions in this volume reflect Prof. Geuvers’ main research interests.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031617150
- Domain
- Amazon UK
- Release Date
- 24 May 2024
- Listed Since
- 29 May 2024
Barcode
No barcode data available
Similar Products You Might Like
97% match
Pervasive Digital Services for People’s Well-Being, Inclusion and Sustainable Development: 24th IFIP WG 6.11 Conference on e-Business, e-Services and ... (Lecture Notes in Computer Science, 16079)
Springer
£76.41
09 Oct 2026
97% match
Emerging Technologies in Computational Sciences for Industry, Sustainability and Innovation: Math to Product: 146 (Lecture Notes in Computational Science and Engineering, 146)
Springer
£162.30
26 Aug 2026
97% match
Graph Games and Logic Design: Recent Developments and Further Directions: 66 (Trends in Logic, 66)
Springer
£91.90
10 Oct 2026
97% match
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 16365)
Springer
£80.99
11 Oct 2026
97% match
Algorithms and Computational Techniques Applied to Industry: 435 (Studies in Systems, Decision and Control, 435)
Springer
£92.22
24 Sep 2026
97% match
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement (Lecture Notes in Computer Science, 15500)
Springer
£80.93
17 Oct 2026
97% match
Digital Technologies in the New Socio-Economic Reality: 304 (Lecture Notes in Networks and Systems, 304)
Springer
£100.44
27 Aug 2026
97% match
"Smart Technologies" for Society, State and Economy: 155 (Lecture Notes in Networks and Systems, 155)
Springer
£90.69
25 Aug 2026
97% match
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev (Synthese Library, 485)
Springer
£100.53
22 Sep 2026
97% match
Advances in Applied Logics: Applications of Logic for Philosophy, Mathematics and Information Technology: 243 (Intelligent Systems Reference Library, 243)
Springer
£113.93
22 Sep 2026
97% match
Conceptual Spaces: Elaborations and Applications: 405 (Synthese Library, 405)
Springer
£88.02
19 Sep 2026
97% match
Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 (Algorithms for Intelligent Systems)
Springer
£172.33
27 Aug 2026
97% match
ICT for Intelligent Systems: Proceedings of ICTIS 2025, Volume 10: 1510 (Lecture Notes in Networks and Systems, 1510)
Springer
£178.64
04 Oct 2026
97% match
Digital (Eco) Systems and Societal Challenges: New Scenarios for Organizing: 72 (Lecture Notes in Information Systems and Organisation, 72)
Springer
£92.22
18 Sep 2026
97% match
Towards Digital and Sustainable Organisations: People, Platforms, and Ecosystems: 65 (Lecture Notes in Information Systems and Organisation, 65)
Springer
£131.39
08 Sep 2026
97% match
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
£113.76
03 Oct 2026
97% match
Transport Systems and Urban Logistics: 1257 (Lecture Notes in Networks and Systems, 1257)
Springer
£127.59
10 Sep 2026
97% match
Fifty Years of Women in Mathematics: Reminiscences, History, and Visions for the Future of AWM: 28 (Association for Women in Mathematics Series, 28)
Springer
£77.49
24 Sep 2026
97% match
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Springer
£57.09
06 Sep 2026
97% match
Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals: Volume 2 (Lecture Notes in Networks and Systems, 1681)
Springer
£126.45
30 Sep 2026
97% match
Intelligent Methods Systems and Applications in Computing, Communications and Control: 9th International Conference on Computers Communications and ... in Intelligent Systems and Computing, 1435)
Springer
£103.26
18 Sep 2026
97% match
Leading and Managing in the Digital Era: Shaping the Future of Work and Business Education: 69 (Lecture Notes in Information Systems and Organisation, 69)
Springer
£104.99
17 Sep 2026
97% match
Intelligent Systems and Applications in Business and Finance: 415 (Studies in Fuzziness and Soft Computing, 415)
Springer
£73.01
12 Sep 2026
97% match
Algorithms as a Basis of Modern Applied Mathematics: 404 (Studies in Fuzziness and Soft Computing, 404)
Springer
£148.21
04 Sep 2026