1
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /
2
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 /
3
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
4
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
5
Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
6
Reliable Software Technologies – Ada-Europe 2009 [E-Book] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
7
Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
8
Coordination Models and Languages [E-Book] : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
9
Transactions on Aspect-Oriented Software Development V [E-Book] /
10
Distributed Computing in Sensor Systems [E-Book] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings /
11
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 /
12
Software Engineering for Self-Adaptive Systems [E-Book] /
13
Distributed Applications and Interoperable Systems [E-Book] : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings /
14
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
15
Wireless Sensor Networks [E-Book] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings /
16
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
17
Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /
18
Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
19
End-User Development [E-Book] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings /
20
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /