Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • UB Potsdam  (93)
  • GB Glienicke/Nordbahn
  • SB Guben
  • SB Rathenow
  • Grünes Gedächtnis
  • Stadtmuseum Berlin
  • Bundesarchiv
  • Inst. f. Musikforschung
  • HNE Eberswalde
  • Stiftung Fürst-Pückler-Museum
  • GB Zeuthen
  • SB Finsterwalde
  • Bibliothek Lübbenau - Vetschau
  • SB Erkner
  • ÖB Neustadt (Dosse)
  • GB Rangsdorf
  • 1990-1994  (79)
  • 1970-1974  (13)
  • 1935-1939  (1)
  • Hochschulschrift  (93)
  • Bildband
  • Lizenziert  (93)
Medientyp
Sprache
Region
Bibliothek
Virtuelle Kataloge
Erscheinungszeitraum
Jahr
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    New York : Academic Press
    UID:
    b3kat_BV036962487
    Umfang: 1 Online-Ressource (x, 432 p.) , 24 cm
    Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0124974600 , 9780124974609
    Serie: Pure and applied mathematics; a series of monographs and textbooks v. 50
    Anmerkung: Bibliography: p. 415-420
    Weitere Ausg.: Reproduktion von Symmetry groups and their applications 1972
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Raumgruppe ; Symmetrische Gruppe ; Gruppentheorie ; Anwendung ; Symmetriegruppe ; Hochschulschrift
    URL: Volltext  (Deutschlandweit zugänglich)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Berlin : Duncker & Humblot
    UID:
    b3kat_BV044903443
    Umfang: 1 Online-Ressource (402 Seiten)
    Ausgabe: 1. Aufl.
    ISBN: 9783428416264 , 9783428416264
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783428016266
    Sprache: Deutsch
    Fachgebiete: Wirtschaftswissenschaften
    RVK:
    Schlagwort(e): Deutschland ; Bank ; Großbritannien ; Hochschulschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920624602882
    Umfang: VI, 156 p. , online resource.
    ISBN: 9783540470823
    Serie: Lecture Notes in Computer Science, 479
    Inhalt: The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.
    Anmerkung: A standard deductive database system -- An expert deductive database system -- Discarding irrelevant tuples -- Disregarding irrelevant rules -- Explicit termination of recursion -- Preferring useful rules -- Preferring useful tuples -- Summary and outlook.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540537540
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920899502882
    Umfang: XI, 184 p. , online resource.
    ISBN: 9783540490142
    Serie: Lecture Notes in Computer Science, 870
    Inhalt: This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures. The author introduces generic programs for two paradigms and shows how to derive new distributed programs for several applications related to the RSA cryptosystem, including RSA enciphering and deciphering, prime number generation, and factoring. The book is well-written and easily accessible to the non-expert. The work is an appealing combination of the theory and practice of parallel computing and provides a clear introduction to the theory and practice of RSA cryptography.
    Anmerkung: Overview -- The RSA public-key cryptosystem -- Notation for distributed algorithms -- The competing servers arrays -- A distributed algorithm to find safe RSA keys -- Distributed factoring with competing servers -- The synchronized servers pipeline -- Message block chaining for distributed RSA enciphering -- Generating deterministically certified primes.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540584964
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920722202882
    Umfang: VIII, 166 p. , online resource.
    ISBN: 9783540475064
    Serie: Lecture Notes in Computer Science, 651
    Inhalt: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.
    Anmerkung: How to specify -- A review of modal and temporal logic -- Polymodal logics with inequality -- Message passing systems -- Time-critical systems -- Summary and concluding remarks.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540562832
    Sprache: Englisch
    Fachgebiete: Informatik , Mathematik
    RVK:
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920622302882
    Umfang: VIII, 142 p. , online resource.
    ISBN: 9783540471639
    Serie: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 446
    Inhalt: Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
    Anmerkung: Basic notions -- Static program properties and transformations -- Terminating logic programs -- The problem of local variables -- And/or dataflow graphs -- A termination proof procedure -- Integration of unfolding techniques -- Conclusions.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540528371
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9947921563202882
    Umfang: X, 198 p. , online resource.
    ISBN: 9783540473008
    Serie: Lecture Notes in Mathematics, 1516
    Inhalt: The subject of this book is Lagrange, Hermite and Birkhoff (lacunary Hermite) interpolation by multivariate algebraic polynomials. It unifies and extends a new algorithmic approach to this subject which was introduced and developed by G.G. Lorentz and the author. One particularly interesting feature of this algorithmic approach is that it obviates the necessity of finding a formula for the Vandermonde determinant of a multivariate interpolation in order to determine its regularity (which formulas are practically unknown anyways) by determining the regularity through simple geometric manipulations in the Euclidean space. Although interpolation is a classical problem, it is surprising how little is known about its basic properties in the multivariate case. The book therefore starts by exploring its fundamental properties and its limitations. The main part of the book is devoted to a complete and detailed elaboration of the new technique. A chapter with an extensive selection of finite elements follows as well as a chapter with formulas for Vandermonde determinants. Finally, the technique is applied to non-standard interpolations. The book is principally oriented to specialists in the field. However, since all the proofs are presented in full detail and since examples are profuse, a wider audience with a basic knowledge of analysis and linear algebra will draw profit from it. Indeed, the fundamental nature of multivariate nature of multivariate interpolation is reflected by the fact that readers coming from the disparate fields of algebraic geometry (singularities of surfaces), of finite elements and of CAGD will also all find useful information here.
    Anmerkung: Univariate interpolation -- Basic properties of Birkhoff interpolation -- Singular interpolation schemes -- Shifts and coalescences -- Decomposition theorems -- Reduction -- Examples -- Uniform Hermite interpolation of tensor-product type -- Uniform Hermite interpolation of type total degree -- Vandermonde determinants -- A theorem of Severi -- Kergin interpolation via Birkhoff interpolation.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540558705
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9947921562002882
    Umfang: 204 p. , online resource.
    ISBN: 9783540475002
    Serie: Lecture Notes in Mathematics, 1531
    Inhalt: The problem of designing a cost-efficient network that survives the failure of one or more nodes or edges of the network is critical to modern telecommunications engineering. The method developed in this book is designed to solve such problems to optimality. In particular, a cutting plane approach is described, based on polyhedral combinatorics, that is ableto solve real-world problems of this type in short computation time. These results are of interest for practitioners in the area of communication network design. The book is addressed especially to the combinatorial optimization community, but also to those who want to learn polyhedral methods. In addition, interesting new research problemsare formulated.
    Anmerkung: Motivation -- Network survivability models using node types -- Survivable network design under connectivity constraints — a survey -- Decomposition -- Basic inequalities -- Lifting theorems -- Partition inequalities -- Node partition inequalities -- Lifted r-cover inequalities -- Comb inequalities -- How to find valid inequalities -- Implementation of the cutting plane algorithm -- Computational results.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540562719
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9947921570602882
    Umfang: X, 198 p. , online resource.
    ISBN: 9783540474975
    Serie: Lecture Notes in Mathematics, 1529
    Inhalt: This monograph provides a systematic treatment of the abstract theory of adjoint semigroups. After presenting the basic elementary results, the following topics are treated in detail: The sigma (X, X )-topology, -reflexivity, the Favard class, Hille-Yosida operators, interpolation and extrapolation, weak -continuous semigroups, the codimension of X in X , adjoint semigroups and the Radon-Nikodym property, tensor products of semigroups and duality, positive semigroups and multiplication semigroups. The major part of the material is reasonably self-contained and is accessible to anyone with basic knowledge of semi- group theory and Banach space theory. Most of the results are proved in detail. The book is addressed primarily to researchers working in semigroup theory, but in view of the "Banach space theory" flavour of many of the results, it will also be of interest to Banach space geometers and operator theorists.
    Anmerkung: The adjoint semigroup -- The ?(X,X?)-topology -- Interpolation, extrapolation and duality -- Perturbation theory -- Dichotomy theorems -- Adjoint semigroups and the RNP -- Tensor products -- The adjoint of a positive semigroup.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540562603
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9947921560502882
    Umfang: XXIV, 284 p. , online resource.
    ISBN: 9783540487975
    Serie: Lecture Notes in Mathematics, 1588
    Inhalt: This book makes a systematic study of the relations between the étale cohomology of a scheme and the orderings of its residue fields. A major result is that in high degrees, étale cohomology is cohomology of the real spectrum. It also contains new contributions in group cohomology and in topos theory. It is of interest to graduate students and researchers who work in algebraic geometry (not only real) and have some familiarity with the basics of étale cohomology and Grothendieck sites. Independently, it is of interest to people working in the cohomology theory of groups or in topos theory.
    Anmerkung: Real spectrum and real étale site -- Glueing étale and real étale site -- Limit theorems, stalks, and other basic facts -- Some reminders on Weil restrictions -- Real spectrum of X and étale site of -- The fundamental long exact sequence -- Cohomological dimension of X b , I: Reduction to the field case -- Equivariant sheaves for actions of topological groups -- Cohomological dimension of X b , II: The field case -- G-toposes -- Inverse limits of G-toposes: Two examples -- Group actions on spaces: Topological versus topos-theoretic constructions -- Quotient topos of a G-topos, for G of prime order -- Comparison theorems -- Base change theorems -- Constructible sheaves and finiteness theorems -- Cohomology of affine varieties -- Relations to the Zariski topology -- Examples and complements.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540584360
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz