Technische Informatik

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Cas Cremers, Sjouke Mauw

Encyclopedia of Parallel Computing (Springer Reference)

Introduction to Numerical and Analytical Methods with MATLAB® for Engineers and Scientists

William Bober

Strategic IT Management: A Toolkit for Enterprise Architecture Management

Inge Hanschke

Database Design Using Entity-Relationship Diagrams (Foundations of Database Design)

Sikha Bagui, Richard Earp

Programmieren des Z 80

Rodnay Zaks

Mikrocomputertechnik mit dem Prozessor 6809 und den Prozessoren 6800 und 6802: Machinenorientierte Programmierung - Grundlagen - Schaltungstechnik - Anwendungen

Günter Schmitt

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Donald Sannella, Andrzej Tarlecki

Architecting Secure Software Systems

Asoke K. Talukder, Manish Chaitanya

Elektronik / Mikroprozessortechnik: Mit Übungen und Testfragen

Helmut Müller, Lothar Walz

Technische Informatik