11 |
Performence characterization and sensitivity analysis of real-time embedded systemsRacu, Bogdan Razvan January 2008 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
|
12 |
Verifikation entfaltbarer Composite-Booms für Gossamer-RaumfahrtsystemeSickinger, Christoph January 2008 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
|
13 |
Untersuchung von HCI-Nebeln in technischen GasreinigungsanlagenBrosig, Gerd January 2008 (has links)
Zugl.: Duisburg, Essen, Univ., Diss., 2008
|
14 |
Efficient enforcement of truth-telling in the grandfathering process of an emmissions trading schemeEckermann, Frauke January 2008 (has links)
Zugl.: Dortmund, Techn. Univ., Diss., 2008
|
15 |
WoLFram - a word level framework for formal verification and its applicationSülflow, André January 2010 (has links)
Zugl.: Bremen, Univ., Diss., 2010
|
16 |
Constraint integer programming /Achterberg, Tobias. January 2008 (has links)
Zugl.: Berlin, Techn. University, Diss., 2007.
|
17 |
Analyse verteilter Systeme mit Hilfe von ProzeßautomatenDeussen, Peter H. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
|
18 |
Cryptographically sound analysis of security protocolsBackes, Michael. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
|
19 |
Det digitala pappret : En kvalitativ studie om praktikers hantering och lagring av verifikationerHasselbom Alderborg, Lisa, Jakobsson, Cornelia January 2019 (has links)
Inledning: År 2013 var 98 procent av all information digitalt lagrad. Idag är arbetsprocessen för redovisning mer och mer digital. Lagstiftningen kring redovisning är utformad som en ramlag och öppen för tolkning. Eftersom lagstiftningen är 20 år gammal och företag kan idag ha nya förutsättningar som e-faktura och digitala bokföringssystem råder det en osäkerhet hur Bokföringslagen ska tolkas. Syfte: Syftet med vår uppsats är att ge en aktuell bild av hur företag praktiskt hanterar verifikationer och vilken betydelse det kan ha för bevisvärdet om det är original eller kopia. Förväntningarna på uppsatsen är att det ska leda till mer klarhet i lagringen av dokument för de som arbetar med redovisningen Metod: Vi har genomfört en kvalitativ studie där vi har intervjuat 5 personer som på något sätt kommer i kontakt med verifikationer. De personerna vi intervjuade är konfidentiella och vi valde därför att benämna de till deras yrkesroller. Resultat: Resultatet visar att praktiker sparar sina verifikationer i samma format som de kommer till företaget. De flesta praktiker ser en fördel och effektivisering i att använda sig av digitalt lagrade verifikationer. Däremot tvingar lagstiftningen att pappersfakturor måste sparas i sju år. Det är framförallt med en extern part som ett original blir mer betydelsefullt.
|
20 |
Advanced automation in formal verification of processorsKühne, Ulrich January 2009 (has links)
Zugl.: Bremen, Univ., Diss., 2009
|
Page generated in 0.071 seconds