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 14 träffar

Titel Författare År Språk
1 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Andre Platzer 2024 Engelska
2 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Andre Platzer uuuu-uuuu Okänt
3 Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I André Platzer 2024 Engelska
4 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
5 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
6 Logical Analysis of Hybrid Systems electronic resource : Proving Theorems for Complex Dynamics / by André Platzer André. author. Platzer uuuu-uuuu Okänt
7 Automated Deduction – CADE 28 André Platzer 2021 Engelska
8-9 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
10 Formal Methods Andre Platzer 2025 Engelska
11 Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics André. Platzer 2010 Engelska
12 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics André Platzer 2010 Okänt
13 Logical Foundations of Cyber-Physical Systems André. Platzer 2018 Engelska
14 Logical Foundations of Cyber-Physical Systems André Platzer 2018 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.