Fachgebiet
Medium
  • 68
  • 68
Erscheinungsjahr
  • 34
  • 34
  • 12
  • 13
  • 13
  • 14
  • 8
  • 8
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
Verlag
  • 133
  • 3
Preis
  • 130
  • 6
Sprachen
  • 136
Verfügbarkeit
  • 136
Katalog
  • 136
  • 1
136  Treffer  für „Workshops in Computing“


    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, Canada
    1. Auflage. 1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19635-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nicholls / Bowen Z User Workshop, London 1992

    Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19818-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wing / Martin First International Workshop on Larch

    Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19804-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 1991
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19742-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shaw / Morris 4th Refinement Workshop

    Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge
    1. Auflage. 1991
    Verlag: Springer
    ISBN: 978-3-540-19657-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Took / Gray Building Interactive Systems

    Architectures and Tools
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 1993
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-19864-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hammond / Turner / Sansom Functional Programming, Glasgow 1994

    Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
    1995
    Verlag: Springer
    ISBN: 978-1-4471-3573-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Albano / Morrison Persistent Object Systems

    Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3209-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Wiggins / Mellish / Duncan ALPUK91

    Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3546-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    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 1993
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3564-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    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 1992
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3554-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    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 1993
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3234-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Jones / Sheeran Designing Correct Circuits

    Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3544-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Atkinson / Maier / Benzaken Persistent Object Systems

    Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-2122-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Nicholls Z User Workshop, Oxford 1990

    Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3540-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dusink / Hall Software Re-use, Utrecht 1989

    Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3536-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Zwarico / Purushothaman NAPAW 92

    Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-19822-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hall / Dusink Software Re-use, Utrecht 1989

    Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands
    1. Auflage. 1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19652-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thalheim / Lipeck 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 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19803-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rosenberg / Keedy Security and Persistence

    Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3178-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    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, UK
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3860-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bowen / Nicholls Z User Workshop, London 1992

    Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3556-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Broda ALPUK92

    Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3421-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Darlington / Dietrich Declarative Programming, Sasbachwalden 1991

    PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3794-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular