Mitsuhiro Okada – författare

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

11 produkter

1. 

   Software Security -- Theories and Systems

   Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

   Av Mitsuhiro Okada, Benjamin Pierce m. fl.

   Häftad, 2003

   566 kr

   Lägg i varukorg

   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 security are highly needed.This book assesses the state of the art in software and systems security by …

2. 

   Logic, Language, and Security

   Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

   Av Vivek Nigam, Tajana Ban Kirigin m. fl.

   Häftad, 2020

   678 kr

   Lägg i varukorg

   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 transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …

3. 

   Logic, Language, and Security

   Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

   Av Mitsuhiro Okada, Boon Thau Loo m. fl.

   E-bok, 2020

   903 kr

   Lägg i varukorg

   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 transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …

4. 

   Waves and Tidal Flat Ecosystems

   Av Eiichi Baba, H. Kawarada m. fl.

   Inbunden, 2003

   875 kr

   Lägg i varukorg

   The authors explain and describe the mutually rewarding insights that resulted from the interdisciplinary collaboration between an environmental study group working coastal ecosystems and effects of oil spills and applied mathematicians modelling wave motion on sandy beaches. By using the unified …

5. 

   Software Security -- Theories and Systems

   Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

   Av Akinori Yonezawa, Hideyuki Tokuda m. fl.

   E-bok, 2003

   739 kr

   Lägg i varukorg

   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 security are highly needed. This book assesses the state of the art in software and systems security by …

6. 

   Conditional and Typed Rewriting Systems

   2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

   Av Stephane Kaplan, Mitsuhiro Okada

   Häftad, 1991

   566 kr

   Lägg i varukorg

   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 and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. …

7. 

   Formal to Practical Security

   Papers Issued from the 2005-2008 French-Japanese Collaboration

   Av Véronique Cortier, Claude Kirchner m. fl.

   Häftad, 2009

   566 kr

   Lägg i varukorg

   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, privacy, economics, environmental policies, national sovereignty, medical environments. The importance …

8. 

   Formal to Practical Security

   Papers Issued from the 2005-2008 French-Japanese Collaboration

   Av Hideki Sakurada, Mitsuhiro Okada m. fl.

   E-bok, 2009

   755 kr

   Lägg i varukorg

   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, privacy, economics, environmental policies, national sovereignty, medical environments. The importance …

9. 

   Advances in Mathematical Logic

   Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

   Av Toshiyasu Arai, Makoto Kikuchi m. fl.

   Inbunden, 2022

   1745 kr

   Lägg i varukorg

   ​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 at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of …

10. 

    Advances in Mathematical Logic

    Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

    Av Teruyuki Yorioka, Mitsuhiro Okada m. fl.

    E-bok, 2022

    2274 kr

    Lägg i varukorg

    ​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 at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of …

11. 

    Advances in Mathematical Logic

    Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

    Av Toshiyasu Arai, Makoto Kikuchi m. fl.

    Häftad, 2023

    1745 kr

    Lägg i varukorg

    ​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 at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of …