The Vienna Development Method (VDM) is one of the longest established model‐oriented formal methods for the development of computer‐based systems and software. It consists of a …
… The Vienna Develop= ment Method: The Meta-Language", Springer Verlag, 'Lecture Notes in Computer Science', This Volume, Heid = elberg- New York, 1978. … Henhapl & CBJones …
Turn-of-the century Vienna is remembered as an aesthetic, erotic, and intellectual world: the birthplace of Freud and psychoanalysis, the waltz, and novels of Schnitzler. The contexts of …
… of the Vienna Circle andthe forced exodus of scientists and intellectuals from Austria. The second part of the book includes a bio-bibliographical documentation of the Vienna Circle …
… of late eighteenth-century Vienna and follows the activities of … reputation as she recreates Vienna's robust musical scene … of late eighteenth-century Vienna and follows the activities …
Through conventional geoscientific research, a fundamental knowledge of the Vienna basin was acquired with the limited data available at the time. Since then, vast exploration …
… extensively revised and enlarged edition examines the key features of the Convention against the background of the existing and developing customary law of treaties and in the …
'I wanted to reveal the soil, milieu, or social sphere and situation, from which the contributions of Vienna to European civilisation have sprung... I hope it is not my incurable love for my …
… I would especially like to thank Margarete Grandner at the University of Vienna, who, over … knowledge of Vienna with me. Christa Hämmerle, also at the University of Vienna, inspired me …
… Vienna VLBI Software, VieVS) is being developed at the Institute of Geodesy and Geophysics in Vienna … MATLAB is the high-end programming language of the students at the Vienna …