Automated Technology for Verification and Analysis, Bernd Finkbeiner; Geguang Pu; Lijun Zhang
Автор: Gee James Paul Название: Introduction to Discourse Analysis ISBN: 0415725569 ISBN-13(EAN): 9780415725569 Издательство: Taylor&Francis Рейтинг: Цена: 4224.00 р. Наличие на складе: Поставка под заказ.
Описание: Assuming no prior knowledge of linguistics, An Introduction to Discourse Analysis examines the field and presents James Paul Gee`s unique integrated approach which incorporates both a theory of language-in-use and a method of research.
Автор: Gee James Paul Название: How to Do Discourse Analysis ISBN: 0415725585 ISBN-13(EAN): 9780415725583 Издательство: Taylor&Francis Рейтинг: Цена: 6583.00 р. Наличие на складе: Поставка под заказ.
Описание: How to do Discourse Analysis: A Toolkit is the essential guide to doing discourse analysis, from James Paul Gee, bestselling author of An Introduction to Discourse Analysis: Theory and Method. This second edition includes new examples, especially from digital media, a more user-friendly and accessible layout and a companion website.
Автор: Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino; Название: Automated Technology for Verification and Analysis ISBN: 3540755950 ISBN-13(EAN): 9783540755951 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.
Автор: Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Mahesh Название: Automated Technology for Verification and Analysis ISBN: 354088386X ISBN-13(EAN): 9783540883869 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.
Автор: Zhiming Liu; Anders P. Ravn Название: Automated Technology for Verification and Analysis ISBN: 3642047602 ISBN-13(EAN): 9783642047602 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.
Описание: Career Award in Information and Communication Technology: Foundation Level accompanies the Cambridge International Examinations (CIE) syllabus for the Career Award in Information and Communication Technology at Foundation Level. It closely matches the content of the syllabus, and has been endorsed by CIE for use with its examination.
The author,an information technology specialist, writes in a lively, accessible style and uses a step-by-step approach to introduce students to the basic concepts and skills required.
Автор: SAPRU, R. K. Название: Public Policy: Art and Craft of Policy Analysis - 2/E ISBN: 8120344383 ISBN-13(EAN): 9788120344389 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 3188.00 р. Наличие на складе: Нет в наличии.
Описание: Public policy has assumed considerable importance in response to the complexity of economic downturns, social upheavals, political crises, institutional weaknesses and technology. It is concerned not only with the description but also with the developing scientific knowledge about the forces shaping public policy.This textbook, now in its second edition, provides an in-depth study of the various approaches for policy formulation, implementation and evaluation. It addresses issues in policy analysis, and explains the forces that influence the functioning of executive, legislature, judiciary, civil society and administration. The book reviews and evaluates the public policy literature.It is primarily intended for postgraduate students of Political Science and Public Administration for their courses in Public Policy and Policy Analysis. It will be equally useful for policymakers, planners and bureaucrats concerned with policy management.
Автор: Johnson, Tony Patrick, David G. Stokes, Christopher W. Wildgoose, David G. Wood, Duncan J. Название: Basics of Dental Technology: A Step by Step Approach ISBN: 1118886216 ISBN-13(EAN): 9781118886212 Издательство: Wiley Рейтинг: Цена: 6328.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Now available in a second edition, Basics of Dental Technology is a complete reference for the current techniques and materials used in dental technology.
Автор: Dang Van Hung; Mizuhito Ogawa Название: Automated Technology for Verification and Analysis ISBN: 3319024434 ISBN-13(EAN): 9783319024431 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Papers.-Acceleration for Petri Nets.- Automated Verification and Strategy Synthesis for Probabilistic Systems.- SMT-Based Software Model Checking: Explicit Scheduler, Symbolic Threads.- Regular Papers.-Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.- Improved Upper and Lower Bounds for B]uchi Disambiguation.- Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.- An Automatic Technique for Checking the Simulation of Timed Systems.- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.- Kleene Algebras and Semimodules for Energy Problems.- Looking at Mean-Payoff and Total-Payoff through Windows.- Weighted Safety.- A Framework for Ranking Vacuity Results.- Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.- Verification of a Dynamic Management Protocol for Cloud Applications.- Compact Symbolic Execution.- Multi-threaded Explicit State Space Exploration with State Reconstruction.- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.- Integrating Policy Iterations in Abstract Interpreters.- Interpolation Properties and SAT-Based Model Checking.- Analysis of Message Passing Programs Using SMT-Solvers.- An Expressive Framework for Verifying Deadlock Freedom.- Expected Termination Time in BPA Games.- Precise Cost Analysis via Local Reasoning.- Control Flow Refinement and Symbolic Computation of Average Case Bound.- Termination and Cost Analysis of Loops with Concurrent Interleavings.- Linear Ranking for Linear Lasso Programs.- Merge and Conquer: State Merging in Parametric Timed Automata.- An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.- Pushdown Systems with Stack Manipulation.- Robustness Analysis of String Transducers.- Tool Papers.- Manipulating LTL Formulas Using Spot 1.0.- Rabinizer 2: Small Deterministic Automata for LTL\GU.- LTL Model Checking with Neco.- Solving Parity Games on the GPU.- PyEcdar: Towards Open Source Implementation for Timed Systems.- CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.- CELL: A Compositional Verification Framework.- VCS: A Verifier for Component-Based Systems.- SmacC: A Retargetable Symbolic Execution Engine.- MoTraS: A Tool for Modal Transition Systems and Their Extensions.- Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs.- Short Papers.- SAT Based Verification of Network Data Planes.- A Theory for Control-Flow Graph Exploration.- The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
Автор: Artho Название: Automated Technology for Verification and Analysis ISBN: 3319465198 ISBN-13(EAN): 9783319465197 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
Автор: Franck Cassez; Jean-Francois Raskin Название: Automated Technology for Verification and Analysis ISBN: 3319119354 ISBN-13(EAN): 9783319119359 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions.
Автор: Deepak D`Souza; K. Narayan Kumar Название: Automated Technology for Verification and Analysis ISBN: 3319681664 ISBN-13(EAN): 9783319681665 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
