Start Over
You searched for: author Roggenbach,Markus

Search Results

Cover image for Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Location
Access Content Online
Cover image for Formal Methods for Software Engineering Languages, Methods, Application Domains

Formal Methods for Software Engineering Languages, Methods, Application Domains

Location
Access Content Online
Cover image for Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

  • 2006
  • Format: Electronic
Location
Access Content Online
Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21?24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21?24, 2016, Revised Selected Papers

Location
Access Content Online
Cover image for Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Location
Access Content Online
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Location
Access Content Online
Cover image for Sozialprinzipien und Finanzverfassung

Sozialprinzipien und Finanzverfassung

Location
Access Content Online
Cover image for Technical and economical assessment of various carbonate looping process configurations

Technical and economical assessment of various carbonate looping process configurations

Location
Access Content Online
Cover image for Thermoökonomische Bewertung des Organic Rankine Cycles bei der Stromerzeugung aus industrieller Abwärme

Thermoökonomische Bewertung des Organic Rankine Cycles bei der Stromerzeugung aus industrieller Abwärme

Location
Access Content Online
Cover image for Untersuchungen zur homogenen kompressionsgezündeten Verbrennung mit Fremdzündungsunterstützung

Untersuchungen zur homogenen kompressionsgezündeten Verbrennung mit Fremdzündungsunterstützung

Location
Access Content Online