Sökning: "fredrik lindblad"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden fredrik lindblad.

  1. 1. Fasti Skyttiani, consensu fac. phil. Upsal. præside Jac. Fr. Neikter, ... descripti a Petro Lindblad, Ostrogotho. In audit. Gust. maj. d. II Junii MDCCLXXXVII. Pars II

    Författare :Jacob Fredrik Neikter; Per Lindblad; Jacob Fredrik Neikter; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Historia; Sverige;

    Sammanfattning : .... LÄS MER

  3. 2. Dissertatio de medicina per incantationem, cujus partem priorem ... præside Mag. Jac. Fr. Neikter, ... publico examini sujicit (sic) Jacobus Lindblad, Nericius. In Audit. Gust. Maj. d. XXXI. Mart. 1792. Horis a. m. solitis., p. 1

    Författare :Jacob Fredrik Neikter; Jacobus Lindblad; Jacob Fredrik Neikter; Uppsala universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  4. 3. Rationem sacrificii et sacerdotii sanctissimi salvatoris ad normam fidei christianae explicatura dissertatio cujus partem quartam ... p.p. mag. Fredericus Theod. Hagberg ... et Matthias Adolphus Lindblad Sudermanno-Nericius in auditorio ecclesiastico die XXVI apr. MDCCCLI. H.P.M.S

    Författare :Fredrik Theodor Hagberg; Matthias Adolph Lindblad; Fredrik Theodor Hagberg; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

  5. 4. Identifying drivers and barriers for market growth within the industry producing wooden multi-family houses : Land allocation process for future growth

    Författare :Fredrik Lindblad; Bengt Magnusson; Tomas Nord; Ritva Toivonen; Linnéuniversitetet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wooden multi-family houses; Industry structure; Land allocation activity; Public procurement process; Company drivers; Market barriers.; Forestry and Wood Technology; Skog och träteknik;

    Sammanfattning : At present, Sweden is experiencing a housing shortage, which Swedish authorities expect to continue until at least 2025. Producers of wooden multi-family houses have a relatively small market share compared to those who use traditional building materials. LÄS MER

  7. 5. Testing and Proving using Narrowing

    Författare :Fredrik Lindblad; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

    Sammanfattning : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. LÄS MER