Informatik (15 755 Artikel)

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers pr...

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federatio...

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federatio...

Invited Presentations.- Support of Technology Development in the Information Society.- Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java.- Ada...

Reinventing Computing for Real Time.- Applying Service-Oriented Development to Complex Systems: BART Case Study.- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case S...

Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and...

Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one of the most reputable events in the field of re...

The book contains the proceedings of the 8th Eurographics Rendering Workshop, which took place from 16th to 18th June, 1997, in Saint Etienne, France. After a series of seven successful events the ...

Some of the best current research on realistic rendering is included in this volume. It emphasizes the current "hot topics" in this field: image based rendering, and efficient local and global-illu...

The latest developments in rendering, visualization, and rasterization hardware are reported in this volume, which contains revised versions of thecontributions to the Sixth Eurographics Workshop o...

Informatik ist heute in vielen Schularten in mehreren Jahrgangsstufen Pflichtfach. Um einen qualifizierten Unterricht zu gewährleisten und den großen Bedarf an Lehrkräften decken zu können, werden ...

This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation learning refers to modern data transformation techniques that convert ...

This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation learning refers to modern data transformation techniques that convert ...

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an...

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an...