Ergebnisse filtern
-
- 49
-
- 7
- 11
- 11
- 10
- 7
- 3
-
- 49
-
- 46
- 3
-
- 49
-
- 49
-
- 49
- 1
Mathematik | Informatik
-
Denvir / Herman / Whitty Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stepney / Barden / Cooper Object Orientation in Z
1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19778-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desel Structures in Concurrency Theory
Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995Softcover Nachdruck of the original 1. Auflage 1995Verlag: SpringerISBN: 978-3-540-19982-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paton / Williams Rules in Database Systems
Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19846-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alagar / Bergler / Dong Incompleteness and Uncertainty in Information Systems
Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19897-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alagar / Lakshmanan / Sadri Formal Methods in Databases and Software Engineering
Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19812-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burn / Gay / Ryan Theory and Formal Methods 1993
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 19931. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19842-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brown / Carmo Deontic Logic, Agency and Normative Systems
?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 19961. Auflage. 1995Verlag: SpringerISBN: 978-3-540-76015-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smith / Smaill / Wiggins Music Education: An Artificial Intelligence Approach
Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19873-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clement / Lau Logic Program Synthesis and Transformation
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19742-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Shaw / Denvir 5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 19921. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19752-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morris / Shaw 4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge1. Auflage. 1991Verlag: SpringerISBN: 978-3-540-19657-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gray / Took Building Interactive Systems
Architectures and Tools1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Nicholls Z User Workshop, London 1992
Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19818-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martin / Wing First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19804-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deville Logic Program Synthesis and Transformation
Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19864-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Purushothaman / Zwarico NAPAW 92
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19822-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nicholls Z User Workshop
Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 19891. Auflage. 1990Verlag: SpringerISBN: 978-3-540-19627-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
O'Donnell / Hammond Functional Programming, Glasgow 1993
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19879-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hall Z User Workshop, Cambridge 1994
Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 19941. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19884-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harper / Norrie Specifications of Database Systems
International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19732-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peyton Jones / Hutton / Kehler Holst Functional Programming, Glasgow 1990
Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland1. Auflage. 1991Verlag: SpringerISBN: 978-3-540-19667-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nivat / Rattray / Rus Algebraic Methodology and Software Technology (AMAST'93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 19931. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19852-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beeri / Ohori / Shasha Database Programming Languages (DBPL-4)
Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19853-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heldal / Holst / Wadler Functional Programming, Glasgow 1991
Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19760-7Medium: 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