Peter Daniel – författare
Visar alla böcker från författaren Peter Daniel. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
249 kr
Skickas inom 3-6 vardagar
"Rawlicious" introduces readers to a lifestyle that marries long-term health benefits and higher energy levels with delicious and simple raw recipes. Includes stunning full-color photos and clear, easy instructions to 144 recipes.
Safe Comp 97
The 16th International Conference on Computer Safety, Reliability and Security
Häftad, Engelska, 1997
1 093 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of SAFECOMP '97, the 16th International Conference on Computer Safety, Reliability and Security. The papers presented here form a platform for technology transfer between academia, industry and research institutions. Topics included are: safe software; safety cases, management and development; security; human factors; guidelines, standards and certification; formal methods and models; applications and industrial experience; testing, validation and verification.
Computer Safety, Reliability, and Security
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
Häftad, Engelska, 2012
551 kr
Skickas inom 10-15 vardagar
Constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
Computer Safety, Reliability, and Security
31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Häftad, Engelska, 2012
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.