201
Mobile Object Systems Towards the Programmable Internet [E-Book] : Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers /
202
Transformation-Based Reactive Systems Development [E-Book] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
203
Software Configuration Management [E-Book] : ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 Proceedings /
204
Information Security Applications [E-Book] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /
205
Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
206
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
207
Compiler Construction [E-Book] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
208
Architecture of Computing Systems - ARCS 2007 [E-Book] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
209
Fundamental Approaches to Software Engineering [E-Book] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
210
Empirical Software Engineering Issues. Critical Assessment and Future Directions [E-Book] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers /
211
Programming Languages and Systems [E-Book] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
212
Information Networking Advances in Data Communications and Wireless Networks [E-Book] / International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers
213
Quality of Software Architectures [E-Book] / Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
214
Leveraging Applications of Formal Methods [E-Book] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
215
Programming Languages and Systems (vol. # 4279) [E-Book] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
216
Stabilization, Safety, and Security of Distributed Systems [E-Book] / 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
217
Middleware 2006 [E-Book] / ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
218
HCI International 2011 – Posters’ Extended Abstracts [E-Book] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I /
219
Power Electronics and Instrumentation Engineering [E-Book] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
220
Agile Processes in Software Engineering and Extreme Programming [E-Book] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /