Arama sonuçarı runtime verification

Derin arama

Omni badge Runtime Verification of Information flow

Policy-Based Runtime Verification of Information Flow Control

Bilişim, BT

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

Bilişim

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

Tekmoloji

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

Bilişim

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

Bilişim, BT

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

Bilişim, BT

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

İş yönetimi

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

29.00 €
Omni badge Windows Runtime

Microsoft, Programming paradigm, C++/CX

İşletim sistemleri, kullanıcı arayüzleri

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

Bilişim, BT

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

Donanım

LAP LAMBERT Academic Publishing (2012-06-27) - ISBN-13: 978-3-659-14332-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

Veri iletişimi, ağlar

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

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

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

Bilişim, BT

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

49.00 €
Omni badge Apache Portable Runtime

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

Bilişim, BT

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

29.00 €
Omni badge Speech Verification Bilişim, BT

Betascript Publishing (2010-08-20) - ISBN-13: 978-613-1-38286-4

34.00 €
Omni badge Signature Verification

Verifizierung einer Unterschrift anhand zahlreicher ein- und mehrdimensionalen Merkmalen

Bilişim

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::ach Adyen::unionpay Adyen::paypal Paypal Banka Havalesi

  Alışveriş sepetinde 0 ürün var
Sepeti yenile
Loading frontend
LOADING