development  (42.731 Angebote unter 30.868.480 Artikeln)

Has there ever been a finer creation that the automobile? Since the invention of the modern car in 1886 by Karl Benz, it has been bringing pleasure to every one of us. For nearly 130 years, the aut...

The algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification & program design.- Attribute grammars : Theor...

Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Applicat...

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the fi...

This book constitutes selected revised papers of the 15th International Conference, NooJ 2021, held in Besançon, France, in June 2021. Due to the COVID-19 pandemic the conference was held online. N...

The use of computing technology for entertainment purposes is not a recent p- nomenon. Video game consoles, home computers and other entertainment media have been used widely for more than three de...

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathe...

The International Symposium on Colloid and Polymer Science was held at Nagoya Institute of Technology, Nagoya, Japan, in October 1996. The program covered both the fundamental aspects as well as te...

Function spaces, especially those spaces that have become known as Sobolev spaces, and their natural extensions, are now a central concept in analysis. In particular, they play a decisive role in t...

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

The development of supramolecular chemistry has paved the way for assembling small molecules into complex polymeric architectures through specific directed secondary interactions. These supramolecu...

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distribute...