1
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
View full text
Electronic eBook
2
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ..., An Important Target for Anti-diabetic Functional Food Design.-8.  Comparison of Different Data Analysis Tools...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Model of Assistive Technology Assessment Process -- Towards Ergonomic User Interface Composition: A...
View full text
Electronic eBook