Bokus

Jerzy Tiuryn – författare

Visar alla böcker från författaren Jerzy Tiuryn. Handla med fri frakt och snabb leverans.

4 produkter

  1. David Harel, Dexter Kozen, Jerzy Tiuryn - Dynamic Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Dynamic Logic

    Av David Harel, Dexter Kozen m. fl.

    Häftad, 2000

    1030 kr

    Lägg i varukorg

  2. Jerzy Tiuryn - Foundation of Software Science and Computation Structures, E-bok. Tillgänglighet: Lägg i varukorg

    Foundation of Software Science and Computation Structures

    Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

    Av Jerzy Tiuryn

    E-bok, 2003

    739 kr

    Lägg i varukorg

    ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite …

  3. Leszek Pacholski, Jerzy Tiuryn - Computer Science Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

    Av Leszek Pacholski, Jerzy Tiuryn

    Häftad, 1995

    1098 kr

    Lägg i varukorg

    This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer …

  4. Jerzy Tiuryn - Foundation of Software Science and Computation Structures, Häftad. Tillgänglighet: Lägg i varukorg

    Foundation of Software Science and Computation Structures

    Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

    Av Jerzy Tiuryn

    Häftad, 2000

    569 kr

    Lägg i varukorg

    ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite …