Suchergebnisse für runtime verification

Suche verfeinern

Omni badge Runtime Verification of Information flow

Policy-Based Runtime Verification of Information Flow Control

Informatik, EDV

LAP LAMBERT Academic Publishing (07.08.2011) - ISBN-13: 978-3-8454-3274-8

79,00 €
Omni badge Simplifying Runtime Verification of Distributed Programs

Ameliorating the State Space Explosion Problem

Informatik

VDM Verlag Dr. Müller (15.09.2010) - 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

Technik

LAP LAMBERT Academic Publishing (05.10.2009) - 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

Informatik

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

115,90 €
Omni badge Hardware Accelerated Functional Verification

Framework for FPGA-Accelerated Functional Verification

Informatik, EDV

LAP LAMBERT Academic Publishing (02.12.2011) - ISBN-13: 978-3-8465-5913-0

49,00 €
Omni badge Intelligent Signature Verification and Analysis

Processing, Verification, Description and Analysis

Informatik, EDV

LAP LAMBERT Academic Publishing (01.04.2011) - ISBN-13: 978-3-8443-1401-4

79,00 €
Omni badge Runtime Intelligence

Business intelligence, Software development process, Application performance management

Betriebswirtschaft

Chrono Press (12.01.2012) - ISBN-13: 978-620-0-32319-4

29,00 €
Omni badge Windows Runtime

Microsoft, Programming paradigm, C++/CX

Betriebssysteme, Benutzeroberflächen

SpellPress (14.08.2013) - 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

Informatik, EDV

VDM Verlag Dr. Müller (10.07.2009) - 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

Hardware

LAP LAMBERT Academic Publishing (27.06.2012) - 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

Informatik, EDV

VDM Verlag Dr. Müller (25.09.2008) - 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

Datenkommunikation, Netzwerke

LAP LAMBERT Academic Publishing (15.10.2011) - ISBN-13: 978-3-8465-1560-0

49,00 €
Omni badge Apache Portable Runtime

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

Informatik, EDV

Rupt (14.01.2012) - ISBN-13: 978-613-9-00366-2

29,00 €
Omni badge Signature Verification

Verifizierung einer Unterschrift anhand zahlreicher ein- und mehrdimensionalen Merkmalen

Informatik

VDM Verlag Dr. Müller (05.06.2011) - 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 Überweisung

  0 Produkte im Warenkorb
Warenkorb bearbeiten
Loading frontend
LOADING