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: André Platzer 13 träffar

Titel Författare År Språk
1 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I André Platzer 2024 Engelska
2 Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics André. Platzer 2010 Engelska
3 Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings 2015 Engelska
4 Logical Foundations of Cyber-Physical Systems André. Platzer 2018 Engelska
5-6 Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (flera utgåvor) André Platzer uuuu-uuuu Okänt
7 Logical Analysis of Hybrid Systems electronic resource : Proving Theorems for Complex Dynamics / by André Platzer André. author. Platzer uuuu-uuuu Okänt
8 Formal Methods Andre Platzer 2025 Engelska
9 Automated Deduction – CADE 28 André Platzer 2021 Engelska
10 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics André Platzer 2010 Okänt
11 Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 Okänt
12 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Andre Platzer 2024 Engelska
13 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Andre Platzer 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.