Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
Verlag
  • 6
Preis
  • 4
  • 2
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Mathematik | Informatik

6  Treffer  für „Okada, Mitsuhiro“
Alle Filter löschen
    Kaplan / Okada | Conditional and Typed Rewriting Systems | Buch | Sack Fachmedien

    Kaplan / Okada Conditional and Typed Rewriting Systems

    2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortier / Kirchner / Okada | Formal to Practical Security | Buch | Sack Fachmedien

    Cortier / Kirchner / Okada Formal to Practical Security

    Papers Issued from the 2005-2008 French-Japanese Collaboration
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02001-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okada / Pierce / Scedrov | Software Security -- Theories and Systems | Buch | Sack Fachmedien

    Okada / Pierce / Scedrov Software Security -- Theories and Systems

    Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00708-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arai / Kikuchi / Kuroda | Advances in Mathematical Logic | Buch | Sack Fachmedien

    Arai / Kikuchi / Kuroda Advances in Mathematical Logic

    Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-16-4175-6
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arai / Kikuchi / Kuroda | Advances in Mathematical Logic | Buch | Sack Fachmedien

    Arai / Kikuchi / Kuroda Advances in Mathematical Logic

    Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-16-4172-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nigam / Ban Kirigin / Talcott | Logic, Language, and Security | Buch | Sack Fachmedien

    Nigam / Ban Kirigin / Talcott Logic, Language, and Security

    Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62076-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular