Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
« < 2 3 4 5 6 > » Smart Card Programming and Security Attali 2001 Formal Correctness of Security Protocols Bella 2007 Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective Besnard 2006 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Embedded Systems Design Bouyssounouse 2005 Component-Based Software Quality Cechich 2003 Security Protocols Christianson 2001 Security Protocols Christianson 2004 Software Certification De Neumann 1989 Information Security Management, Education and Privacy Deswarte 2004 Knowledge Engineering and Knowledge Management. Methods, Models, and Tools Dieng 2000 Digital Rights Management Feigenbaum 2003 Types for Proofs and Programs Filliatre 2006 Financial Cryptography Franklin 1999 Ada-Europe '93 Gauthier 1993 134 knižných titulov « < 2 3 4 5 6 > »