Narrow search
Showing 1 - 10 of 104
Cover Image
The connection between applicative and procedural languages in an integrated software development and verification system
Olthoff, Walter - 1987
Persistent link: https://www.econbiz.de/10000000232
Cover Image
Algebraic specifications in an integrated software development and verification system
Voß, Angelika - 1985
Persistent link: https://www.econbiz.de/10000534723
Cover Image
Leitfaden zur Einrichtung eines Online-Anschlusses : Tips für potentielle Nutzer von Informationssystemen
Achilles, Ute; Behm-Steidel, Gudrun - 1983
Persistent link: https://www.econbiz.de/10000073027
Cover Image
Jahresbericht / Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn
Gesellschaft für Mathematik und Datenverarbeitung - St. Augustin : GMD; anfangs: Bonn : Ges. - 1969(1970) - 1973(1974); 1982(1983) - 1990(1991); …
Persistent link: https://www.econbiz.de/10000350514
Cover Image
Datenschutz und Datensicherung bei automatisierter Datenverarbeitung
Grochla, Erwin (contributor) - 1974
Persistent link: https://www.econbiz.de/10000117596
Cover Image
Anwenderanforderungen an ein Bürokommunikationssystem
Kreifelts, Thomas - 1982
Persistent link: https://www.econbiz.de/10000090439
Cover Image
Forschungsstand und Perspektiven partizipativer Systementwicklung
Oppermann, Reinhard - 1983
Persistent link: https://www.econbiz.de/10000090527
Cover Image
Effiziente Deadlockvermeidung in Prozeßsystemen mit dynamischen Angaben zum Betriebsmittelbedarf
Zöbel, Dieter - 1984
Persistent link: https://www.econbiz.de/10000092291
Cover Image
Algebraic implementations in an integrated software development and verification system
Beierle, Christoph - 1985
Persistent link: https://www.econbiz.de/10000092421
Cover Image
Jahresbericht / Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn
Gesellschaft für Mathematik und Datenverarbeitung - St. Augustin : GMD - 1974(1975) - 1980/81(1982)
Persistent link: https://www.econbiz.de/10000352415