Osman hasan (23 Ergebnisse)

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. Editors: Translator: 356 pages.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models.…

Zustand: New.

Paperback. Zustand: Brand New. 152 pages. 9.25x6.10x0.35 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 253 pages. 9.25x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 90 pages. 9.25x6.10x0.19 inches. In Stock.

Zustand: New. Editors: Translator: 320 pages.

Kartoniert / Broschiert. Zustand: New. Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a signifi.

Paperback. Zustand: Brand New. 351 pages. 9.30x6.20x0.90 inches. In Stock.

Taschenbuch. Zustand: Neu. Formal Techniques for Safety-Critical Systems | 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers | Osman Hasan (u. a.) | Taschenbuch | Communications in Computer and Information Science | viii | Englisch | 2020 | Springer | EAN 9783030469016 | 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. Probabilistic Analysis using Theorem Proving | A Higher-order Logic Based Approach | Osman Hasan | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783639094725 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu. …

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 268 | Sprache: Englisch | Produktart: Bücher | Although the computing demands of real-time signal processing and control applications are increasing rapidly, parallel processors permit several instructions to be dealt with simultaneously so that the "real-time" needed is manageable. This book introduces the advantages of this strategy and details how to use parallel processing to deal with common signal processing and control algorithms. It emphasises the relationship between the computing requirements of algorithms and the appropriate choice of architectures, while demonstrating how to identify processor capabilities and how to exploit them to the fullest. The text includes examples and end-of-chapter exercises to facilitate self- and group study and case studies to put theoretical concepts into a practical context. For advanced students in parallel computing, control and signal processing disciplines, it is an invaluable tool in learning to get the most from their computer systems.…

Zustand: New. Editors: Translator: 288 pages.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.…

Zustand: New. In English.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: As New. THIS IS NOT AN ORIGINAL COPY. IT IS A PHOTOCOPY OF THE TITLE, BOUND IN BOOK FORMAT Editors: Translator: 112 pages.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Zustand: Neu. Sindrom Alisy w strane chudes: osnowano na real'noj istorii | Obzor nechasto izuchaemogo i redko obsuzhdaemogo sindroma - s cel'ü priwlech' k nemu neobhodimoe wnimanie | Hasan Osman | Taschenbuch | Russisch | 2022 | Sciencia Scripts | EAN 9786204924175 | Verantwortliche Person für die EU: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | Anbieter: preigu.…

orig. wrappers. Zustand: Minor rubbing. VG. 19x13cm, 252 pp. Text in Turkish & Laz. "Notes on Laz Culture". Contains 22 papers on Laz folklore, legends, oral literature, etc.