Ergebnisse filtern
-
- 68
- 68
-
- 34
- 34
- 12
- 13
- 13
- 14
- 8
- 8
-
- 136
-
- 130
- 6
-
- 136
-
- 136
-
- 136
- 1
-
Gray / Took Building Interactive Systems
Architectures and Tools1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19736-2Medium: 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 -
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 -
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 -
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 -
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 -
Craigen Formal Methods for Trustworthy Computer Systems (FM89)
Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada1. Auflage. 1990Verlag: SpringerISBN: 978-3-540-19635-8Medium: 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 -
Atkinson / Maier / Benzaken Persistent Object Systems
Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 19941995Verlag: SpringerISBN: 978-1-4471-2122-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Albano / Morrison Persistent Object Systems
Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 19921993Verlag: SpringerISBN: 978-1-4471-3209-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 19931994Verlag: SpringerISBN: 978-1-4471-3234-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lipeck / Thalheim Modelling Database Dynamics
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 19921993Verlag: SpringerISBN: 978-1-4471-3554-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Launchbury / Sansom Functional Programming, Glasgow 1992
Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 19921993Verlag: SpringerISBN: 978-1-4471-3215-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Birtwistle IV Higher Order Workshop, Banff 1990
Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 19901991Verlag: SpringerISBN: 978-1-4471-3182-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Purushothaman / Zwarico NAPAW 92
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 19921993Verlag: SpringerISBN: 978-1-4471-3217-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Hall Z User Workshop, Cambridge 1994
Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 19941994Verlag: SpringerISBN: 978-1-4471-3452-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ryan / Sutcliffe AI and Cognitive Science ’92
University of Limerick, 10–11 September 19921993Verlag: SpringerISBN: 978-1-4471-3207-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Fraisse / Garzotto / Isakowitz Hypermedia Design
Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 19951996Verlag: SpringerISBN: 978-1-4471-3082-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Ponse / Verhoef / Vlijmen Algebra of Communicating Processes
Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 19941995Verlag: SpringerISBN: 978-1-4471-2120-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hillston / King / Pooley 7th UK Computer and Telecommunications Performance Engineering Workshop
Edinburgh, 22–23 July 19911992Verlag: SpringerISBN: 978-1-4471-3538-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Martin / Wing First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 19921993Verlag: SpringerISBN: 978-1-4471-3558-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
O'Donnell / Hammond Functional Programming, Glasgow 1993
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 19931994Verlag: SpringerISBN: 978-1-4471-3236-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gray / Took Building Interactive Systems
Architectures and Tools1992Verlag: SpringerISBN: 978-1-4471-3548-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Andrews / Groote / Middelburg Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 19931994Verlag: SpringerISBN: 978-1-4471-3229-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Denvir / Herman / Whitty Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 19911992Verlag: SpringerISBN: 978-1-4471-3205-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort