Avancerad sökning
Visar resultat 1 - 5 av 12 uppsatser som matchar ovanstående sökkriterier.
1. Att använda minnet av en kung : Historiebruk kring Gustav III
Uppsats för yrkesexamina på avancerad nivå, Högskolan i Jönköping/Högskolan för lärande och kommunikationSammanfattning : The aim of this master's dissertation is to examine the use of history in relation to Gustav III (1746-1792). A notable historic figure in Swedens history who ruled as king from 1771 until he was murdered in 1792. LÄS MER
2. Ett anpassningsbart minne : Historiebruk kring Drottning Kristina
Uppsats för yrkesexamina på grundnivå, Högskolan i Jönköping/Högskolan för lärande och kommunikationSammanfattning : Hur historia brukas är i min mening idag ett viktigt fält att undersöka. Vi lever i en allt mer sammankopplad värld med internet och sociala medier. Källkritik har genom detta blivit ett brinnande ämne. LÄS MER
3. Social Media in the Business-to-Business environment : International B2B companies utilization of specific social media channels in relation to the overall marketing strategy
Master-uppsats,Sammanfattning : .... LÄS MER
4. En minskande ekonomi och befolkning : En granskning av Gislaveds kommun
Kandidat-uppsats, Högskolan i Gävle/Avdelningen för Industriell utveckling, IT och SamhällsbyggnadSammanfattning : Många mindre kommuner i Sverige minskar i befolkning. Detta är inte enbart en trend i Sverige utan det är en stor global trend. Gislaved som ligger i sydvästra Småland är en av alla kommuner som minskar i befolkning och som har drabbats av en allt högre arbetslöshet. LÄS MER
5. Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report we present a formal proof of the Toom-Cook algorithm using the Coq proof assistant together with the SSReflect extension. LÄS MER