Informatik (15 259 Artikel)

Die Blockchain-Technologie verspricht, den Finanzmarkt, die Versicherungsbranche, das Supply-Chain-Management und andere Branchen zu revolutionieren. Aber Sie müssen kein Tech-Nerd sein, um die Blo...

Datenbanken sind unverzichtbare Basis fast aller Informationssysteme. Dieses in dritter, erweiterter Auflage vorliegende Buch vermittelt Ihnen das notwendige Grundlagenwissen zu Datenbanksystemen. ...

Software is in many cases interacting with hardware, the peripheral devices, to interact with is physical environment. Those hardware-dependent software parts, in the context of an operating system...

Autonomous self-driving cars need a very precise perception system of their environment, working for every conceivable scenario. Therefore, different kinds of sensor types, such as lidar scanners, ...

Emerging Trends

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs....

Formal language theory and theoretical computer science.- Le cylindre des langages lineaires n'est pas principal.- Langages algebriques deterministes et groupes abeliens.- Best possible bounds on t...

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Preliminaries.- Circuit-size complexity.- Probabilistic Algorithms.- Sparse sets.- The low and high hierarchies.- Oracles.

Computer programs for spelling correction: An experiment in program design.

Understanding and Guarding Against Cybercrime

An integrated approach to database design.- LDDM -- A structured logical database design methodology.- The design of an integrated data dictionary directory system.- Tools for the automation of dat...

Beginnings.- Context-free grammar forms.- EOL and ETOL forms.- Other topics.- Past, present and future.

The exponent of matrix multiplication.- Correlation between matrix multipilcation and other computational problems. Bit-time, bit-space, stability, and condition.- The speed-up of the multiplicatio...

The module: A system structuring facility in high-level programming languages.- The evolution of the unix time-sharing system.- Pascal versus C : A subjective comparison.- Why recursion?.- On the p...