Idioma: Alemán
Publicado por Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 18,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Alemán
Publicado por Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 21,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Regensburg, Mittelbyerische Druckerei- und Verlagsgesellschaft, Ohne Jahr.
Librería: Antiquariat Klaus Altschäfl, Pfarrkirchen, Alemania
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoca. 50 S. Mit Illustrationen. 8°. Orig.Broschur Gut erhalten. Selten.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,77
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 64,87
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,46
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,66
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 58,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 74,34
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 77,63
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 476.
Idioma: Alemán
Publicado por Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 26,81
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,33
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 340 pages. 9.25x6.10x0.87 inches. In Stock.
Idioma: Alemán
Publicado por Spektrum Akademischer Verlag, 2008
ISBN 10: 3827420342 ISBN 13: 9783827420343
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 31,96
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 34,95
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing Apr 2017, 2017
ISBN 10: 3319574175 ISBN 13: 9783319574172
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing Apr 2014, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319574175 ISBN 13: 9783319574172
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Gerald Wollermann, Bad Vilbel, Alemania
EUR 6,97
Cantidad disponible: 1 disponibles
Añadir al carritoGebundene Ausgabe. Condición: 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.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 115,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 106,30
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 136,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Alemán
Publicado por Universitätsverlag Winter, Heidelberg, 2011
ISBN 10: 3825356671 ISBN 13: 9783825356675
Librería: INFINIBU KG, Neuss, Alemania
EUR 25,44
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: 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.
Idioma: Inglés
Publicado por Books On Demand Dez 2009, 2009
ISBN 10: 3839125103 ISBN 13: 9783839125106
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 34,95
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 216 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing Apr 2017, 2017
ISBN 10: 3319574175 ISBN 13: 9783319574172
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 340 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing Apr 2014, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 476 pp. Englisch.