1
Ad Hoc Networks [E-Book] : Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers /
2
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
3
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /
4
Computer Performance Evaluation.Modelling Techniques and Tools [E-Book] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings /
5
Computer Performance Evaluation: Modelling Techniques and Tools [E-Book] : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings /
6
Computer Performance Evaluations. Modelling Techniques and Tools [E-Book] : 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings /
7
Control and Automation [E-Book] : International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings /
8
Handbook of Mobile Ad Hoc Networks for Mobility Models [E-Book] /
9
Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /
10
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [E-Book] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
12
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings [E-Book]/
13
Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /
14
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
15
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
16
Model-Based Software Performance Analysis [E-Book] /
17
Modeling and Tools for Network Simulation [E-Book] /
18
Performance Analysis of Network Architectures [E-Book] /
19
Queueing Theory for Telecommunications [E-Book] : Discrete Time Modelling of a Single Node System /
20
Robust and Online Large-Scale Optimization [E-Book] : Models and Techniques for Transportation Systems /