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

Titel Författare År Språk
1781 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
1782 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
1783 Parsimonious Optimal Dynamic Partial Order Reduction ArXiv Parosh Abdulla 2024 Engelska
1784 Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs ArXiv Parosh Abdulla 2023 Engelska
1785 Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs 2023 October 24–27 Singapore ATVA 2023 21st International Symposium Parosh Abdulla 2023 Engelska
1786 J-PARC Neutrino Beamline Upgrade Technical Design Report K. Abe 2019 Engelska
1787 Problemlösning i två olika länder - en studie om hur elever lyckas lösa problem i den svenska skolan och i den nya zeeländska skolan Hemal Abeysekera 2001 Svenska
1788 Framkomlighet i övre Norrland - positionsbestämd spårdjupsmätning med ultraljudssensor och IR-avståndsmätare Staffan Abrahamson 1990 Svenska
1789 Bostadsmarknadsanalys Norrbotten 2017 Anna-Karin Abrahamsson 2017 Svenska
1790 Bostadsmarknadsanalys Norrbotten 2018 Anna-Karin Abrahamsson 2018 Svenska
1791 Religion, Grundbok Marianne Abrahamsson 2005 Svenska
1792 Cavitation Erosion Mechanisms in Cast Irons Marcio Abreu 2021 Engelska
1793 Encyclopédie du management public Véronique Achmet 2023 Franska
1794 Acklinga socken - i ord och bild 2022 Svenska
1795 Acta Conventus Neo-Latini Lovaniensis - proceedings of the first International congress of Neo-Latin studies, Louvain, 23-28 August 1971 International congress of Neo-Latin studies 1971) Louvain : 1973 Flerspråkigt verk
1796 Dependability improvement in computerized manufacturing systems Anders Adlemo 1994 Engelska
1797 Regionala Systemanalyser Marcus Adolphson 2017 Svenska
1798 Adsorption of proteins to nitrocellulose studied by plasma desorption mass spectrometry and ellipsometry 1989 Engelska
1799 Affärsbrev och handelstext att översättas till tyska jämte avgångsproven i handelsgymnasieexamen 1960 Svenska
1800 Afrikaprojektet 2001 Svenska

Förra sidan 90 91 92 93 94 95 96 97 98 99 100 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.