15 Bücher 

Wissenschaftliche Literatur Algebra

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Intuitionistic Set Theory Part I (Forschungsarbeit)Zum Shop

Intuitionistic Set Theory Part I

Forschungsergebnisse zur Informatik

In part I of his study, the author deals with the following problems:

Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (Nalgebraic reals) Decidable derivation of the axioms of the Axiomatic Set Theory (by K. Kuratowski and A. Mostowski), relations, functions Natural numbers (as special case of the irrationals), finite and infinite categories Generalized union, intersection and Cartesian procuct…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet Theory
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)Zum Shop

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die sprachspezifischen Anteile aus der für die Erstellung eines Compilers vorhandenen Sprachbeschreibung generiert werden können. Die Grundidee für ein solches System…

InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielsprache
Gauge Theory on Nonorientable Four-Manifolds (Forschungsarbeit)Zum Shop

Gauge Theory on Nonorientable Four-Manifolds

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

In this thesis we generalize the moduli space of anti-self dual connections on some principal bundle over an oriented manifold to the case where the base manifold X is nonorientable.

To do this, we work with principal Pin4 bundles P over X. To achieve a meaningful generalization of the Hodge star operator on two forms from the oriented setting we twist the star operator on forms with an involution on the Lie algebra and gain an involution *˜…

Äquivariante ModulrÄumeDonaldson-TheorieEichtheorieNaturwissenschaftPrinzipalbündelVierdimensionale Mannigfaltigkeit
Events in an Active, Object-Oriented Database System (Forschungsarbeit)Zum Shop

Events in an Active, Object-Oriented Database System

Studien zur Datenbankforschung

Neue Entwicklungen der Datenbanktechnologie haben häufig zum Ziel, mehr Umweltsemantik in der Datenbank selbst modellieren zu können. Aktive Datenbanksysteme sind Repräsentanten für dieses Bestreben; sie sind in der Lage, zusätzlich zu den bekannten Fähigkeiten eines konventionellen Datenbanksystems definierte Ereignisse zu erkennen und als Folge davon bestimmte (ebenfalls definierte) Reaktionen auszulösen. Dafür werden in einem aktiven Datenbanksystem sogenannte ECA…

Active database systemsAktive DatenbanksystemeECA-RegelnEreignisspezifikationEvent Condition ActionInformatikObjektorientiertRegelspracheRule Language
Temporal Modeling in Relational Database-Systems (Forschungsarbeit)Zum Shop

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle auch eine entsprechende Anfragesprache, mit der man die in einer Datenbank abgelegten Informationen einem Benutzer auch angemessen zugänglich macht. Das relationale Datenmodell stellt nur sehr eingeschränkte Möglichkeiten zur…

BenutzerDATALOGDatenbankDatenbanksprachenInformatikModellierung von ZeitaspektenRelational Database SystemsSprachkonzepteZeit