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

Titel Författare År Språk
261 Sveriges medeltida ballader Band 1, Naturmytiska visor : (nr 1-36) 2015 Svenska
262 Om barrblandskogens volymproduktion - tallens och granens höjd- och diametertillväxt i orörda bestånd med olika grader av trädslagsblandning i Norrland, Kopparbergs och Värmlands län = Yield of mixed coniferous forests : the height and diameter growth of Scots pine and Norway spruce in virgin stands at various proportions of mixture in northern Sweden and the provinces of Kopparberg and Värmland Bengt Jonsson 1962 Svenska
263 Multifunctional supramolecular organic ferroelectrics Indrė Urbanavičiūtė 2019 Engelska
264 Kom följ med mej på sjöen ut - till den svenska sjömansvisans historia Bengt R. Jonsson 1977 Svenska
265 Metaproteogenomics-guided enzyme discovery - targeted identification of novel proteases in microbial communities Mikaela Johansson 2018 Engelska
266 1500- och 1600-talens visböcker - alfabetiskt register med parallellhänvisningar : framställt på uppdrag av Svenskt visarkiv /c av Bengt R. Jonsson Bengt R. Jonsson 1953 Svenska
267 Verification of Software under Relaxed Memory Carl Leonardsson 2016 Engelska
268 Description of spatial and temporal distributions of epiphytic lichens Håkan Lättman 2008 Engelska
269 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 2010 Svenska
270 Model-Based Protocol Testing in an Erlang Environment Johan Blom 2016 Engelska
271 Forecasting Lock Contention Before Adopting Another Lock Algorithm Xiaoyue Pan 2015 Engelska
272 Learning Component Behavior from Tests - Theory and Algorithms for Automata with Data Sofia Cassel 2015 Engelska
273 Performance Modeling of Multi-core Systems - Caches and Locks Xiaoyue Pan 2016 Engelska
274 Erikskrönikans diktare - ett försök till identifiering Bengt R. Jonsson 2010 Svenska
275 Secondary structure in de novo designed peptides induced by electrostatic interaction with particles and membranes. January 12th - 14th 2011 France Grenoble Workshop BILL2011 - Bilayers at the Institut Laue Langevin (ILL) Patrik Nygren 2011 Engelska
276 Effective Techniques for Stateless Model Checking Stavros Aronis 2018 Engelska
277 Verification of networks of communicating processes - Reachability problems and decidability issues Othmane Rezine 2017 Engelska
278 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
279 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
280 Using SPIN to model check concurrent algorithms, using a translation from C to Promela MCC 2009 Ke Jiang 2009 Engelska

Förra sidan 10 11 12 13 14 15 16 17 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.