Výsledky vyhľadávania

Nájdených záznamov: 148  
Váš dotaz: Vydavateľ = "Stichting Mathematisch Centrum"

  1. 1.Abstract Rewriting Machine. ARM

    NázovAbstract Rewriting Machine. ARM
    Autor Šamulka Marek 1977- - Ústav informatiky SAV
    Spoluautori Petriska Martin 1974- - Ústav informatiky SAV
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 23s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  2. 2.A Structural Co-induction Theorem

    NázovA Structural Co-induction Theorem
    Autor Carpenter M.P.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 17s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  3. 3.Termodynamics of Computation and Information Distance

    NázovTermodynamics of Computation and Information Distance
    Autor Laclavík Michal 1976- - Ústav informatiky SAV
    Spoluautori Mišaga Oliver
    Chmelík Miroslav
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 15s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  4. 4.A Strategy for Dynamic Interpretation:A Fragment and an Implementation

    NázovA Strategy for Dynamic Interpretation:A Fragment and an Implementation
    Autor Whited J.
    Spoluautori Škrinárová Zuzana 1976- - Ústav polymérov SAV
    Bowden Keith
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 23s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  5. 5.The Boltzmann Entropy and Randomness Tests

    NázovThe Boltzmann Entropy and Randomness Tests
    Autor Mišaga Oliver
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 28s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  6. 6.An Object Model for Multimedia Programming

    NázovAn Object Model for Multimedia Programming
    Autor Imanishi J.
    Spoluautori Needham G.R. (Iní)
    Mitchell R. (Iní)
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 13s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    nerozpoznaný

    nerozpoznaný

  7. 7.Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems

    NázovPerpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems
    Autor Cheung C.Y.L.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 12 s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  8. 8.Expressiveness Results for Process Algebras

    NázovExpressiveness Results for Process Algebras
    Autor Marek T.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 29s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  9. 9.Fast Parallel Permutation Algorithms

    NázovFast Parallel Permutation Algorithms
    Autor Butenko A. V.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 7s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  10. 10.Service Independent Building Blocks-I;Concepts,Examples and Formal Specifications

    NázovService Independent Building Blocks-I;Concepts,Examples and Formal Specifications
    Autor Kita M.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 63s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha


  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.

Prijať všetkoNastavenieOdmietnuť všetko