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.