Ergebnisse filtern
-
- 49
-
- 7
- 11
- 11
- 10
- 7
- 3
-
- 47
- 2
-
- 46
- 3
-
- 49
-
- 49
-
- 49
- 1
Mathematik | Informatik
-
Denvir / Whitty / Herman Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991Softcover Nachdruck of the original 1. Auflage 1992Verlag: SpringerISBN: 978-3-540-19788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stepney / Cooper / Barden Object Orientation in Z
1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19778-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams / Paton Rules in Database Systems
Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 1993Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19846-8Medium: 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 -
Alagar / Dong / Bergler 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 / Sadri / Lakshmanan Formal Methods in Databases and Software Engineering
Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992Softcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-3-540-19812-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burn / Ryan / Gay 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 1993Softcover Nachdruck of the original 1. 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 1996Softcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-3-540-76015-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smith / Wiggins / Smaill 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 -
Jones / Denvir / Shaw 5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 19921. Auflage. 1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19752-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nicholls / Bowen 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 -
Wing / Martin 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 -
Lau / Clement 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 -
Shaw / Morris 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 -
Took / Gray Building Interactive Systems
Architectures and Tools1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19736-2Medium: 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 1993Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19864-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zwarico / Purushothaman NAPAW 92
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992Softcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-3-540-19822-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hall / Dusink Software Re-use, Utrecht 1989
Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands1. Auflage. 1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hillston / Pooley / King 7th UK Computer and Telecommunications Performance Engineering Workshop
Edinburgh, 22-23 July 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19733-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sheeran / Jones Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford1. Auflage. 1991Verlag: SpringerISBN: 978-3-540-19659-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Till 6th Refinement Workshop
Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19886-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sawyer Interfaces to Database Systems (IDS94)
Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13-15 July 19941. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19910-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clement / Lau Logic Program Synthesis and Transformation
Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19806-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McDermott / Smeaton AI and Cognitive Science '89
Dublin City University 14-15 September 1989Softcover Nachdruck of the original 1. Auflage 1990Verlag: SpringerISBN: 978-3-540-19608-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nicholls Z User Workshop, Oxford 1990
Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 19901. Auflage. 1991Verlag: SpringerISBN: 978-3-540-19672-3Medium: 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