• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 66
  • 32
  • 8
  • 3
  • 1
  • Tagged with
  • 110
  • 51
  • 51
  • 32
  • 29
  • 28
  • 28
  • 28
  • 22
  • 21
  • 19
  • 15
  • 14
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Performence characterization and sensitivity analysis of real-time embedded systems

Racu, Bogdan Razvan January 2008 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
12

Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme

Sickinger, Christoph January 2008 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
13

Untersuchung von HCI-Nebeln in technischen Gasreinigungsanlagen

Brosig, 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 scheme

Eckermann, Frauke January 2008 (has links)
Zugl.: Dortmund, Techn. Univ., Diss., 2008
15

WoLFram - a word level framework for formal verification and its application

Sü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ßautomaten

Deussen, Peter H. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
18

Cryptographically sound analysis of security protocols

Backes, Michael. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
19

Det digitala pappret : En kvalitativ studie om praktikers hantering och lagring av verifikationer

Hasselbom 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 processors

Kühne, Ulrich January 2009 (has links)
Zugl.: Bremen, Univ., Diss., 2009

Page generated in 0.071 seconds