Результаты поиска по runtime verification

Уточнить поисковый запрос

Omni badge Runtime Verification of Information flow

Policy-Based Runtime Verification of Information Flow Control

Информатика, ИТ

LAP LAMBERT Academic Publishing (2011-08-07) - ISBN-13: 978-3-8454-3274-8

79.00 €
Omni badge Simplifying Runtime Verification of Distributed Programs

Ameliorating the State Space Explosion Problem

Информатика

VDM Verlag Dr. Müller (2010-09-15) - ISBN-13: 978-3-639-28371-6

49.00 €
Omni badge Fingerprint Verification

A Fingerprint Verification Algorithm Using the Smallest Minimum Sum of Closest Euclidean Distance

Технология

LAP LAMBERT Academic Publishing (2009-10-05) - ISBN-13: 978-3-8383-1871-4

49.00 €
Omni badge Runtime adaptation of technical systems

An architectural framework for self-configuration and self-improvement at runtime

Информатика

Südwestdeutscher Verlag für Hochschulschriften (2012-02-16) - ISBN-13: 978-3-8381-3133-7

115.90 €
Omni badge Hardware Accelerated Functional Verification

Framework for FPGA-Accelerated Functional Verification

Информатика, ИТ

LAP LAMBERT Academic Publishing (2011-12-02) - ISBN-13: 978-3-8465-5913-0

49.00 €
Omni badge Intelligent Signature Verification and Analysis

Processing, Verification, Description and Analysis

Информатика, ИТ

LAP LAMBERT Academic Publishing (2011-04-01) - ISBN-13: 978-3-8443-1401-4

79.00 €
Omni badge Runtime Intelligence

Business intelligence, Software development process, Application performance management

Управление бизнеса

Chrono Press (2012-01-12) - ISBN-13: 978-620-0-32319-4

29.00 €
Omni badge Windows Runtime

Microsoft, Programming paradigm, C++/CX

Операционные системы, аппликации пользователя

SpellPress (2013-08-14) - ISBN-13: 978-620-1-56255-4

34.00 €
Omni badge Runtime Management for 2D Self Dynamically Reconfigurable Systems

A cost-effective solution for runtime Core Allocation Management in 2D Self Dynamically Reconfigurable Systems

Информатика, ИТ

VDM Verlag Dr. Müller (2009-07-10) - ISBN-13: 978-3-639-17638-4

49.00 €
Omni badge VEasy: a Tool Suite for Teaching Functional Verification

Teaching the principles of Functional Verification in an intuitive way

Компоненты

LAP LAMBERT Academic Publishing (2012-06-27) - ISBN-13: 978-3-659-14332-8

49.00 €
Omni badge Formal Analysis and Verification of Safety Interlock Systems

Formal Specification, Development, and Verification of Safety Interlock Systems: Comparative Case Study

Информатика, ИТ

VDM Verlag Dr. Müller (2008-09-25) - ISBN-13: 978-3-639-08142-8

49.00 €
Omni badge Formal Verification of Communication Protocols for Wireless Networks

A simple and efficient methodology for formal verification of wireless networks communication protocols

Обмен данными, сети

LAP LAMBERT Academic Publishing (2011-10-15) - ISBN-13: 978-3-8465-1560-0

49.00 €
Omni badge Apache Portable Runtime

Emulation, NetWare, Apache MyFaces Trinidad, Apache OFBiz, Apache POI

Информатика, ИТ

Rupt (2012-01-14) - ISBN-13: 978-613-9-00366-2

29.00 €
Omni badge Signature Verification

Verifizierung einer Unterschrift anhand zahlreicher ein- und mehrdimensionalen Merkmalen

Информатика

VDM Verlag Dr. Müller (2011-06-05) - ISBN-13: 978-3-639-36277-0

79.00 €

Рассылка

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING