by
Heinz, Jeffrey. editor.
Format:
Electronic Resources
Excerpt:
context-free languages; and the final chapter addresses the processing of biosequences. The topics chosen are
by
Bjørner, Dines. editor.
Format:
Electronic Resources
Excerpt:
reasoning. The editors and authors are authorities on these specification languages and their application
View Other Search Results
by
Mills, Bruce. author.
Format:
Electronic Resources
Excerpt:
languages (such as C, Java, Scheme, Prolog and Haskell) is used to show that paradigms are largely language
by
Parkes, Alan P. author.
Format:
Electronic Resources
Excerpt:
excellent foundation for undergraduates. The book is divided into two parts, Languages and Machines and
by
Fokkink, Wan. author.
Format:
Electronic Resources
Excerpt:
networking. Process algebras are languages for the description of elementary parallel systems and are used to
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
-- Programming language specification and implementation -- Modeling with Scala -- This is not a model -- A
by
Martín-Vide, Carlos. editor.
Format:
Electronic Resources
Excerpt:
and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. The 40
by
Cooper, S. Barry. editor.
Format:
Electronic Resources
Excerpt:
: Turing-Computing Ability and Undecidability -- Computability in Computational Geometry -- Shrad: A Language for
by
Grigoriev, Dima. editor.
Format:
Electronic Resources
Excerpt:
Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and
by
Cai, Jin-Yi. editor.
Format:
Electronic Resources
Excerpt:
Reproducing Kernel Hilbert Spaces -- Inductive Inference and Language Learning -- Time Series Predictions
by
Vojtáš, Peter. editor.
Format:
Electronic Resources
Excerpt:
Structures and Their Application to e-Learning -- Boolean Functions with a Low Polynomial Degree and Quantum
by
Kamio, Akio.
Format:
Electronic Resources
Excerpt:
importance in the interface of information and syntax in these languages. Moreover, it argues that the
Limit Search Results
Narrowed by: