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: Jonas Westman 22 träffar

Titel Författare År Språk
1-2 Getarpojken (flera utgåvor) Jonas Westman 1953 Svenska
3 I vilddjurens land Jonas Westman 1954 Svenska
4 Bidrag till kännedom om järnglansens magnetism Jonas Westman 1897 Svenska
5 Gjetergutten - Til norsk ved Selma Lerberg Jonas Westman 1954 Norska
6 Simba! Simba! Jonas Westman 1958 Svenska
7 Student- och forskarbostäder vid Umeå campus Jonas Westman 2002 Svenska
8 Specimen academicum artificii historiæ Herodoteæ ideam sistens quod venia ampl. fac. phil. Ups. p. p. mag. Nicolaus Fr. Biberg ... et J. A. Westman Bothniensis. In audit. Gustaviano die XXVIII Febr. MDCCCX. H. a. m. s Nils Fredrik Biberg 1810 Latin
9 Dissertatio philosophica, de defensione rerum cum cæde alterius, quam, suffragante ampliss. qui ad Salam est, ordine philosophico, ac præside ... Laurentio Dahlman ... In audit. Carol. maj. die XV Junii anni MDCCLI. Horis ante meridiem solitis publicæ censuræ modeste committit Jonas Westman Medelpadus Lars Dahlman 1751 Latin
10 Loca Herodoti Svethicæ tradita. Venia ampl. fac. philos. Upsal. præside Mag. Gustavo Knös ... pro gradu philosophico p. p. Jonas Adolphus Westman Bothniensis. In Audit. Gustav. die X Junii MDCCCXII. H. P. M. S D. 2 Gustaf Knös 1812 Grekiska, klassisk (-1453)
11 Dissertatio gradualis, de absurditatibus zinzendorffianorum philosophicis, in doctrina de medio reconciliationis inter deum et homines, quam, consensu ampliss. facult. philos. in regia acad. Upsaliensi, præside ... Nicolao Wallerio ... publice examinandam sistit Jonas Westman, Medelpadus. In aud. Carol. majori die XIX Junii, anni MDCCLIV. H. a. m. s Nils Wallerius 1754 Latin
12-13 Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory (flera utgåvor) Jonas Westman 2016 Engelska
14 Specifying and Structuring Requirements on Cyber-Physical Systems using Contracts Jonas Westman 2014 Engelska
15 Environment-Centric Contracts for the Design of Cyber Physical Systems Jonas Westman 2014 Engelska
16 Verification of Requirements in Simulink Design Verifier and UPPAAL - an Industrial Case Study Jonas Westman 2016 Engelska
17 Architecting Safety Supervisors for High Levels of Automated Driving The 21st IEEE Internal Conference on Intelligent Transportation Systems Martin Törngren 2018 Engelska
18 A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems QC; Canada; 29 September 2013 through 4 October 2013 EMSOFT 2013; Montreal 13th International Conference on Embedded Software Magnus Persson 2013 Engelska
19 Experience on applying software architecture recovery to automotive embedded systems CSMR-WCRE 2014; Antwerp; Belgium; 3 February 2014 through 6 February 2014 and Reverse Engineering Reengineering 2014 1st Software Evolution Week - IEEE Conference on Software Maintenance Xinhai Zhang 2014 Engelska
20 Structuring Safety Requirements in ISO 26262 using Contract Theory Jonas Westman 2013 Engelska

1 2 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.