Cărți de Mitsuhiro Okada

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ț: 996^.46 lei 1215^.20 lei

6-8 săpt.

-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ț: 385^.33 lei 481^.67 lei

6-8 săpt.

-20%

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ț: 389^.70 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 2609

Editat de Mitsuhiro Okada et al.

21 feb 2003

Preț: 400^.65 lei

6-8 săpt.

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ț: 341^.81 lei 427^.26 lei

6-8 săpt.

-20%