Erweiterte Suche

Grid  List

  1. Conditional and Typed Rewriting Systems Conditional and Typed Rewriting Systems

    Conditional and Typed Rewriting Systems

    Mitsuhiro Okada
    Springer Berlin Heidelberg
    07.08.1991

    In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Software Security -- Theories and Systems Software Security -- Theories and Systems

    Software Security -- Theories and Systems

    Mitsuhiro Okada
    Springer Berlin Heidelberg
    21.02.2003

    For more than the last three decades, the security of software systems has been an important area...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal to Practical Security Formal to Practical Security

    Formal to Practical Security

    Véronique Cortier
    Springer Berlin Heidelberg
    25.05.2009

    The security issues set by the global digitization of our society have had, and will continue to ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic, Language, and Security Logic, Language, and Security

    Logic, Language, and Security

    Vivek Nigam
    Springer International Publishing, Springer International Publishing
    29.10.2020

    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Advances in Mathematical Logic Advances in Mathematical Logic

    Advances in Mathematical Logic

    Toshiyasu Arai
    Springer Nature Singapore
    25.01.2022

    Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th centur...

    Gebunden
    171,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Advances in Mathematical Logic Advances in Mathematical Logic

    Advances in Mathematical Logic

    Toshiyasu Arai
    Springer Nature Singapore, Springer Nature Singapore
    26.01.2023

    Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th centur...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 171,19 €

    Jetzt 160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1