1
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
3
Transactions on High-Performance Embedded Architectures and Compilers II [E-Book] /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
4
Passive and Active Network Measurement [E-Book] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
5
Future Internet – FIS 2008 [E-Book] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
6
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
7
Privacy, Security, and Trust in KDD [E-Book] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
8
Location and Context Awareness [E-Book] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
9
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
10
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
11
Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
12
Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
13
Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
14
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
15
Wireless Sensor Networks [E-Book] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
16
Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
17
Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
18
Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
19
Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
20
Topics in Cryptology – CT-RSA 2009 [E-Book] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:

Narrow Search Results