|
|
| |
21. |
|
Security and embedded systems
Publication:
Amsterdam ; | Washington, D.C. : IOS Press, 2006
. 1 online resource (xii, 203 p.) :
, Proceedings from the NATO Advanced Research Workshop on "Security and Embedded Systems."
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
22. |
|
Verification of infinite-state systems with applications to security
Publication:
Amsterdam ; | Washington, D.C. : IOS Press, 2006
. 1 online resource (vii, 235 p.) :
, Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
23. |
|
Cyberwar-Netwar
Publication:
Amsterdam : IOS Press, 2006
. 1 online resource (xiv, 159 p.) :
, "Proceedings of the NATO Advanced Research Workshop on Cyberwar-Netwar: Security in the Information Age, Lisbon, Portugal, 24-26 November, 2003"--T.p. verso.
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
24. |
|
Formal logical methods for system security and correctness
Publication:
Amsterdam, Netherlands ; | Washington, DC : IOS Press, 2008
. 1 online resource (ix, 318 p.) :
, "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--T.p. verso.
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
25. |
|
Security informatics and terrorism
Publication:
Amsterdam ; | Washington, D.C. : IOS Press, 2008
. 1 online resource (x, 237 p.) :
, Based on presentations given at the NATO Advanced Research Workshop on Security Informatics and Terrorism: Patrolling the Web, held in June 2007 in Israel. | "Published in cooperation with NATO Public Diplomacy Division."
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
26. |
|
Higher-dimensional geometry over finite fields
Publication:
Amsterdam, Netherlands ; | Washington, DC : IOS Press, 2008
. 1 online resource (vii, 345 p.) :
, "Proceedings of the NATO Advanced Study Institute on Higher-Dimensional Geometry over Finite Fields, G�ottingen, Germany, 25 June-6 July 2007"--T.p. verso. | " ... held at the University of G�ottingen."--P. v. | Published in cooperation with NATO Public Diplomacy Division.
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
27. |
|
Aspects of network and information security
Publication:
Amsterdam ; | Washington D.C. : IOS Press, 2008
. 1 online resource (ix, 355 p.) :
, "Proceedings of the NATO Advanced Study Institute on Network Security and Intrusion Detection, Yerevan, Armenia, 1-12 October 2005." | "Published in cooperation with NATO Public Diplomacy Division."
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
28. |
|
Boolean functions in cryptology and information security
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2008
. 1 online resource (viii, 355 p.) :
, "Proceedings of the NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security, Zvenigorod, Moscow Region, Russia, 8-18 September 2007." | "Published in conjunction with NATO Public Diplomacy Division."
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
29. |
|
Information assurance and computer security
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2006
. 1 online resource (viii, 205 p.) :
, "Proceedings of the NATO Advanced Research Workshop on Information Assurance and Computer Security 2005, Tetuan, Morocco, 3-4 June 2005"--T.p. verso.
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
30. |
|
Physics and theoretical computer science
Publication:
Amsterdam ; | Washington : IOS Press, 2007
. 1 online resource (xii, 333 p.) :
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
31. |
|
Multiple access channels
Publication:
Amsterdam, Netherlands ; | Washington, DC : IOS Press, 2007
. 1 online resource (viii, 351 p.) :
, "Proceedings of the NATO Advanced Study Institute on Coding and Analysis of Multiple Access Channels, Budapest, Hungary, 26 August-5 September 2006"--T.p. verso.
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
32. |
|
Software system reliability and security
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2007
. 1 online resource (ix, 417 p.) :
, "The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006"--Pref., p. vi.
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
33. |
|
Scientific networking and the global health network supercourse
Publication:
Amterdam ; | Washington, D.C : IOS Press, 2006
. 1 online resource (xi, 207 p.) :
, International conference proceedings. | Proceedings of the NATO Advanced Research Workshop on Scientific Networking and the Global Health Network Supercourse for the Prevention of Man Made and Natural Disasters; Kaunas, Lithuania, 8-11 August 2005.
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
