209 results found for "petrification"

Automated Analysis of Virtual Prototypes at the Electronic System Level

Mehran Goli, Rolf Drechsler

The Weeping Rock

B. Baert

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Computer-Architektur: Modellierung, Entwicklung und Verifikation mit Verilog (Grundlagen der Elektro- und Informationstechnik) (German Edition

Karl Stroetmann

Petri Nets

Michel Diaz

Machine Learning Applications in Electronic Design Automation

Haoxing Ren

Branching Programs and Binary Decision Diagrams

Ingo Wegener

Indian Chronology Solar, Lunar and Planetary

Swamikannu L.D. Pillai

Safescan 75 LED Geldscheinprüfgerät mit ultrastarkem UV- & Weißlicht - Falschgeldprüfgerät für Banknoten, Kreditkarten & Ausweise - Geldprüfer mit dreifacher Erkennung - Geldprüfmaschine

Software Engineering and Formal Methods

Rocco De Nicola

Airborne Electronic Hardware Design Assurance

Randall Fulton, Roy Vandermolen

Safescan 155-S — Automatischer Falschgelddetektor, der Banknoten an vier Positionen mit einer Genauigkeit von 100% verifiziert — Für mehrere Währungen, 112-0668, 26.6 x 20.6 x 10 cm

Wind Turbine System Design

Safescan 155-S Automatic Counterfeit Money Detector that Quickly Verifies Banknotes - Money Machine with 7-Point Detection - 100 Percentage Accurate Money Checker Machine

The Fact Checker

Austin Kelley

The Role Of Facial And Body Motion For The Recognition Of Identity

Pilz, Karin

Steel Connection Design by Inelastic Analysis

Frantisek Wald, Halil Sezen, Mark D. Denavit, Ali Nassiri, Mustafa Mahamid, Martin Vild

Advanced UVM

Brian Hunter

System Installation And Inspection 57104 - En2

Nccer

Trust Primo Smart ID Card Reader, DNI, FIPS 201, FIPS TAA and ISO 7816 Class A, B, C Compliant, 100cm Cable, Spanish/Portuguese/Italian, Secure Login, USB Card Reader Compatible with Windows/Mac

Statistical Methods in the Atmospheric Sciences

Daniel S. Wilks

Functional Safety for Embedded Systems

Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li

Imaging Satellites Task Planning

Yongming He, Yingwu Chen

In Pursuit of Proof

Tarangini Sriraman

Design of Steel Plated Structures with Finite Elements

ECCS - European Convention for Constructional Steelwork

Coding and Cryptography

Natasa Zivic

Functional Safety for Embedded Systems

Keqin Li, Renfa Li, Guoqi Xie, Kenli Li, Yawen Zhang

Revision Total Hip And Knee Arthroplasty

Berry, Daniel J., Trousdale, Robert T, Dennis, Douglas A., Paprosky, Wayne G.

Portfolio Guidance for Veterinary Nurses

A Guide to Graduate Programs in Counseling

Suzanne M. Dugger

Quality of Information and Communications Technology

Antonio Vallecillo

Discrete Mathematics for Computer Science

Pomde N.P

Design Automation for Field-coupled Nanotechnologies

Robert Wille, Frank Sill Torres, Rolf Drechsler, Marcel Walter

Ad Hoc Networks and Tools for IT

Wei Bao

Real or Fake

Joe Nickell