1
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
2
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
3
Process Mining [E-Book] : Discovery, Conformance and Enhancement of Business Processes /
4
Power Electronics and Instrumentation Engineering [E-Book] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
5
Specification of Software Systems [E-Book] /
6
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /
7
Software Language Engineering [E-Book] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /
8
Model Checking and Artificial Intelligence [E-Book] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
9
Logic-Based Program Synthesis and Transformation [E-Book] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
10
Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
11
Technische Informatik [E-Book] : Band 2: Entwurf digitaler Schaltungen /
12
Rainbow of Computer Science [E-Book] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
13
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
14
Foundations of Software Science and Computational Structures [E-Book] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
15
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /
16
Hardware and Software: Verification and Testing [E-Book] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
17
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
18
Transactions on High-Performance Embedded Architectures and Compilers III [E-Book] /
19
Regular Nanofabrics in Emerging Technologies [E-Book] : Design and Fabrication Methods for Nanoscale Digital Circuits /
20
VLSI Physical Design: From Graph Partitioning to Timing Closure [E-Book] /