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: Christel Baier 18 träffar

Titel Författare År Språk
1-2 CONCUR 2006 – Concurrency Theory (flera utgåvor) Christel. Baier 2006 Engelska
3-5 Principles of model checking (flera utgåvor) Christel. Baier cop. 2008 Engelska
6-7 Principles of model checking electronic resource / Christel Baier, Joost-Pieter Katoen (flera utgåvor) Christel. Baier uuuu-uuuu Okänt
8 Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Christel. Baier 2015 Engelska
9 Validations of Stochastic Systems: A Guide to Current Research Christel Baier 2004 Okänt
10 Infinite-state Stochastic and Parameterized Systems Noomene Ben Henda 2008 Engelska
11 CONCUR 2006 Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings Christel Baier 2006 Okänt
12 Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Christel Baier 2015 Okänt
13 Validation of Stochastic Systems: A Guide to Current Research (Lecture notes in computer science, 2925) Christel Baier uuuu-uuuu Okänt
14 Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings 2018 Engelska
15 Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings 2018 Okänt
16 SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings 2017 Engelska
17 SOFSEM 2017: Theory and Practice of Computer Science 2017 Okänt
18 Validation of Stochastic Systems - A Guide to Current Research 2004 Engelska

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.