mitsuhiro okada

Grid   List

  1. Formal to Practical Security
    Formal to Practical Security
    Véronique Cortier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This State-of-the-Art Survey contains a collection of papers originating in the French-Japanese Collaboration on Formal to Practical Security that have crystallized around workshops held in Tokyo a...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer scie...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Security -- Theories and Systems
    Software Security -- Theories and Systems
    Mitsuhiro Okada
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software s...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Advances in Mathematical Logic
    Advances in Mathematical Logic
    Toshiyasu Arai
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18-20, 2018, at Kobe University, Japan, and was dedicated to th...
    160,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Conditional and Typed Rewriting Systems
    Conditional and Typed Rewriting Systems
    Mitsuhiro Okada
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional an...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Software Security -- Theories and Systems
    Software Security -- Theories and Systems
    Mitsuhiro Okada
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for softwar...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformat...
    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Advances in Mathematical Logic
    Advances in Mathematical Logic
    Toshiyasu Arai
    Springer Nature Singapore, Springer Nature Singapore
    Buch
    Bezug 11-15
    Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois ...
    195,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Advances in Mathematical Logic
    Advances in Mathematical Logic
    Toshiyasu Arai
    Springer Nature Singapore, Springer Nature Singapore
    Taschenbuch
    Bezug 11-15
    Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois ...
    195,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Formal to Practical Security
    Formal to Practical Security
    Véronique Cortier
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>