Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
7
%
1672 Kč 1 798 Kč
Sleva až 70% u třetiny knih
| Autor: | Armando, Alessandro |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642160735 |
| Rok vydání: | 2010 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
The Dynamics of Change in Higher Educ...
Kyvik, Svein
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Digital Da Vinci
Lee, Newton
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan
-
Voice over IP Networks
Verma, Pramode; Zhang, Fan
-
Endocannabinoid Signaling
Maccarrone, Mauro
-
Mapping the Higher Education Landscape
Vught, Frans A. van
-
Essen in Kindertageseinrichtungen und...
Tull, Marc
-
Injections in Aesthetic Medicine
Goisis, Mario
-
Mechanics of Composite Materials with...
Voyiadjis, George Z.
-
Lineare Algebra
Fischer, Gerd
-
Weiterentwicklung des Target Costing ...
Schildmacher, Robert J.
-
Advanced Methods of Continuum Mechani...
Naumenko, Konstantin
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Handbook of Statistical Bioinformatics
Lu, Henry Horng-Shing