Søkt på: bernhard moller
totalt 28 treff
Formal Program Development
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book …
Relations and Kleene Algebra in Computer Science
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International …
Krisen und Krisenbewusstsein in Deutschland und Frankreich in den 1960er Jahren
"1968" ist mittlerweile zur Chiffre für eine gesamte Zeitsignatur geworden, für Krisenhaftigkeit und Krisenbewusstsein …
Mathematics of Program Construction
Relations and Kleene Algebra in Computer Science
This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of …
Higher-Order Algebra, Logic, and Term Rewriting
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held …
Prospects for Hardware Foundations
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA …
Relations and Kleene Algebra in Computer Science
Nach "Achtundsechzig"
Die 1970er Jahre waren beiderseits des Rheins gekennzeichnet von den Folgen schwerer gesellschaftlicher Umbrüche, wirtschaftlicher Erschütterungen und innen- wie außenpolitischer …
Conformational Motion and Disorder in Low and High Molecular Mass Crystals
The broad field of conformational motion disorder in crystals is described with particular attention to the separation from the well known mesophases of liquid crystals and plastic …
Mathematics of Program Construction
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five …
Prospects for Hardware Foundations
Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA …