Seite 1 von 24 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  1.  

    The category gender and meeting standards for medical education as a result

    Voß, Angelika / Lohff, Brigitte | Online Contents | 2004
  2.  

    Viewing implementations as an institution

    Nationallizenz
    Beierle, Christoph / Voß, Angelika | Springer Verlag | 1987
  3.  

    On implementations of loose abstract data type specifications and their vertical composition

    Nationallizenz
    Beierle, Christoph / Voß, Angelika | Springer Verlag | 1987
  4.  

    Stepwise software development with algebraic specifications

    Beierle, Christoph / Voss, Angelika | TIBKAT | 1990
  5.  

    Implementation specifications

    Beierle, Christoph / Voß, Angelika | TIBKAT | 1985
  6.  

    Formalizing local constraint propagation methods

    Voß, Angelika / Voß, Hans | TIBKAT | 1987
  7.  

    Theory and practice of canonical term functors in abstract data type specifications

    Beierle, Christoph / Voss, Angelika | Springer Verlag | 1987
  8.  

    Implementation Specifications

    Beierle, Christoph / Voß, Angelika | Springer Verlag | 1985
  9.  

    Zukunftsmarkt Künstliche Intelligenz. Potenziale und Anwendungen

    Hecker, Dirk / Döbel, Inga / Petersen, Ulrike et al. | Fraunhofer Publica | 2017
  10.  

    Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

    Beierle, Christoph / Olthoff, Walter / Voss, Angelika | TIBKAT | 1988
  11.  

    Automatic theorem proving in the ISDV system

    Nationallizenz
    Beierle, Christoph / Olthoff, Walter / Voss, Angelika | Springer Verlag | 1986

Ergebnisse anzeigen: 10 | 20 | 50