Informatik (15 755 Artikel)

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...

7 Die Verwendeten Elementtypen.- 7.1 Die ES-Matrix für den ebenen Stab.- 7.2 Die ES-Matrix für den räumlichen Stab.- 7.3 Die ES-Matrix für den ebenen Balken.- 7.4 Die ES-Matrix für den räumlichen B...

Das Buch stellt FRM vor, ein Frame-basiertes Modell zur Repräsentation von Wissen. Der Schwerpunkt liegt dabei auf der Ausarbeitung der Semantik seiner Repräsentationskonstrukte. Zur formalen Spezi...

Invited Presentations.- Model Checking: Theory into Practice.- An Algebra for XML Query.- Irregularities of Distribution, Derandomization, and Complexity Theory.- Rewriting Logic as a Metalogical F...

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of t...

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices o...

Contributed Papers.- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.- Constructions of Sparse Asymmetric Connectors.- A Separation Logic for Resource Dis...

Invited Papers.- Genome Halving Problem Revisited.- Verifying Probabilistic Procedural Programs.- Streaming Algorithms for Geometric Problems.- Toward a Grainless Semantics for Shared-Variable Conc...

Invited Papers.- Shared-Variable Concurrency: A Proposal.- Hennessy-Plotkin-Brookes Revisited.- Approximation Algorithms for 2-Stage Stochastic Optimization Problems.- The Number of Crossing Free C...

Invited Papers.- The Multicore Revolution.- Streaming Algorithms for Selection and Approximate Sorting.- Adventures in Bidirectional Programming.- Program Analysis Using Weighted Pushdown Systems.-...

Inhaltsübersicht Seite.- Fachgespräch: Grundlagen der Größtintegration (VLSI).- Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise.- Über die logisch-topologische Entwu...

I Themen.- Einführung.- 1 Wirtschaft.- 2 Presse, Nachrichten, Nachrichtendienste.- 3 Patente, Warenzeichen.- 4 Finanz- und Bankwesen.- 5 Recht, Regelungen.- 6 Zeitgeschehen, Politik, Biographien.- ...

Einführung in den Kongress aus der Sicht der VDI/VDE-Gesellschaft Mess- und Regelungstechnik.- Tendenzen in der Prozessrechnertechnik.- Organization of software for multicomputer process control sy...

Einführung.- Begrüßung durch den Vorsitzenden der VDI/VDE-Gesellschaft Meß- und Regelungstechnik (GMR).- Hauptvorträge.- Automatisierung mit Rechnern -- Stand und Tendenzen.- Rationalisierung der S...

Immer häufiger werden englische Begriffe in den deutschen Sprachgebrauch eingegliedert und zu schnell übernommen. Dies führt nicht selten zum Verlust des eigentlichen Sinngehalts und einer hieraus ...