Language: German
Published by Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: German
Published by Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Regensburg, Mittelbyerische Druckerei- und Verlagsgesellschaft, Ohne Jahr.
Seller: Antiquariat Klaus Altschäfl, Pfarrkirchen, Germany
ca. 50 S. Mit Illustrationen. 8°. Orig.Broschur Gut erhalten. Selten.
Condition: New.
PF. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.30
Quantity: Over 20 available
Add to basketCondition: New. In.
PF. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.62
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Condition: New. pp. 476.
Language: German
Published by Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Brand New. 340 pages. 9.25x6.10x0.87 inches. In Stock.
Condition: New.
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems --- heterogeneous systems characterised by the interaction of discrete and continuous dynamics --- are used to model safety critical systems. They have found widespread applications ranging from control systems to biological processes. This book aims at a compact treatment of verification tasks. It presents fundamental algebraic methods for the analysis of hybrid systems. Advantages that accrue by an algebraic approach are conciseness, clarity and simplicity; in particular with respect to (computer-aided) calculation rules.The suitability and the relevance of the theoryis proved by first case studies.
Language: German
Published by Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Language: English
Published by Springer International Publishing, Springer International Publishing Apr 2017, 2017
ISBN 10: 3319574175 ISBN 13: 9783319574172
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer International Publishing Apr 2014, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319574175 ISBN 13: 9783319574172
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
Seller: Gerald Wollermann, Bad Vilbel, Germany
Gebundene Ausgabe. Condition: Gut. 1. 192 S. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 278.
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Like New. Like New. book.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Language: German
Published by Universitätsverlag Winter, 2016
ISBN 10: 3825364291 ISBN 13: 9783825364298
Seller: SKULIMA Wiss. Versandbuchhandlung, Westhofen, Germany
Condition: Neu. Raum und soziopolitische Ordnungen im Altertum. Hrsg. von Sebastian Schmidt-Hofner, Claus Ambos und Peter Eich im Auftrag der Heidelberger Akademie der Wissenschaften, Akademie der Wissenschaften des Landes Baden-Württemberg. Raumkonstruktionen und -wahrnehmungen bilden soziale Ordnungen ab und tragen zu ihrer Reproduktion bei. 13 Beiträge (sechs davon englisch) verfolgen diese Perspektive an Beispielen verschiedener Kulturen des mediterranen Altertums. Der Band gliedert sich in vier Themenfelder: 1. Gebauter Raum und soziopolitische Ordnung; 2. Territoriale Raumkonzepte und politische Ordnung; 3. Räume des Rituals und des Sakralen; 4. Raum-Bilder und Ordnungsdiskurse. Der 'spatial turn' hat den Raum mit Nachdruck in die sozial- und kulturwissenschaftliche Debatte zurückgeholt und deutlich gemacht, dass Raum mehr als bloße Umgebung sozialer Prozesse ist: Raum ist vielmehr ein Produkt sozialer Handlungen und Sinnzuschreibungen, das natürliche Gegebenheiten und menschliche Artefakte in Relation setzt und mit sozialer Bedeutung versieht. Raumkonstruktionen und -wahrnehmungen bilden daher stets soziale Ordnungen ab, sie tragen aber zugleich zu ihrer Reproduktion bei. Der Begriff der Raum-Ordnung bringt diesen Doppelsinn zum Ausdruck. Auch die Altertumswissenschaften haben im Zuge des 'spatial turn' verstärkt über diese Zusammenhänge nachgedacht. Dieser Band stellt ausgewählte Zugänge und Beispiele aus dieser Debatte anhand verschiedener Kulturen des mediterranen Altertums vor. Er will damit insbesondere anderen kulturwissenschaftlichen Disziplinen einen Einblick in den Debattenstand in den Altertumswissenschaften geben. Die Beiträge gehen zurück auf die Tagung "Normative Raumordnungen in den Kulturen des Altertums", die vom 9. bis 11. März 2011 in der Heidelberger Akademie der Wissenschaften stattfand. -- Aus dem Inhalt: Marc Redepenning: Raum. Einige Bemerkungen zur Komplexität von 'Raum' aus Sicht der Sozialgeographie. - Rachele Dubbini: The Organisation of Public Spaces in the Emergent 'polis'. The Example of Archaic Corinth. - Noach Vander Beken: Performance, Architecture, and Community Building in Minoan Crete. A Diachronic Perspective on the Pre-, Proto-, and Neopalatial Periods. - Ulrich Thaler: Eventful Architecture. Activating Potentials for Movement and Segregation in Mycenaean Palaces. - Camille Lecompte: Urbanisierung, ländliche Siedlungen und die Entstehung der Staatlichkeit. Das Territorium der sumerischen Stadt im 4. und 3. Jahrtausend. - Hervé Reculeau: Claiming Land and People. Conceptions of Power in Syria and Upper Mesopotamia During the 2nd Millennium BCE. - Filippo Carlà-Uhink: Borders, Frontiers and the Spatial Concepts of Roman Rule between Republic and Empire. - Peter Eich: Raum als Strukturkategorie imperialer Administration. Provinzteilungen und Provinzzusammenschlüsse im frühen 4. Jahrhundert. - Claus Ambos: Heiligtümer aus Mehl und Rohr. Zur rituellen Konstruktion des Raumes im Alten Orient. - Gebhard Selz: Raum, Raumordnung und sozio-politische Identitäten im frühen Mesopotamien. - John Noël Dillon: Roman and Non-Roman Religious Spaces in Cicero's 'Second Verrine Oration'. - Sebastian Schmidt-Hofner: Der Ölbaum-Prozess, oder: Attika und die Ordnung der Polis im klassischen Athen. - Mihály-Loránd Dészpa: Die Grammatik des Reiches. Imaginierte Räume und imperiale Wirklichkeit bei Tacitus. 441 Seiten mit 16 Farb- und 22 s/w-Abb., broschiert (Heidelberger Akademie der Wissenschaften. Akademiekonferenzen; Band 18/Universitätsverlag Winter 2016). Früher EUR 48,00. Gewicht: 673 g - Softcover/Taschenbuch.