Title: In My Father's House: Africa in the Philosophy of Culture, Author: Kwame Anthony Appiah
Title: Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992, Author: J.P. Bowen
Title: Simulation Validation: A Confidence Assessment Methodology, Author: Peter L. Knepell
Title: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Author: Peter E. Lauer
Title: Parallel Algorithm Derivation and Program Transformation, Author: Robert Paige
Title: ECOOP '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings, Author: Oscar M. Nierstrasz
Title: A Practical Theory of Programming, Author: Eric C.R. Hehner
Title: CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings, Author: Eike Best
Title: Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings, Author: Maurice Bruynooghe
Title: Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System, Author: Berthold Hoffmann
Title: Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings, Author: Ian Sommerville
Title: Experimental Software Engineering Issues:: Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings, Author: H.Dieter Rombach
Title: Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung, Author: Florian Matthes
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings, Author: Shojiro Nishio
Title: Fraktale Wolken, virtuelle Flammen: Computer-Emulation und Visualisierung turbulenter Gasbewegung, Author: Georgios Sakas
Title: Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings, Author: Jorge L. Diaz-Herrera
Title: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report, Author: Bernhard Möller
Title: Asymptotic Waveform Evaluation: And Moment Matching for Interconnect Analysis, Author: Eli Chiprout
Title: 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, Author: Maurice Nivat
Title: Proof in VDM: A Practitioner's Guide, Author: Juan C. Bicarregui

Pagination Links