Fachgebiet
Medium
  • 49
Erscheinungsjahr
  • 7
  • 11
  • 11
  • 10
  • 7
  • 3
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 49
Preis
  • 46
  • 3
Sprachen
  • 49
Verfügbarkeit
  • 49
Katalog
  • 49
  • 1

Mathematik | Informatik

49  Treffer  für „Workshops in Computing“


    Denvir / Herman / Whitty Formal Aspects of Measurement

    Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19788-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stepney / Barden / Cooper Object Orientation in Z

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

    Desel Structures in Concurrency Theory

    Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995
    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-19982-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paton / Williams Rules in Database Systems

    Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 1993
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19846-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

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

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

    Brown / Carmo Deontic Logic, Agency and Normative Systems

    ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
    1. Auflage. 1995
    Verlag: Springer
    ISBN: 978-3-540-76015-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    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 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

    Jones / Shaw / Denvir 5th Refinement Workshop

    Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19752-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Morris / Shaw 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

    Gray / Took 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

    Bowen / Nicholls 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

    Martin / Wing 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

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

    Purushothaman / Zwarico NAPAW 92

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

    Nicholls Z User Workshop

    Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989
    1. Auflage. 1990
    Verlag: Springer
    ISBN: 978-3-540-19627-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    O'Donnell / Hammond Functional Programming, Glasgow 1993

    Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19879-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bowen / Hall Z User Workshop, Cambridge 1994

    Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19884-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Harper / Norrie Specifications of Database Systems

    International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19732-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Peyton Jones / Hutton / Kehler Holst Functional Programming, Glasgow 1990

    Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
    1. Auflage. 1991
    Verlag: Springer
    ISBN: 978-3-540-19667-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 1993
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19852-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19853-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Heldal / Holst / Wadler Functional Programming, Glasgow 1991

    Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19760-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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