peter höfner (13 Ergebnisse)

ca. 50 S. Mit Illustrationen. 8°. Orig.Broschur Gut erhalten. Selten.

Paperback. Zustand: Brand New. 340 pages. 9.25x6.10x0.87 inches. In Stock.

Zustand: New.

Buch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: Neu. Relational and Algebraic Methods in Computer Science | 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings | Peter Höfner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2017 | Springer | EAN 9783319574172 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Relational and Algebraic Methods in Computer Science | 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings | Peter Höfner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319062501 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Softcover. Zustand: Sehr gut. Eine Sammlung von Abhandlungen zu zentralen Aspekten der politischen Strukturen und Machtverhältnisse in der Spätantike und frühen Neuzeit, die sich mit der Entstehung von Bürokratien, Machtgewinn städtischer Strukturen und religiösen sowie politischen Allianzen befasst. Zustand: Einband mit geringfügigen Gebrauchsspuren, insgesamt SEHR GUTER Zustand! Stichworte: Genres: Geschichte, Politik, Kulturwissenschaft; Schlagworte: Staatlichkeit, Spätantike, Frühe Neuzeit, Bürokratie, Machtgewinn, Religion, Städtische Strukturen, Allianzen, Elitenintegration, Bevölkerungspolitik. 428 Seiten Deutsch 644g.

Zustand: New.

Zustand: Good. Envoi rapide proche du très bon état intérieur propre. 4x23x16cm. 1971. Cartonné. 2 volume(s). 686 pages. Good.