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 (ed.); Benjamin Pierce (ed.); Andre Scedrov (ed.); Hideyuki Tokuda (ed.); Akinori Yonezawa (ed.)
Springer (2003)
Pehmeäkantinen kirja

49,60 €

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

Stephane Kaplan (ed.); Mitsuhiro Okada (ed.)
Springer (1991)
Pehmeäkantinen kirja

49,60 €

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

49,60 €

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

59,30 €

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

138,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

138,50 €

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

Mitsuhiro Okada (ed.), Benjamin Pierce (ed.), Andre Scedrov (ed.), Hideyuki Tokuda (ed.), Akinori Yonezawa (ed.)

49,60 €

Springer
Sivumäärä: 476 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003
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 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus