Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 1
- 2
-
- 3
- 1
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Plotkin Transactions on Computational Systems Biology VI
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45779-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plotkin / Stirling / Tofte Proof, Language, and Interaction: Essays in Honour of Robin Milner
Neuausgabe 2000Verlag: MIT PRISBN: 978-0-262-16188-6Medium: Buch74,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Bertot / Huet / Lévy From Semantics to Computer Science
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-51825-3Medium: Buch186,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort