Mitsuhiro Okada | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

SOFTWARE SECURITY -- THEORIES AND SYSTEMS - MEXT-NSF-JSPS INTERNATIONAL SYMPOSIUM, ISSS 2002, TOKYO, JAPAN, NOVEMBER 8-10, 2002,

Mitsuhiro Okada; Benjamin Pierce; Andre Scedrov; Hideyuki Tokuda; Akinori Yonezawa
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

51,40 €

CONDITIONAL AND TYPED REWRITING SYSTEMS - 2ND INTERNATIONAL CTRS WORKSHOP, MONTREAL, CANADA, JUNE 11-14, 1990. PROCEEDINGS

Stephane Kaplan; Mitsuhiro Okada
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja

51,40 €

FORMAL TO PRACTICAL SECURITY - PAPERS ISSUED FROM THE 2005-2008 FRENCH-JAPANESE COLLABORATION

Véronique Cortier; Claude Kirchner; Mitsuhiro Okada; Hideki Sakurada
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, AND SECURITY - ESSAYS DEDICATED TO ANDRE SCEDROV ON THE OCCASION OF HIS 65TH BIRTHDAY

Vivek Nigam; Tajana Ban Kirigin; Carolyn Talcott; Joshua Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

61,40 €

ADVANCES IN MATHEMATICAL LOGIC - DEDICATED TO THE MEMORY OF PROFESSOR GAISI TAKEUTI, SAML 2018, KOBE, JAPAN, SEPTEMBER 2018, SEL

Toshiyasu Arai; Makoto Kikuchi; Satoru Kuroda; Mitsuhiro Okada; Teruyuki Yorioka
Springer Verlag, Singapore (2022)
Kovakantinen kirja

143,50 €

ADVANCES IN MATHEMATICAL LOGIC - DEDICATED TO THE MEMORY OF PROFESSOR GAISI TAKEUTI, SAML 2018, KOBE, JAPAN, SEPTEMBER 2018, SEL

Toshiyasu Arai; Makoto Kikuchi; Satoru Kuroda; Mitsuhiro Okada; Teruyuki Yorioka
Springer Verlag, Singapore (2023)
Pehmeäkantinen kirja

143,50 €

Software Security -- Theories and Systems - Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002,

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 476 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003 ed.
Julkaisuvuosi: 2003, 21.02.2003 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2609

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 presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus