Sökt på: Böcker av Friedrich L. Bauer
totalt 42 träffar
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Informatik 2
Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der …
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Entzifferte Geheimnisse
Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung in Verbindung mit dem Schutz von Kommunikationswegen, Datenbanken und Software. …
Origins and Foundations of Computing
The Heinz Nixdorf Museum Forum (HNF) is the world's largest c- puter museum and is dedicated to portraying the past, present and future of information technology. In the …
Decrypted Secrets
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside its role in …
Historische Notizen zur Informatik
Der Autor entwickelt unterhaltsam, gleichzeitig mit mathematischer Strenge, zahlreiche Facetten aus der Wissenschaftsgeschichte, die mit den Anfängen der Informatik in Zusammenhang …
Handbook for Automatic Computation
Problem oriented programming languages as they have developed over the last ten years essentially serve two purposes which somewhat crudely can be described by the terms man-man …
Elementare Aussagenlogik
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen …
Informatik 2
Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der …
Historische Notizen zur Informatik
Der Autor entwickelt unterhaltsam, gleichzeitig mit mathematischer Strenge, zahlreiche Facetten aus der Wissenschaftsgeschichte, die mit den Anfängen der Informatik in Zusammenhang …
Decrypted Secrets
Cryptology, for millennia a "e;secret science"e;, is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside …