Treffer 1 – 14 von 14 für Suche 'Sokołowski, Stefan', Suchdauer: 0,06s 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
    Internal and external maps of specification systems

    Internal and external maps of specification systems von Sokołowski, Stefan

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An introduction to programming with specifications a mathematical approach

    An introduction to programming with specifications a mathematical approach von Kubiak, Ryszard, Rudziński, Roman, Sokołowski, Stefan

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An introduction to programming with specifications a mathematical approach

    An introduction to programming with specifications a mathematical approach von Kubiak, Ryszard, Rudziński, Roman, Sokołowski, Stefan

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Toward formal development of programs from algebraic specifications parameterisation revisited

    Toward formal development of programs from algebraic specifications parameterisation revisited von Sannella, Donald, Sokołowski, Stefan, Tarlecki, Andrzej

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Electric double layer capacitance of restricted primitive model for an ionic fluid in slit-like nanopores a density functional approach

    Electric double layer capacitance of restricted primitive model for an ionic fluid in slit-like nanopores a density functional approach von Pizio, Orest, Sokołowski, Stefan, Sokolowska, Zofia

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


    Gespeichert in:
  6. 6
    Homotopy in concurrent processes

    Homotopy in concurrent processes von Sokołowski, Stefan

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Intersection of functional subset types

    Intersection of functional subset types von Sokołowski, Stefan

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Applicative high order programming the standard ML perspective

    Applicative high order programming the standard ML perspective von Sokołowski, Stefan

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    An LCF proof of soundness of Hoare's logic a paper without a happy ending

    An LCF proof of soundness of Hoare's logic a paper without a happy ending von Sokołowski, Stefan

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Point glueing in cpo-s

    Point glueing in cpo-s von Sokołowski, Stefan

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    The GDM approach to specifications and their realizations

    The GDM approach to specifications and their realizations von Sokołowski, Stefan

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Applicative high-order programming, or standard ML in the battlefield lecture notes to a one-semester course

    Applicative high-order programming, or standard ML in the battlefield lecture notes to a one-semester course von Sokołowski, Stefan

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A note on tactics in LCF

    A note on tactics in LCF von Sokołowski, Stefan

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    The GDM approach to specifications and their realizations

    The GDM approach to specifications and their realizations von Sokołowski, Stefan

    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: