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: Jan Friso. Groote 14 träffar

Titel Författare År Språk
1 Logic Gates, Circuits, Processors, Compilers and Computers Adam Watkins 2021 Okänt
2 Understanding Behaviour of Distributed Systems Using MCRL2 Muhammad Atif 2023 Okänt
3 Formal verification of a leader election protocol in process algebra Lars-Åke Fredlund 1995 Engelska
4-5 Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (flera utgåvor) Jan Friso. Groote uuuu-uuuu Okänt
6-7 Logical gates, circuits, processors, compilers and computers / Jan Friso Groote and three others (flera utgåvor) J. F. (Jan Friso) Groote uuuu-uuuu Okänt
8 Modeling and analysis of communicating systems J. F. (Jan Friso) Groote 2014 Engelska
9-10 Tools and Algorithms for the Construction and Analysis of Systems (flera utgåvor) Jan Friso Groote 2021 Engelska
11-12 "Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2" (flera utgåvor) Jan Friso Groote 2021 Okänt
13 Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen Jan Friso. Groote uuuu-uuuu Okänt
14 Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen Jan Friso. Groote 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.