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

1101
Published 2002
Springer Netherlands
Table of Contents: “... Theory of Contextors -- 3. WSXL: A Web Services Language for Integrating End-User Experience...”
Cover Image
Read Now

1102
Published 1994
Springer London
Table of Contents: “... Representation — Between the Musician and the Computer -- Section III: Music Theory and Computational Models...”
Cover Image
Read Now

1103
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Language Dedicated to Smart Cards -- Verification of Real-Time Designs:Combining Scheduling Theory...”
Cover Image
Read Now

1104
Published 1974
Springer Berlin Heidelberg
Table of Contents: “... theories -- A formal approximation theory of semantic data types -- Some features of a language for a proof...”
Cover Image
Read Now

1105
Published 2020
Springer International Publishing
Table of Contents: “... of Formal Requirements from Structured Natural Language -- Using Eye Tracking Data to Improve Requirements...”
Cover Image
Read Now

1106
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... expressions -- Semantic definitions in REFAL and automatic production of compilers -- On the formal definition...”
Cover Image
Read Now

1107
Published 1996
Springer US
Table of Contents: “... applications using simulation -- 5 A workstation’s communication performance benchmark -- 6 Automatic checking...”
Cover Image
Read Now

1108
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Languages to Define Operational Semantics of Modelled Languages -- Automatic Generation of Integrated Formal...”
Cover Image
Read Now

1109
by Hedblom, Maria M.
Published 2020
Springer International Publishing
Table of Contents: “... of Theories -- Introducing ISLFOL: A Logical Language for Image Schemas -- Modelling Conceptualisations...”
Cover Image
Read Now

1110
Published 2014
Springer International Publishing
Table of Contents: “...Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation...”
Cover Image
Read Now

1111
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Automated Reasoning -- Abduction with Negation as Failure for Active and Reactive Rules -- An Implementation...”
Cover Image
Read Now

1112
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... Foraging Tasks in an Initially Unknown Environment -- Formal-Language-Oriented Foundation of Dynamics...”
Cover Image
Read Now

1113
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...-Vector Encoding of Tree Hierarchies -- Theory and Formal Techniques -- Semantics-Based Composition...”
Cover Image
Read Now

1114
Published 2018
Springer International Publishing
Table of Contents: “... and Data Augmentation -- Online LDA-Based Language Model Adaptation -- On the Extension of the Formal...”
Cover Image
Read Now

1115
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... theories -- Epistemic conditional logics -- A Hybrid Formal Theory of plan recognition and its...”
Cover Image
Read Now

1116
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Harmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed...”
Cover Image
Read Now

1117
Published 2001
Physica
Table of Contents: “... Linguistic Variables -- A Formal Theory of Fuzzy Natural Language Quantification and its Role in Granular...”
Cover Image
Read Now

1118
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Cover Image
Read Now

1119
by Huffmire, Ted, Irvine, Cynthia, Nguyen, Thuy D., Levin, Timothy
Published 2010
Springer Netherlands
“... in the fields of computer security theory, languages, compilers, and hardware. The net effect is a diverse set...”
Cover Image
Read Now

1120
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...- A Specification and Scripting Language for Binary Data -- Memoization in Type-Directed Partial...”