Search alternatives:
theory computational » chemistry computational
Cover Image
Read Now

201
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Probabilistic Timed Automata -- A Computational Proof of Complexity of Some Restricted Counting Problems...”
Cover Image
Read Now

202
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... to Effective Probability Theory -- Index Sets and Universal Numberings -- Ordinal Computability -- A Gandy...”
Cover Image
Read Now

203
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...On Models of a Nondeterministic Computation -- New Plain-Exponential Time Classes for Graph...”
Cover Image
Read Now

204
Published 2011
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”
Cover Image
Read Now

205
Published 2011
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”
Cover Image
Read Now

206
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Computability -- complexity -- algorithms -- present current research...”
Cover Image
Read Now

207
Published 1980
Springer
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

208
by Sanderson, John G.
Published 1980
Springer Berlin Heidelberg
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

209
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Theories -- Computers in the design and analysis of HEP experiments...”
Cover Image
Read Now

210
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Wide Steel Strip Using Computational Intelligence -- Optimum Work Roll Profile Selection in the Hot...”
Cover Image
Read Now

211
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Chaining syllogism applied to fuzzy IF-THEN rules and rule bases -- Computational properties of fuzzy logic...”
Cover Image
Read Now

212
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2...”
Cover Image
Read Now

213
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... theory in a computer sclentist perspective -- An algebraic view of interleaving and distributed...”
Cover Image
Read Now

214
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... and Marden constants -- On some analytic and computational aspects of two dimensional vortex sheet evolution...”
Cover Image
Read Now

215
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...The mathematics of set predicates in Prolog -- Some connections between set theory and computer...”
Cover Image
Read Now

216
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Categories and effective computations -- Polymorphism is set theoretic, constructively...”
Cover Image
Read Now

217
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... theory and web-like data bases -- Invariant definability -- Comparing computational representations...”
Cover Image
Read Now

218
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph...”
Cover Image
Read Now

219
by Gausterer, H.
Published 1992
Springer
Cover Image
Read Now

220
by Pitt, David
Published 1987
Springer
“...Lecture Notes in Computer Science...”