Informatik (15 757 Artikel)

25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Both theoretical and practical considerations motivate the repre sentation of objects as certain compositions of simpler ones. In the theory of automata this observation has led to the concepts of ...

Effizientes Controlling, Logistik- und Kostenmanagement moderner Produktionssysteme

Contents: This volume among others covers the following topics: o Installation of the development environment Lazarus o Basics of programming in (Free) Pascal o Modular programming with units o Cre...

This State-of-the-Art Survey constitutes the Final Publication of the COST Action IC1002 on Multilingual and Multifaceted Interactive Information Access, MUMIA. It contains outstanding research, re...

In diesem Band werden u. a. die folgenden Themen behandelt: o Installation der Entwicklungsumgebung Lazarus o Grundlagen der Programmierung in (Free-) Pascal o Modulare Programmierung mit Units o E...

Einführung in ERP.- Login und Kopieren der Microsoft Navision-Datenbank.- Die Desktop Umgebung von Microsoft Navision.- Einführung in Entwicklungskonzepte.- Erstellen neuer ,,FlowFields".- Erstelle...

A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and p...

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and...

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and...

This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developi...

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened it...

Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC -- index generation.- Example 2: KWIC -- index generat...

I: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 2. Management & Organization.- 3. Formal Methods In ...

I Grundlagen.- 1 Steuerung von Rechenabläufen durch Programme.- 2 Programmablaufpläne mit Verzweigungen.- 3 Programmabläufe mit Schleifen.- 4 Unterprogrammtechnik.- 5 Optimieren und Korrigieren von...