Treffer 1 – 13 von 13 für Suche 'Nickl, Friederike', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Pushouts of order sorted algebraic specifications

    Pushouts of order sorted algebraic specifications von Haxthausen, Anne Elisabeth, Nickl, Friederike

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A formal approach to requirements engineering

    A formal approach to requirements engineering von Nickl, Friederike, Wirsing, Martin 1948-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen

    Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen von Nickl, Friederike

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A behavioural algebraic framework for modular system design with reuse

    A behavioural algebraic framework for modular system design with reuse von Hennicker, Rolf, Nickl, Friederike

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    PAnndA-S semantics PROSPECTRA study note M.2.1. S1-SN-1.2 ; 1987-01-09

    PAnndA-S semantics PROSPECTRA study note M.2.1. S1-SN-1.2 ; 1987-01-09 von Broy, Manfred 1949-, Nickl, Friederike

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    On the duality of resumptions and stream-processing functions

    On the duality of resumptions and stream-processing functions von Broy, Manfred 1949-, Nickl, Friederike

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A denotational semantics for backus' functional programming language with infinite objects

    A denotational semantics for backus' functional programming language with infinite objects von Nickl, Friederike

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Implementing data structures by composition of reusable components a formal approach

    Implementing data structures by composition of reusable components a formal approach von Nenninger, Markus, Nickl, Friederike

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algebraic specification of semantic domain constructions

    Algebraic specification of semantic domain constructions von Nickl, Friederike

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Concurrent object oriented design specification in SPECTRUM

    Concurrent object oriented design specification in SPECTRUM von Wirsing, Martin 1948-, Nickl, Friederike, Lechner, Ulrike

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Algebraic specification of semantic domain constructions

    Algebraic specification of semantic domain constructions von Nickl, Friederike

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    On the duality of resumptions and stream-processing functions

    On the duality of resumptions and stream-processing functions von Broy, Manfred 1949-, Nickl, Friederike

    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Software-Engineering objektorientierte Techniken, Methoden und Prozesse in der Praxis

    Software-Engineering objektorientierte Techniken, Methoden und Prozesse in der Praxis

    Veröffentlicht 2005
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: