81
Formal Aspects in Security and Trust [E-Book] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
82
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
83
Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
84
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 /
85
Frontiers in Algorithmics [E-Book] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings /
86
Functional Imaging and Modeling of the Heart [E-Book] : 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings [E-Book]/
87
Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
88
Future Internet – FIS 2008 [E-Book] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers /
89
Future Multimedia Networking [E-Book] : Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings /
90
Fuzzy Logic and Applications [E-Book] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings /
91
Genetic Programming [E-Book] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /
92
GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
93
Graph Drawing [E-Book] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers /
94
Groupware: Design, Implementation, and Use [E-Book] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers /
95
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
96
HCI and Usability for Education and Work [E-Book] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings /
97
High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
98
High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
99
Hybrid Artificial Intelligence Systems [E-Book] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings /
100
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /