81
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
82
Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
83
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
84
Independent Component Analysis and Signal Separation [E-Book] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
85
Trustworthy Global Computing [E-Book] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
86
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /

Full text 
Favorites
Saved in:
87
Evolutionary Computation in Combinatorial Optimization [E-Book] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings /

Full text 
Favorites
Saved in:
88
GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
89
Ad-hoc, Mobile and Wireless Networks [E-Book] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings /

Full text 
Favorites
Saved in:
90
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /

Full text 
Favorites
Saved in:
91
Software Engineering [E-Book] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /

Full text 
Favorites
Saved in:
92
Advances in Cryptology - EUROCRYPT 2009 [E-Book] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings /

Full text 
Favorites
Saved in:
93
Evolutionary Multi-Criterion Optimization [E-Book] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /

Full text 
Favorites
Saved in:
94
Genetic Programming [E-Book] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /

Full text 
Favorites
Saved in:
95
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /

Full text 
Favorites
Saved in:
96
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
97
Transactions on Computational Science III [E-Book] /

Full text 
Favorites
Saved in:
98
Graph Drawing [E-Book] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers /

Full text 
Favorites
Saved in:
99
Wireless Sensor Networks [E-Book] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings /

Full text 
Favorites
Saved in:
100
Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results