Informatik (15 757 Artikel)

Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsme...

DE

1 Anforderungen an Software-Entwicklungsumgebungen und Programmiersprachen.- 1.1 Die treibenden Kräfte.- 1.2 Problemfelder und die daraus resultierenden Forderungen.- 1.3 Betrachtungsschwerpunkt.- ...

In diesem Buch geht es um die Programmiertechniken, die zur Implementation sog. naturanaloger Verfahren erforderlich sind. Dabei handelt es sich um Zellularautomaten, Boolesche Netze, Evolutionäre ...

1 Sprachunabhängige Aspekte der Programmierung.- 1.1 Programmierumgebungen.- 1.2 Divide et impera und Rekursion.- 1.3 Syntax.- 1.4 Syntaxanalyse.- 1.4.1 Die Rolle der Syntaxanalyse.- 1.4.2 Syntaxan...

DE

Erste Schritte in der Java Enterprise Edition

1. Einführung in Ratfor.- 2. Filter.- 3. Dateien.- 4. Sortieren.- 5. Textmuster.- 6. Editieren.- 7. Formatieren.- 8. Makro-Verarbeitung.- 9. Ein Ratfor-Fortran-Übersetzer.- Nachwort.- Anhang: Grund...

Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence, L...

Massively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important for high-performance computing. The growing acceptance of MPSs in ac...

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau,...

This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, Aug...

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The seri...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number o...

The Audacity of Hope: Thoughts on Reclaiming the Database Dream.- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.- Coupling Policy Iteration with Semi-de...