Sökning: "Johan Kraft"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Johan Kraft.

1. 1. Salices Lapponiæ quarum descriptiones ... p.p. Nicolaus Johannes Anderson phil. mag. stip. Hellvik et Johan. Eric. Ulr. Kraft Ostrogothi ... die VI Decemb. MDCCCXLV ... Pars IV

   Författare :Nils Johan Andersson; Johan Eric Ulrik Kraft; Uppsala universitet; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

3. 2. Dissertatio prior, nexum gloriæ dei cum utilitate humana sistens, quam, ex consensu ampliss. Facult. Philosoph. in Regia Academia Upsaliensi, præside, ... Johanne Ihre, ... publico examini modeste subjicit Laurentius Kraft, Ol. Fil. Arosia-Westmannus. In Auditorio Carolino Majori, ad d. XVII. Aprilis anni MDCCXLV. Horis, ante meridiem, consuetis

   Författare :Johan Ihre; Lars Kraft; Johan Ihre; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : .... LÄS MER

4. 3. Dissertatio posterior, nexum gloriæ dei cum utilitate humana sistens, quam, ex consensu ampliss. Facult. Philosoph. in Regia Academia Upsaliensi, præside, ... Johanne Ihre, ... pro gradu, publico examini modeste subjicit Laurentius Kraft, Ol. Fil. Arosia-Westmannus. In Auditorio [Carolino Majori] ad diem 31. Maji, Anni MDCCXLVI. Horis, ante meridiem, consuetis

   Författare :Johan Ihre; Lars Kraft; Johan Ihre; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : .... LÄS MER

5. 4. Dissertatio philosophica, de interna, cum bene faciendi studio, conjuncta delectatione, quam, consensu ampliss. facult. philosoph. reg. acad. upsal. præside Mag. Joh. Petro Sleincour, ... Petrus L. Kraft, Dalekarlus. In aud. Carol. majori die VIII Maji, MDCCLXXVI

   Författare :Johan Peter Sleincour; Petrus L. Kraft; Johan Peter Sleincour; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : .... LÄS MER

7. 5. Enabling Timing Analysis of Complex Embedded Software Systems

   Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. LÄS MER