Treffer 1 – 20 von 33 für Suche 'Padawitz, Peter', Suchdauer: 0,09s 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
    EXPANDER manual and implementation

    EXPANDER manual and implementation von Padawitz, Peter

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Methoden der Programmierung Vorlesungsskript

    Methoden der Programmierung Vorlesungsskript von Padawitz, Peter

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Program verification by inductive expansion tree balancing and graph traversal

    Program verification by inductive expansion tree balancing and graph traversal von Padawitz, Peter

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On inductive proofs of network properties the alternating bit protocol

    On inductive proofs of network properties the alternating bit protocol von Padawitz, Peter

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computing in Horn clause theories

    Computing in Horn clause theories von Padawitz, Peter

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Towards a proof theory of parameterized specification

    Towards a proof theory of parameterized specification von Padawitz, Peter

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Parameter preserving data type specifications

    Parameter preserving data type specifications von Padawitz, Peter

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Correctness, completeness, and consistency of equational data type specifications

    Correctness, completeness, and consistency of equational data type specifications von Padawitz, Peter

    Veröffentlicht 1983
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Proving the correctness of implementations by exclusive use of term algebras

    Proving the correctness of implementations by exclusive use of term algebras von Padawitz, Peter

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Algebraic Implementation of abstract data types concept, syntax, semantics and correctness

    Algebraic Implementation of abstract data types concept, syntax, semantics and correctness von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Operationelle und funktionale Semantik von Sigma-Graphen mit Anwendungen auf LISP

    Operationelle und funktionale Semantik von Sigma-Graphen mit Anwendungen auf LISP von Padawitz, Peter 1953-

    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Deduction and declarative programming

    Deduction and declarative programming von Padawitz, Peter

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Deduction and declarative programming

    Deduction and declarative programming von Padawitz, Peter 1953-

    Veröffentlicht 1992
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    ECDS, a rewrite rule based interpreter for a programming language with abstraction and communicationt

    ECDS, a rewrite rule based interpreter for a programming language with abstraction and communicationt von Padawitz, Peter

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Horn clause specifications: reduction and narrowing

    Horn clause specifications: reduction and narrowing von Padawitz, Peter

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Foundations of specification & programming with Horn clauses

    Foundations of specification & programming with Horn clauses von Padawitz, Peter

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Correctness, completeness, and consistency of equational data type specifications

    Correctness, completeness, and consistency of equational data type specifications von Padawitz, Peter

    Veröffentlicht 1983
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Correctness, completeness, and consistency of equational data type specifications

    Correctness, completeness, and consistency of equational data type specifications von Padawitz, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Stepwise specification by inductive completion

    Stepwise specification by inductive completion von Padawitz, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Correctness, completeness, and consistency of equational data type specifications

    Correctness, completeness, and consistency of equational data type specifications von Padawitz, Peter

    Veröffentlicht 1983
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: