Kooperativer Bibliotheksverbund

UID:

Umfang: 1 Online-Ressource (VIII, 659 S.)

ISBN: 3540565965 , 0387565965

Serie: Lecture notes in computer science 666

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Programmiersprache ; Semantik ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/3-540-56596-5

URL: Volltext

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

UID:

Umfang: 1 Online-Ressource (VIII, 442 S.)

ISBN: 354053931X , 038753931X

Serie: Lecture notes in computer science 489

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Objektorientierte Programmierung ; Objektorientierte Programmiersprache ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/BFb0019438

URL: Volltext

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

UID:

Umfang: 1 Online-Ressource (XII, 479 Seiten) , Illustrationen

ISBN: 9789004512054

Serie: Medieval and early modern philosophy and science volume 34

Inhalt: Aristotelian philosophy is generally regarded as incompatible with the mathematical methods and principles that form the basis of modern science. This book offers an entirely new perspective on this presumed incompatibility. It surveys the tradition of the Oxford Calculators from its beginnings in the fourteenth century until Leibniz and the philosophy of the seventeenth century and explores how the Calculators' techniques of quantification expanded the conceptual and methodological limits of Aristotelianism. In the process, it examines a large number of authors, some of them never studied in this context. Exploring the relationship between various late medieval disciplines, the book sheds new light on the problem of continuity vs. discontinuity between scholasticism and modern science. Beyond its historiographical purpose, this book also hopes to be a source of inspiration for present-day philosophers of science

Anmerkung: Includes bibliographical references and index , Acknowledgements , List of Figures , Notes on Contributors , Introduction , 1 Thomas Wylton on the Ceasing of an Instant of Time , 2 The New Interpretation of Aristotle: Richard Kilvington, Thomas Bradwardine, and the New Rule of Motion , 3 The Opuscula de motu Ascribed to Richard Swineshead: The Testimony of the Ongoing Development of the Oxford Calculators' Science of Motion , 4 Calculations in Thomas Bradwardine's De causa dei , Book  I , 5 The Calculators on the Insolubles: Bradwardine, Kilvington, Heytesbury, Swyneshed, and Dumbleton , 6 The Influence of the Oxford Calculatores on the Understanding of Local Motion: The Example of the Tractatus de sex inconvenientibus , 7 Wyclif, the Black Sheep of the Oxford Calculators , 8 On the Reception of English Logic at Universities of Central Europe: Helmoldus de Zoltwedel (Prague, Leipzig) on the Liar-Paradox , 9 Blasius of Parma on the Calculation of the Variation of Qualities and Aristotelian Physics , 10 The Calculators Tradition in Oresme's De visione stellarum , 11 Perfections and Latitudes: The Development of the Calculators' Tradition and the Geometrisation of Metaphysics and Theology , 12 Decline of the Calculators in Paris c. 1500: Humanism and Print , 13 Some Aspects of the 'Rules' of motus difformis in Angelo da Fossambruno's Commentary on Heytesbury's De tribus praedicamentis , 14 Leibniz and the Calculators , Manuscripts , Bibliography , Index Nominum.

Weitere Ausg.: ISBN 9789004499829

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Quantifying Aristotle Leiden : Brill, 2022 ISBN 9789004499829

Sprache: Englisch

Schlagwort(e): Aristotelismus ; Mathematische Methode ; Konferenzschrift ; Aufsatzsammlung

DOI: 10.1163/9789004512054

URL: lizenzpflichtig

URL: lizenzpflichtig

URL: lizenzpflichtig

URL: Inhaltsverzeichnis

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Umfang: 1 Online-Ressource (xx, 284 Seiten).

ISBN: 978-90-04-18220-2 , 90-04-17472-9 , 90-04-18220-9

Serie: Amsterdam studies in classical philology Volume 16

Anmerkung: Papers presented at the 6th International Colloquium on Ancient Greek Linguistics, held June 27-29, 2007, Groningen, Netherlands. - Greek words romanized in table of contents. - Includes bibliographical references and index. - Introduction / Stéphanie J. Bakker and Gerry C. Wakker -- Discourse cohesion through third person pronouns : the case of [keinos] and [autos] in Homer / Anna Bonifazi -- Pragmatic presupposition and complementation in classical Greek / Luuk Huitink -- On the curious combination of the particles [gar] and [oun] / Stéphanie J. Bakker -- 'Well I will now present my arguments.' : discourse cohesion marked by [oun] and [toinyn] in Lysias / Gerry C. Wakker -- The particles [au] and [aute] in ancient Greek as topicalizing devices / Antonio R. Revuelta Puigdollers -- [Kai mēn], [kai dē] and [ēdē] in tragedy and comedy / A. Maria van Erp Taalman Kip -- Discourse cohesion in dialogue : turn-initial [alla] in Greek drama / Annemieke Drummen -- Greek particles : just a literary phenomenon? / Coulter H. George -- Towards a typology of the narrative modes in ancient Greek : text types and narrative structure in Euripidean messenger speeches / Rutger J. Allan -- The use of the imperfect to express completed states of affairs : the imperfect as a marker of narrative cohesion / Louis Basset -- Involving the past in the present : the classical Greek perfect as a situating cohesion device / Sander Orriens -- Discourse cohesion in the proem of Hesiod's Theogony / Albert Rijksbaron , English; includes text in Greek

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-90-04-17472-6

Sprache: Englisch

Fachgebiete: Altertumswissenschaften

Schlagwort(e): Griechisch ; Kohäsion ; Konferenzschrift

DOI: 10.1163/ej.9789004174726.i-284

URL: Volltext

URL: DOI

URL: Volltext

UID:

Umfang: 1 online resource (56 pages) : , digital, PDF file(s).

ISBN: 9789464562873 (ebook)

Serie: Warship ; no. 8

Inhalt: HNLMS Kortenaer was torpedoed by the Japanese cruiser Haguro in the Battle of the Java Sea on February 27, 1942. An eyewitness recorded that 'Kortenaer, about 700 yards bearing 80° relative, was struck on the starboard quarter by a torpedo, blew up, turned over, and sank at once leaving only a jackknifed bow and stern a few feet above the surface.'.

Anmerkung: Title from publisher's bibliographic system (viewed on 27 Mar 2024). , Cover -- Copyright.

Weitere Ausg.: Print version: ISBN 9789086161980

Sprache: Englisch

URL: https://www.cambridge.org/core/product/identifier/9789464562873/type/BOOK

URL: Volltext  (URL des Erstveröffentlichers)

URL: lizenzpflichtig

UID:

Umfang: 1 online resource (xxi, 449 pages) : , digital, PDF file(s).

ISBN: 9780511497322 (ebook)

Serie: Cambridge studies in economic history. Second series

Inhalt: Entertainment Industrialised was the first study to compare the emergence and economic development of the film industry in Britain, France and the United States between 1890 and 1940. Gerben Bakker investigates the commercialisation and industrialisation of live entertainment in the nineteenth century and analyses the subsequent arrival of motion pictures, revealing that their emergence triggered a process of incessant creative destruction, development and productivity growth that continues in the entertainment industry today. He argues that cinema industrialised live entertainment by automating it, standardising it and making it tradeable, a process that was largely demand led, and that a quality race between firms changed the structure of the international entertainment market. While a hundred years ago, European enterprises were supplying half of all films shown in the US, the quality race resulted in today's industry, in which a handful of American companies dominate the global entertainment business.

Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , The emergence of national entertainment markets -- The increase in demand for entertainment -- The structure of household entertainment expenditure -- The emergence of cinema -- The quality race -- Europe's failure to catch up -- How films became branded products -- International market integration: firms versus trade -- Industrialising the discovery process -- At the origins of increased productivity growth in services -- Epilogue: after television.

Weitere Ausg.: Print version: ISBN 9780521898546

Sprache: Englisch

Fachgebiete: Allgemeines

URL: https://doi.org/10.1017/CBO9780511497322

URL: Volltext  (lizenzpflichtig)

UID:

Umfang: 1 online resource (xiii, 191 pages) : , digital, PDF file(s).

ISBN: 9781139047722 (ebook)

Inhalt: This comprehensive study of the Odyssey sees in meat and meat consumption a centre of gravitation for the interpretation of the poem. It aims to place the cultural practices represented in the poem against the background of the (agricultural) lived reality of the poem's audiences in the archaic age, and to align the themes of the adventures in Odysseus' wanderings with the events that transpire at Ithaca in the hero's absence. The criminal meat consumption of the suitors of Penelope in the civilised space of Ithaca is shown to resonate with the adventures of Odysseus and his companions in the pre-cultural worlds they are forced to visit. The book draws on folklore studies, the anthropology of hunting cultures, the comparative study of oral traditions, and the agricultural history of archaic and classical Greece. It will also be of interest to narratologists and students of folklore and Homeric poetics.

Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Epos and Aoidē -- Nostos as quest -- Meat in myth and life -- Of hunters and herders -- Feasting in the land of the dawn -- The revenge of the sun -- The justice of Poseidon -- Remembering the Gastēr.

Weitere Ausg.: Print version: ISBN 9780521111201

Sprache: Englisch

URL: https://doi.org/10.1017/CBO9781139047722

URL: Volltext  (lizenzpflichtig)

UID:

Umfang: Online-Ressource (XII, 372 S.)

ISBN: 9789004277137

Serie: Groningen Oriental studies 2b

Inhalt: Preliminary material /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- The Myth Cycles of Skandapurāṇa 31–52 /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Metrics /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Edition /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Structure of the Contents of Chapters 31 to 52 /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Synopses of Chapters 31 to 52 /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Symbols and Abbreviations in the Apparatus /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Skandapurāṇa: Adhyāyas 31 to 52 /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Abbreviations /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- References /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop -- Index to the Introduction /Hans T. Bakker , Yuko Yokochi and Peter C. Bisschop.

Inhalt: Skandapurāṇa IIb presents a critical edition of Adhyāyas 31-52 from the Skandapurāṇa , with an introduction and English synopsis. The text edited in this volume includes central myths of early Śaivism, such as the destruction of Dakṣa's sacrifice and Śiva acquiring the bull for his vehicle. Also included is an extensive description of the thirteen hells (Naraka)

In: Vol. 2,B

Weitere Ausg.: ISBN 9789004270282

Weitere Ausg.: Erscheint auch als Druck-Ausgabe The Skandapurāṇa Volume IIb: Adhyāyas 31-52. The Vāhana and Naraka Cycles Leiden, Boston : BRILL, 2014 ISBN 9789004270282

Sprache: Englisch

Schlagwort(e): Skanda-Purāṇa

DOI: 10.1163/9789004277137

URL: Volltext

URL: DOI

Mehr zum Autor: Bisschop, Peter Christiaan 1973-

UID:

Umfang: Online-Ressource (X, 808 S.)

Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive

ISBN: 9783540470359

Serie: Lecture notes in computer science 430

Inhalt: Composing specifications -- Refinement calculus, part I: Sequential nondeterministic programs -- Refinement calculus, part II: Parallel and reactive programs -- MetateM: A framework for programming in temporal logic -- Constraint-oriented specification in a constructive formal description technique -- Functional specification of time sensitive communicating systems -- Modular verification of Petri Nets -- Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings -- Algebraic implementation of objects over objects -- Refinement of actions in causality based models -- Transformation of combined data type and process specifications using projection algebras -- Various simulations and refinements -- On decomposing and refining specifications of distributed systems -- Verifying the correctness of AADL modules using model checking -- Specialization in logic programming: From horn clause logic to prolog and concurrent prolog -- Analysis of discrete event coordination -- Refinement and projection of relational specifications -- Compositional theories based on an operational semantics of contexts -- Multivalued possibilities mappings -- Completeness theorems for automata -- Formal verification of data type refinement — Theory and practice -- From trace specifications to process terms -- Some comments on the assumption-commitment framework for compositional verification of distributed programs -- Refinement of concurrent systems based on local state transformations -- Construction of network protocols by stepwise refinement -- A derivation of a broadcasting protocol using sequentially phased reasoning -- Verifying atomic data types -- Predicates, predicate transformers and refinement -- Foundations of compositional program refinement.

Inhalt: The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Anmerkung: Literaturangaben

Weitere Ausg.: ISBN 3540525599

Weitere Ausg.: ISBN 9783540525592

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Stepwise refinement of distributed systems Berlin : Springer, 1990 ISBN 3540525599

Weitere Ausg.: ISBN 0387525599

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Verteiltes System ; Schrittweise Verfeinerung ; Konferenzschrift

DOI: 10.1007/3-540-52559-9

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

UID:

Umfang: Online-Ressource (VIII, 723 S.)

Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive

ISBN: 9783540472186

Serie: Lecture notes in computer science 600

Inhalt: An old-fashioned recipe for real time -- Verifying automata specifications of probabilistic real-time systems -- The theory of timed automata -- Logics and models of real time: A survey -- The state operator in real time process algebra -- Timed process algebras with urgent interactions and a unique powerful binary operator -- Time in state based formal description techniques for distributed systems -- Real-time and the Mu-Calculus (preliminary report) -- Implementing reactive programs on circuits a hardware implementation of LUSTRE -- Semantics and completeness of Duration Calculus -- Timed transition systems -- Compositional verification of real-time systems using extended Hoare triples -- Semantics of reactive systems in abstract time -- Problems, promises and performance: some questions for real-time system specification -- Abstraction in real time process algebra -- (Real) time: A philosophical perspective -- Specification and analysis of resource-bound real-time systems -- Forward and backward simulations for timing-based systems -- Prom timed to hybrid systems -- Coping with implementation dependencies in real-time system verification -- Validating real-time systems by executing logic specifications -- An overview and synthesis on timed process algebras -- From ATP to timed graphs and hybrid systems -- Verification of safety critical systems using TTM/RTTL -- Predicative specification of timed processes -- Putting time into proof outlines -- Timed CSP: Theory and practice -- A specification of the cat and mouse problem -- Layering and action refinement for timed systems.

Inhalt: In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Anmerkung: Literaturangaben

Weitere Ausg.: ISBN 3540555641

Weitere Ausg.: ISBN 9783540555643

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Real-time: theory in practice Berlin : Springer, 1992 ISBN 3540555641

Weitere Ausg.: ISBN 0387555641

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Echtzeitverarbeitung ; Echtzeitsystem ; Konferenzschrift

DOI: 10.1007/BFb0031984

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig