Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Markus Roggenbach 11 träffar

Titel Författare År Språk
1 Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday 2023 Okänt
2 Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings José Luiz. Fiadeiro 2005 Engelska
3 Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers 2021 Okänt
4 Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Anne E. Haxthausen 2023 Engelska
5 Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Anne E. Haxthausen 2023 Engelska
6 Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : Proceedings (Lecture notes in computer science, 3629) José Luis Fiadeiro 2005 Okänt
7 Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers Markus Roggenbach 2021 Okänt
8 Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers 2017 Engelska
9 Recent Trends in Algebraic Development Techniques 2017 Okänt
10-11 Formal Methods for Software Engineering : Languages, Methods, Application Domains (flera utgåvor) Markus. Roggenbach uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.