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

981
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... with Query Languages and Rules -- Contributed Papers -- Memory-Aware Frequent k-Itemset Mining -- Constraint...”
Cover Image
Read Now

982
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Social Simulation in Economic Theory -- Modelling and Simulation of Social Behaviour -- A Model for HIV...”
Cover Image
Read Now

983
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... - Languages and Verification -- Towards Automated Proof of Fail-Safe Behavior -- Verifying a time-triggered...”
Cover Image
Read Now

984
Published 2017
Springer Nature Singapore
Table of Contents: “... And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior...”
Cover Image
Read Now

985
Published 1975
Springer Berlin Heidelberg
Table of Contents: “...On some lattice-theoretic properties of generable languages -- On some formal grammars generating...”
Cover Image
Read Now

986
Published 2018
Springer International Publishing
Table of Contents: “... -- Part III Education and Technology -- Internet-Based Education: A New Milestone for Formal Language...”
Cover Image
Read Now

987
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... theoretical view -- Construction and reuse of formal program developments -- A theory of program modifications...”
Cover Image
Read Now

988
Published 2018
Springer International Publishing
Table of Contents: “... to Defeat an Adaptive Adversary -- Using Random String Classification to Filter and Annotate Automated...”
Cover Image
Read Now

989
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of deferred substitution and immediate substitution semantics for Logic Programs -- Towards a formal theory...”
Cover Image
Read Now

990
by Uspensky, Vladimir, Semenov, A.L.
Published 1993
Springer Netherlands
Table of Contents: “...Notation and Terminology -- 1.0 Preliminary notions of the theory of algorithms: constructive...”
Cover Image
Read Now

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

992
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Object Utopia -- Automating the evolution of object-oriented systems -- Using C++ templates...”
Cover Image
Read Now

993
by Kumar, Ratnesh, Garg, Vijay K.
Published 1995
Springer US
Table of Contents: “...1 Introduction to Formal Language Theory -- 1.1 Introduction -- 1.2 Languages -- 1.3 State Machines...”
Cover Image
Read Now

994
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Studies -- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal...”
Cover Image
Read Now

995
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Software Component Matching -- A Description Language for Composable Components -- A Logical Basis...”
Cover Image
Read Now

996
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of an Automated Integrated Testing Environment for CTI Systems -- Formal Methods -- Semantics of Architectural...”
Cover Image
Read Now

997
Published 2023
Springer Nature Switzerland
Table of Contents: “... Theory of Majority Illusions -- Qualitative Uncertainty Reasoning in AgentSpeak -- JaKtA: BDI agent...”
Cover Image
Read Now

998
Published 2021
Springer International Publishing
Table of Contents: “... -- Exploring Graph-Based Neural Networks for Automatic Brain Tumor Segmentation -- STDI-Net: Spatial-Temporal...”
Cover Image
Read Now

999
by Schroeder, Manfred R.
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Speech Dialogue Systems and Natural Language Processing -- 5. Speech Compression -- 6. Speech...”
Cover Image
Read Now

1000
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... on hypercube connected SIMD machines -- A heuristic for channel routing -- A language for the p-ary trees...”