DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Heinz Zemanek
Heinz Zemanek
Dines Bjørner Research, Bibliography, Biography and Publication List
Short Biography
Druckversion Der Ausgabe Nr. 32 (Oktober 2014)
A Lightweight Formal Method for the Prediction of Non-Functional System Properties
Scientific Decisions Which Characterize
Oh127hz.Pdf (183.6Kb Application/Pdf)
50 Years of IFIP - Developments and Visions IFIP – the International Federation for Information Processing
Gabriele Kotsis Curriculum Vitae
FACS FACTS Newsletter
Algol 60 @ 60: More on Semantics Presentation (PDF)
Ikt Trends 2020
Dines Bjørner: Biography Research, Bibliographical Notes and Publication List
Auf Einen Blick at a Glance Inhalt Contents
The First Computers—History and Architectures, Edited by Raúl Rojas and Ulf Hashagen, 2000 the First Computers—History and Architectures
Dines Bjørner's Biography & Bibliography
Top View