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

Titel Författare År Språk
1 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
2 Infinite-state Stochastic and Parameterized Systems Noomene Ben Henda 2008 Engelska
3 Validation of Stochastic Systems - A Guide to Current Research 2004 Engelska
4-5 CONCUR 2006 – Concurrency Theory (flera utgåvor) Christel. Baier 2006 Engelska
6-8 Principles of model checking (flera utgåvor) Christel. Baier cop. 2008 Engelska
9 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
10 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
11 SOFSEM 2017: Theory and Practice of Computer Science 2017 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 CONCUR 2006 Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings Christel Baier 2006 Okänt
14 Validation of Stochastic Systems: A Guide to Current Research (Lecture notes in computer science, 2925) Christel Baier uuuu-uuuu Okänt
15-16 Principles of model checking electronic resource / Christel Baier, Joost-Pieter Katoen (flera utgåvor) Christel. Baier uuuu-uuuu Okänt
17 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

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.