Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B (PDF) < الرياضيات < علوم < آخر الأخبار

Didier Bert & Jonathan P. Bowen
ZB 2002: Formal Specification and Development in Z and B [PDF ebook]
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

الدعم

غلاف Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B (PDF)

€57.99

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل PDF ● ISBN 9783540456483 ● محرر Didier Bert & Jonathan P. Bowen ● الناشر Springer Berlin Heidelberg ● نشرت 2003 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6318720 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Didier Bert Jonathan P. Bowen Martin C. Henson Ken Robinson

48٬816 كتب إلكترونية في هذه الفئة

غلاف Jeffrey Holt: Linear Algebra

Jeffrey Holt: Linear Algebra

Now in its 2nd edition, Linear Algebra with Applications blends computational and conceptual topics to prepare students for the rigors of conceptual thinking in an abstract setting. The early treatme …

غلاف David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

غلاف Peter Sprent: Data Driven Statistical Methods

Peter Sprent: Data Driven Statistical Methods

Calculations once prohibitively time-consuming can be completed in microseconds by modern computers. This has resulted in dramatic shifts in emphasis in applied statistics. Not only has it freed us f …

غلاف Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

From the Reviews ‘[This book] contains an excellent blend of both Shiny-specific topics … and practical advice from software development that fits in nicely with Shiny apps. You will find many nugget …

غلاف Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. T …

غلاف Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

غلاف Bor-Sen (National Tsing Hua University, Taiwan) Chen: Multi-Objective Optimization System Designs and Their Applications

Bor-Sen (National Tsing Hua University, Taiwan) Chen: Multi-Objective Optimization System Designs and Their Applications

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

غلاف Harold H. Schobert: Energy and Society

Harold H. Schobert: Energy and Society

Energy and Society: An Introduction, Second Edition provides readers with a detailed introduction to energy sources and energy utilization. This book presents an overview of alternative energy issues …

غلاف Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

This practical book presents fundamental concepts and issues in computer modeling and simulation (M&S) in a simple and practical way for engineers, scientists, and managers who wish to apply simulati …

غلاف Graham (Defence Science and Technology Group (DSTG), Australia) Weinberg: Radar Detection Theory of Sliding Window Processes

Graham (Defence Science and Technology Group (DSTG), Australia) Weinberg: Radar Detection Theory of Sliding Window Processes

Constant false alarm rate detection processes are important in radar signal processing. Such detection strategies are used as an alternative to optimal Neyman-Pearson based decision rules, since they …

الصفحة التالية >>>