Formal Specification Level Concepts, Methods, And Algorithms 3396

Rolf Drechsler (u. A.) | Formal Specification Level | Buch | Englisch

A Faster Gr(1) Synthesis Algorithm From A Formal Specification To A

Formal Description Techniques And Protocol Specification, Testing And

Instance-specific Algorithm Configuration 3396

Foundations Of Algebraic Specification And Formal Software Development

Measuring Scholarly Impact Methods And Practice 3396

Health Informatics Data Analysis Methods And Examples 3396

Partial Order Concepts In Applied Sciences 3396

Digital Image Steganography Concepts, Algorithms, And Applications

Brain Storm Optimization Algorithms Concepts, Principles And

Topics In Computing Similarity And Distance Concepts, Algorithms,

Leveraging Applications Of Formal Methods, Verification And

Acuros Xb (axb) Algorithm Specifications 5512

Intelligent Home Energy Management Systems | Concepts, Algorithms And

Context-aware And Attentional Visual Tracking Concepts, Algorithms,