Mousavi mohammad reza (28 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. pp. 392 65 Illus.

Hardcover. First Edition, First Printing. Small Quarto, xii, xvi, 376 pages. In Very Good condition. Bound in the publisher's black cloth bearing blue and white lettering to the spine. Boards have slight wear including few soiling scuffs and minor edge wear. Text block has very slight wear. Illustrated. First edition, first printing. NOTE: Shelved in Locked Annex, Quarto and Folio Case. Oversized book(s). Additional postage necessary for international/expedited orders. Economy International shipping unavailable due to size/weight restrictions. For international/expedited customers, please inquire for rates. 1411340. FP New Rockville Stock. …

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 156 pages. 9.25x6.10x0.36 inches. In Stock.

Paperback. Zustand: Brand New. 148 pages. 9.25x6.10x0.34 inches. In Stock.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. revised edition. 140 pages. 9.25x6.10x0.32 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.…

Paperback. Zustand: Brand New. 284 pages. 9.25x6.10x0.64 inches. In Stock.

Paperback. Zustand: Brand New. 392 pages. 10.00x8.00x0.98 inches. In Stock.

Paperback. Zustand: Brand New. 196 pages. 9.00x6.00x0.50 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Cyber Physical Systems. Design, Modeling, and Evaluation | 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings | Christian Berger (u. a.) | Taschenbuch | Lecture Notes in Computer Science | vii | Englisch | 2015 | Springer | EAN 9783319251400 | 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. Topics in Theoretical Computer Science | The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers | Mohammed Taghi Hajiaghayi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2016 | Springer | EAN 9783319286778 | 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. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of Mälardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation.Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume.…

Paperback. Zustand: Brand New. 300 pages. 9.26x6.11x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Rebeca for Actor Analysis in Action | Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday | Edward A. Lee (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783031851339 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.…