1
Wydane 2006
Spis treści: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2005
Spis treści: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ... Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2005
Spis treści: ... and Processing Technique for an XML Search Engine -- Adapting the Object Role Modelling Method for Ontology...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Spis treści: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2006
Spis treści: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2013
Spis treści: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2005
Spis treści: ... Using Random Vectors -- The Spectral Method for General Mixture Models -- On Spectral Learning...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2008
Spis treści: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2007
Spis treści: ...Overview -- Overview -- Foundations -- A Framework and History for Score Linking -- Data Collection...
Dokumenty pełnotekstowe
Elektroniczne E-book