Ergebnisse filtern
-
- 68
- 67
-
- 33
- 34
- 12
- 13
- 13
- 14
- 8
- 8
-
- 135
-
- 129
- 6
-
- 135
-
- 135
-
- 135
- 1
-
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 -
Gray / Took Building Interactive Systems
Architectures and Tools1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hammond / Turner / Sansom Functional Programming, Glasgow 1994
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 19941995Verlag: SpringerISBN: 978-1-4471-3573-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (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 19931. Auflage. 1994Verlag: SpringerISBN: 978-3-540-19864-2Medium: 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 -
Albano / Morrison Persistent Object Systems
Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3209-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Nicholls Z User Workshop, Oxford 1990
Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3540-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Atkinson / Maier / Benzaken Persistent Object Systems
Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-2122-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Dusink / Hall Software Re-use, Utrecht 1989
Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The NetherlandsErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3536-4Medium: 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 1993Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3234-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Wiggins / Mellish / Duncan ALPUK91
Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3546-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Jones / Sheeran Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, OxfordErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3544-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 1993Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3564-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
Kwiatkowska / Shields / Thomas Semantics for Concurrency
Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK1. Auflage. 1990Verlag: SpringerISBN: 978-3-540-19625-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gray / Took Building Interactive Systems
Architectures and ToolsErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3548-7Medium: 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 1991Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3538-8Medium: 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 1992Erscheinungsjahr 2012Verlag: SpringerMedium: 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 1992Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3215-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Smeaton / McDermott AI and Cognitive Science '89
Dublin City University 14-15 September 1989Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3164-9Medium: 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 1993Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3236-3Medium: 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 1994Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3452-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 1993Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3229-5Medium: 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