Wyniki wyszukiwania:

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association...

This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions, applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...

Control systems have come to play an important role in the performance of modern vehicles with regards to meeting goals on low emissions and low fuel consumption. To achieve these goals, modeling, simulation, and analysis have become standard tools for the development of control systems in the automotive industry.

Modeling and Control of Engines and Drivelines provides an up-to-date treatment of the topic from a clear perspective of systems engineering and control systems, which are at the core of vehicle design.

This book has three main goals. The first is to provide...