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
  • PDF
  • English
  • Year: 2020
  • Author: Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Structure of Partially Ordered Sets With Transitive Automorphism Groups
Structure of Partially Ordered Sets With Transitive Automorphism Groups
  • DJVU
  • English
  • Year: 1985
  • Author: Manfred Droste
Calendrical Calculations: The Ultimate Edition
Calendrical Calculations: The Ultimate Edition
  • PDF
  • English
  • Year: 2018
  • Author: Edward M. Reingold, Nachum Dershowitz
Calendrical calculations
Calendrical calculations
  • PDF
  • English
  • Year: 2007;2008
  • Author: Dershowitz, Nachum;Reingold, Edward M
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
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
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Bernd Finkbeiner, Leonardo Mariani
Semantics of Programming Languages and Model Theory
Semantics of Programming Languages and Model Theory
  • DJVU
  • English
  • Year: 1993
  • Author: Manfred Droste, Yuri Gurevich
The Contest for Value in Global Value Chains
  • PDF
  • English
  • Author: Lilac Nachum
Marcel Breuer, Design
Marcel Breuer, Design
  • PDF
  • English
  • Year: 1994
  • Author: M. Droste, Magdalena Droste
search