Mitsuhiro okada u a (5 Ergebnisse)

Taschenbuch. Zustand: Neu. Conditional and Typed Rewriting Systems | 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings | Stephane Kaplan (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540543176 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Hei…

Taschenbuch. Zustand: Neu. Software Security -- Theories and Systems | Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers | Mitsuhiro Okada (u. a.) | Taschenbuch | xii | Englisch | 2003 | Springer | EAN 9783540007081 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tierg…

Taschenbuch. Zustand: Neu. Formal to Practical Security | Papers Issued from the 2005-2008 French-Japanese Collaboration | Véronique Cortier (u. a.) | Taschenbuch | vii | Englisch | 2009 | Springer | EAN 9783642020018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hart…

Taschenbuch. Zustand: Neu. Logic, Language, and Security | Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday | Vivek Nigam (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2020 | Springer | EAN 9783030620769 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 1…

Taschenbuch. Zustand: Neu. Advances in Mathematical Logic | Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions | Toshiyasu Arai (u. a.) | Taschenbuch | xi | Englisch | 2023 | Springer | EAN 9789811641756 | Verantwortliche Person für die EU: Springer Verlag…