Reihe Workshops in Computing 5th Refinement WorkshopProceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992Springer LondoneBook201353,49 € AI and Cognitive Science ’91University College, Cork, 19–20 September 1991Springer LondoneBook201353,49 € 4th Refinement WorkshopProceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, CambridgeSpringer LondoneBook201353,49 € Semantics for ConcurrencyProceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University ofSpringer LondoneBook201353,49 € Z User WorkshopProceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989Springer LondoneBook201353,49 € Code Generation — Concepts, Tools, TechniquesProceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991Springer LondoneBook201353,49 € Building Interactive SystemsArchitectures and ToolsSpringer LondoneBook201353,49 € Modelling Database DynamicsSelected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, VolkSpringer LondoneBook201353,49 € Z User Workshop, London 1992Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992Springer LondoneBook201353,49 € Logic Program Synthesis and TransformationProceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of ManchesterSpringer LondoneBook201353,49 €136 Treffer 1 2 3 4 5 6 ...