81
by Mainzer, Klaus, Kahle, Reinhard
Published 2024
Springer Berlin Heidelberg
... Academy of Sciences and Arts. His research focuses on complexity and computability theory, foundations...

82
Published 2012
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

83
Published 2005
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

84
Published 2017
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

85
by Shadbolt, Jimmy
Published 2002
Springer London
Table of Contents: ... Markets -- 4 Bond Pricing and the Yield Curve -- 5 Data Selection -- II Theory of Prediction Modelling...

86
Published 2023
Springer Nature Switzerland
Subjects: ...Formal Languages and Automata Theory...

87
Published 2012
Springer Berlin Heidelberg
... on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a...

88
Published 2015
Springer International Publishing
Table of Contents: ... and knowledge management -- Bioinformatics and computational biology -- Evidence theory and its application...

89
Published 2017
Springer International Publishing
Subjects: ...Theory of Computation...

90
Published 2014
Springer International Publishing
Subjects: ...Theory of Computation...

91
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... with Linear Integer Arithmetic -- Encoding Queues in Satisfiability Modulo Theories Based Bounded Model...

92
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...: Comparison of Implementations for Krohn-Rhodes Theory -- Does Hausdorff Dimension Measure Texture Complexity...

93
by Moon, Inkyu
Published 2023
Wiley
Table of Contents: ... optical imaging -- 2.1 Monochromatic fields and irradiance -- 2.2 Analytic expression for Fresnel...

94
by Hardy, Yorick, Steeb, Willi H.
Published 2001
Birkhäuser
Table of Contents: ... -- 21 Quantum Algorithms -- 22 Quantum Information Theory -- 23 Quantum Error Detection and Correction...

95
Published 2024
Springer Nature Switzerland
Table of Contents: ... -- Machine learning -- Symbolic and algebraic manipulation -- Simulation theory -- Robots -- Evolutionary...

96
Published 2011
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

97
Published 2024
Springer Nature Switzerland
Table of Contents: ...Complexity and Database Theory -- Functional Dependencies with Predicates: What Makes the g3-error...

98
Published 2021
Springer International Publishing
Table of Contents: ... Cognitively-Inspired Approach -- Theory on Conceptual Structures -- Improving the Performance of Lindig-style...

99
Published 2016
Springer International Publishing
Subjects: ...Theory of Computation...

100
Published 2021
Springer International Publishing
Subjects: ...Theory of Computation...