Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Cover Image
Read Now

1
Published 2023
Springer Nature Switzerland
Table of Contents: “... Verification With Tight Bounds -- Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test...”
Cover Image
Read Now

3
Published 2022
Springer International Publishing
Table of Contents: “... -- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System...”