Ergebnisse filtern
-
- 6
- 4
-
- 1
- 2
- 2
- 2
- 2
- 1
-
- 3
- 2
- 2
- 2
- 1
-
- 7
- 3
-
- 10
-
- 10
-
- 10
-
Okada / Kaplan Conditional and Typed Rewriting Systems
2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54317-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cortier / Kirchner / Okada Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration2009Verlag: SpringerISBN: 978-3-642-02002-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Cortier / Sakurada / Kirchner Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration2009Verlag: SpringerISBN: 978-3-642-02001-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Okada / Pierce / Scedrov Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-36532-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Okada / Pierce / Yonezawa Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00708-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arai / Kikuchi / Kuroda Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions1. Auflage 2022Verlag: Springer SingaporeISBN: 978-981-16-4173-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark160,49 € (inkl. MwSt.)
sofort verfügbar
-
Arai / Kikuchi / Yorioka Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-16-4172-5Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arai / Kikuchi / Yorioka Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-16-4175-6Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62076-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62077-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
