Cărți de Mitsuhiro Okada

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Lecture Notes in Computer Science, nr. 5458

Editat de Véronique Cortier et al.

25 mai 2009

Preț: 374^.91 lei

43-57 zile

Software Security -- Theories and Systems

Editat de Mitsuhiro Okada et al.

21 feb 2003

Preț: 330^.79 lei 413^.49 lei

43-57 zile

-20%

Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Lecture Notes in Computer Science, nr. 516

Editat de Stephane Kaplan et al.

7 aug 1991

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Springer Proceedings in Mathematics & Statistics, nr. 369

Editat de Toshiyasu Arai et al.

26 ian 2023

Preț: 957^.75 lei 1167^.99 lei

43-57 zile

-18%

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 12300

Editat de Vivek Nigam et al.

29 oct 2020

Preț: 370^.63 lei 463^.28 lei

43-57 zile

-20%