Ergebnisse filtern
-
- 6
-
- 1
- 1
- 1
- 1
- 1
- 1
-
- 1
- 5
-
- 4
- 2
-
- 6
-
- 6
-
- 6
- 1
Technische Wissenschaften
-
Börger / Grädel / Gurevich The Classical Decision Problem
Softcover Nachdruck of the original 1. Auflage 1997Verlag: SpringerISBN: 978-3-540-42324-9Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Kleine Büning CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52753-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Kleine Büning CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abrial / Langmaack / Börger Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort