Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

Software Verification and Analysis An Integrated, Hands-On Approach

Integrated Management of Systems, Services, Processes and People in IT 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings

The NeuroProcessor An Integrated Interface to Biological Neural Networks

Analysis of Integrated and Cointegrated Time Series with R

High-Level Modeling and Synthesis of Analog Integrated Systems

Pro LINQ Language Integrated Query in C# 2008

Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italy

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Knowledge Sharing in the Integrated Enterprise Interoperability Strategies for the Enterprise Architect