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: Bengt Jonsson 341 träffar

Titel Författare År Språk
1 55 skånska smultronställen Bengt Inge Jonsson 1985 Svenska
2 11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991 And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification 1991 Engelska
3 11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991, Tutorial notes And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification 1991 Engelska
4 11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991, Participants proceedings And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification 1991 Engelska
5 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures ITALY Rome 2013 16-24 March 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Parosh Aziz Abdulla 2013 Engelska
6 Parsimonious Optimal Dynamic Partial Order Reduction CANADA Montreal 2024 JUN 24-27 36th International Conference on Computer-Aided Verification (CAV) Parosh Aziz Abdulla 2024 Engelska
7 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
8 Parsimonious Optimal Dynamic Partial Order Reduction ArXiv Parosh Abdulla 2024 Engelska
9 Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs ArXiv Parosh Abdulla 2023 Engelska
10 Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs 2023 October 24–27 Singapore ATVA 2023 21st International Symposium Parosh Abdulla 2023 Engelska
11 Efterfrågevariationernas konsekvenser hos en livsmedelsproducent Anders Algotsson 1981 Svenska
12 A laboratory model study of a plastic fabric at the subgrade-subbase interface Olle Andersson 1984 Engelska
13 Landskapsansats för bevarande av skoglig biologisk mångfald - en uppföljning av 19978 års regionala bristanalys, och om behovet av samverkan mellan aktörer Per Angelstam 2011 Svenska
14 Ark & dok NIF:s nordiska folkloristiska arkiv- och dokumentationskonferens 1974) Stockholm : 1975 Svenska
15 Relaskopet, Visspecial : Arnies och Bengans pekoraler : ett urval genom åren Anders Arnell 1990 Svenska
16 Effective Techniques for Stateless Model Checking Stavros Aronis 2018 Engelska
17 Arv Vol. 35(1979) - Scandinavian yearbook of folklore 1982 Flerspråkigt verk
18 Arv Vol. 36(1980) - Scandinavian yearbook of folklore 1982 Flerspråkigt verk
19 Arv Vol. 37(1981) - Scandinavian yearbook of folklore 1983 Engelska
20 Arv Vol. 38(1982) - Scandinavian yearbook of folklore 1984 Engelska

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Nästa sida

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.