Fachgebiet
Medium
  • 49
Erscheinungsjahr
  • 7
  • 11
  • 11
  • 10
  • 7
  • 3
Autoren
  • 2
  • 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
  • 47
  • 2
Preis
  • 46
  • 3
Sprachen
  • 49
Verfügbarkeit
  • 49
Katalog
  • 49
  • 1

Mathematik | Informatik

49  Treffer  für „Workshops in Computing“


    Denvir / Whitty / Herman Formal Aspects of Measurement

    Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
    Softcover Nachdruck of the original 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 / Cooper / Barden 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

    Williams / Paton Rules in Database Systems

    Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 1993
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-19846-8
    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

    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 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 / 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 1992
    Softcover Nachdruck of the original 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 / 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 1993
    Softcover Nachdruck of the original 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
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-76015-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    Jones / Denvir / Shaw 5th Refinement Workshop

    Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
    1. Auflage. 1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19752-2
    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

    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

    Hillston / Pooley / King 7th UK Computer and Telecommunications Performance Engineering Workshop

    Edinburgh, 22-23 July 1991
    1. Auflage. 1992
    Verlag: Springer
    ISBN: 978-3-540-19733-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sheeran / Jones Designing Correct Circuits

    Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford
    1. Auflage. 1991
    Verlag: Springer
    ISBN: 978-3-540-19659-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Till 6th Refinement Workshop

    Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-19886-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sawyer Interfaces to Database Systems (IDS94)

    Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13-15 July 1994
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19910-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    McDermott / Smeaton AI and Cognitive Science '89

    Dublin City University 14-15 September 1989
    Softcover Nachdruck of the original 1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-19608-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nicholls Z User Workshop, Oxford 1990

    Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990
    1. Auflage. 1991
    Verlag: Springer
    ISBN: 978-3-540-19672-3
    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