Home Advanced Search
Advanced Search - Page 1
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
- English
- Year: 2020
- Author: Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Structure of Partially Ordered Sets With Transitive Automorphism Groups
- DJVU
- English
- Year: 1985
- Author: Manfred Droste
Structure of Partially Ordered Sets With Transitive Automorphism Groups
- English
- Year: 1985
- Author: Manfred Droste
Calendrical Calculations: The Ultimate Edition
- English
- Year: 2018
- Author: Edward M. Reingold, Nachum Dershowitz
Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
- English
- Year: 2014
- Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III
- English
- Year: 2014
- Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
- English
- Year: 2014
- Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
- EPUB
- English
- Year: 2022
- Author: Bernd Finkbeiner, Thomas Wies