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: Laura. Kovács
14 träffar
|
Titel |
Författare |
År |
Språk |
| 1-3 |
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024,
(flera utgåvor)
|
Bernd Finkbeiner
|
2024 |
Engelska |
| 4 |
Automated Reasoning
|
Jasmin Blanchette
|
2022 |
Engelska |
| 5 |
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
|
Andrea. Kohlhase
|
2024 |
Engelska |
| 6 |
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
|
Laura. Kovács
|
2024 |
Engelska |
| 7-8 |
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings / edited by Laura Kovács, Ana Sokolova
(flera utgåvor)
|
Laura. Kovács
|
uuuu-uuuu |
Okänt |
| 9-10 |
Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
(flera utgåvor)
|
Laura. Kovács
|
uuuu-uuuu |
Okänt |
| 11 |
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
|
Nikolai Kosmatov
|
2024 |
Engelska |
| 12 |
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
|
|
2024 |
Okänt |
| 13 |
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
|
|
2024 |
Okänt |
| 14 |
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
|
|
2024 |
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.