Ergebnisse filtern
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
  • 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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    Purushothaman / Zwarico | NAPAW 92 | Buch | Sack Fachmedien

    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
    Berndtsson / Hansson | Active and Real-Time Database Systems (ARTDB-95) | Buch | Sack Fachmedien

    Berndtsson / Hansson Active and Real-Time Database Systems (ARTDB-95)

    Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9-11 June 1995
    1. Auflage. 1995
    Verlag: Springer
    ISBN: 978-3-540-19983-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Clement | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    Lau / Clement 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
    Cooper | Interfaces to Database Systems (IDS92) | Buch | Sack Fachmedien

    Cooper Interfaces to Database Systems (IDS92)

    Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19802-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sawyer | Interfaces to Database Systems (IDS94) | Buch | Sack Fachmedien

    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
    Nicholls | Z User Workshop, Oxford 1990 | Buch | Sack Fachmedien

    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
    Kwiatkowska / Shields / Thomas | Semantics for Concurrency | Buch | Sack Fachmedien

    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
    1. Auflage. 1990
    Verlag: Springer
    ISBN: 978-3-540-19625-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smeaton / McDermott | AI and Cognitive Science '89 | Buch | Sack Fachmedien

    Smeaton / McDermott AI and Cognitive Science '89

    Dublin City University 14-15 September 1989
    1. Auflage. 1990
    Verlag: Springer
    ISBN: 978-3-540-19608-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hillston / King / Pooley | 7th UK Computer and Telecommunications Performance Engineering Workshop | Buch | Sack Fachmedien

    Hillston / King / Pooley 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
    Till | 6th Refinement Workshop | Buch | Sack Fachmedien

    Till 6th Refinement Workshop

    Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19886-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dusink / Hall | Software Re-use, Utrecht 1989 | Buch | Sack Fachmedien

    Dusink / Hall Software Re-use, Utrecht 1989

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

    Jones / Sheeran 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
    Bowen / Nicholls | Z User Workshop, London 1992 | Buch | Sack Fachmedien

    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
    Gray / Took | Building Interactive Systems | Buch | Sack Fachmedien

    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
    Clement / Lau | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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

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