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
  • 1
    UID:
    b3kat_BV035801205
    Umfang: 1 Online-Ressource (VI, 346 S.)
    ISBN: 3540502416 , 0387502416
    Serie: Lecture notes in computer science 329
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Informatik ; Logik ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_59512996X
    Umfang: Online-Ressource (VI, 346 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540459606
    Serie: Lecture notes in computer science 329
    Inhalt: Diagonalizing over deterministic polynomial time -- Resolution with feature unification -- Surjectivity for finite sets of combinators by weak reduction -- Proving finite satisfiability of deductive databases -- Is setl a suitable language for parallel programming — a theoretical approach -- Loose diagrams, semigroupoids, categories, groupoids and iteration -- Algebraic operational semantics and modula-2 -- Program verification using dynamic logic -- Induction in the elementary theory of types and names -- On the computational complexity of quantified Horn clauses -- The conjunctive complexity of quadratic boolean functions -- On type inference for object-oriented programming languages -- Optimization aspects of logical formulas -- Logic of approximation reasoning -- Deciding the path- and word-fair equivalence problem -- Learning by teams from examples with errors -- A survey of rewrite systems -- Interfacing a logic machine -- Complexity cores and hard-to-prove formulas -- On the average case complexity of backtracking for the exact-satisfiability problem -- On functions computable in nondeterministic polynomial time: Some characterizations -- Developing logic programs: Computing through normalizing -- Model theory of deductive databases -- Algorithms for propositional updates.
    Inhalt: This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 3540502416
    Weitere Ausg.: ISBN 0387502416
    Weitere Ausg.: ISBN 9783540502418
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe CSL (1 : 1987 : Karlsruhe) CSL '87 Berlin [u.a.] : Springer, 1988 ISBN 3540502416
    Weitere Ausg.: ISBN 0387502416
    Sprache: Englisch
    Schlagwort(e): Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    almahu_BV009233563
    Umfang: VI, 346 S. : , graph. Darst.
    ISBN: 3-540-50241-6 , 0-387-50241-6
    Serie: Lecture notes in computer science 329
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Informatik ; Logik ; Konferenzschrift ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    gbv_1649275080
    Umfang: Online-Ressource
    ISBN: 9783540459606
    Serie: Lecture Notes in Computer Science 329
    Weitere Ausg.: ISBN 9783540502418
    Weitere Ausg.: Buchausg. u.d.T. Karlsruhe, FRG, October 12 - 16, 1987 1988 ISBN 3540502416
    Weitere Ausg.: ISBN 0387502416
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    RVK:
    Mehr zum Autor: Börger, Egon 1946-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    b3kat_BV009233563
    Umfang: VI, 346 S. , graph. Darst.
    ISBN: 3540502416 , 0387502416
    Serie: Lecture notes in computer science 329
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Informatik ; Logik ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    almafu_BV009233563
    Umfang: VI, 346 S. : , graph. Darst.
    ISBN: 3-540-50241-6 , 0-387-50241-6
    Serie: Lecture notes in computer science 329
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Informatik ; Logik ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    UID:
    almahu_9949285057502882
    Umfang: XX, 252 p. 69 illus., 4 illus. in color. , online resource.
    Ausgabe: 1st ed. 2005.
    ISBN: 9780387231297
    Serie: Huebner International Series on Risk, Insurance and Economic Security ; 25
    Inhalt: Catastrophe Modeling: A New Approach to Managing Risk is the first book that systematically analyzes how catastrophe models can be used for assessing and managing risks of extreme events. It focuses on natural disaster risk, but also discusses the management of terrorism risk. A unique feature of this book is the involvement of three leading catastrophe modeling firms, AIR Worldwide, EQECAT, and Risk Management Solutions, who examine the role of catastrophe modeling in rate setting, portfolio management and risk financing. Using data from three model cities (Oakland, CA, Long Beach, CA and Miami/Dade County, FLA), experts from the Wharton School of the University of Pennsylvania examine the role of catastrophe modeling to develop risk management strategies for reducing and spreading the losses from future disasters. Given the uncertainties associated with terrorism the book points out the opportunities for utilizing catastrophe models to set insurance rates and to examine public-private partnerships for providing financial assistance in the event of a terrorist attack. "This book fills a critical need in setting forth the role of modern risk analysis in managing catastrophe risk. There is no comparable reference work for this important subject area. The book is well written and well organized. It contains contributions from many of the most distinguished experts in the fields of risk analysis and risk management. It strikes a good balance between the technical aspects of the subject and the practical aspects of decision making." "This book is strongly recommended for individuals who must make decisions regarding the management of impacts of catastrophe risks including those in both the public and private sector." Wilfred D. Iwan Professor of Applied Mechanics, Emeritus Director, Earthquake Engineering Research Laboratory California Institute of Technology "The authors have captured the essence of catastrophe modeling: its value, its utility and its limitations. Every practitioner in the catastrophe risk field should read this book." Franklin W. Nutter, President Reinsurance Association of America.
    Anmerkung: Introduction: Needs, Stakeholders, and Government Initiatives -- An Introduction to Catastrophe Models and Insurance -- The Risk Assessment Process: The Role of Catastrophe Modeling in Dealing with Natural Hazards -- Sources, Nature, and Impact of Uncertainties on Catastrophe Modeling -- Use of Catastrophe Models in Insurance Rate Making au]Dennis^Kuzak -- Insurance Portfolio Management -- Risk Financing -- The Impact of Mitigation on Homeowners and Insurers: An Analysis of Model Cities -- The Impact of Risk Transfer Instruments: An Analysis of Model Cities -- Extending Catastrophe Modeling To Terrorism.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9780387502410
    Weitere Ausg.: Printed edition: ISBN 9780387241050
    Weitere Ausg.: Printed edition: ISBN 9780387230825
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 0387052496?
Meinten Sie 0387102418?
Meinten Sie 0387102426?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz