• TkGofer: A Functional GUI Library 

  Vullinghs, Ton et al. (1996)

  Beitrag zu einer Konferenz
  
  

• Transformational derivation of (parallel) programs using skeletons 

  Boiten, E. A.; Geerling, A. M.; Partsch, H. A. (1993)

  Beitrag zu einer Konferenz
  
  

• Effects of Strategic Exiting from Sponsorship after Negative Event Publicity 

  Messner, Matthias; Reinhard, Marc-Andre (2012)

  Wissenschaftlicher Artikel
  
  

• Verification of a Prolog Compiler - First Steps with KIV 

  Schellhorn, Gerhard; Ahrendt, W. (1996)

  Bericht
  
  

• The KIV-approach to Software Verification 

  Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)

  Teil eines Buches
  
  

• Sequence-Based Pronunciation Variation Modeling for Spontaneous ASR Using a Noisy Channel Approach 

  Hofmann, Hansjoerg et al. (2012)

  Wissenschaftlicher Artikel
  
  

• Self-learning speaker identification for enhanced speech recognition 

  Herbig, Tobias; Gerl, Franz; Minker, Wolfgang (2012)

  Wissenschaftlicher Artikel
  
  

• Reliability investigation of the degradation of the surface passivation of InAlN/GaN HEMTs using a dual gate structure 

  Ostermaier, Clemens et al. (2012)

  Beitrag zu einer Konferenz
  
  

• Active Integrated Tracking Detectors for MRI-Guided Interventions 

  Anders, J. et al. (2012)

  Wissenschaftlicher Artikel
  
  

• Habitual self-regulatory orientation and ease-of-retrieval: Regulatory focus qualifies the impact of subjective experiences in judgment 

  Greifeneder, Rainer; Keller, Johannes (2012)

  Wissenschaftlicher Artikel
  
  

View more