1
Wydane 2010
Spis treści: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Spis treści: ...An Overview of Language Processing -- Corpus Processing Tools -- Encoding and Annotation Scheme...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Hasła przedmiotowe: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2005
Spis treści: ... View Optimization for Viewing Objects in Motion -- Adding Hand Motion to the Motion Capture Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2005
Spis treści: ... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2014
Spis treści: ... Functions as Processes -- Bisimulations Up-to: Beyond First-Order Transition Systems -- Parameterized Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2005
Spis treści: ... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2008
Spis treści: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2006
Spis treści: ...Vegetative Processes and Growth -- Morphogenesis: Control of Cell Types and Shape -- Organelle...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2006
Spis treści: ... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2007
Spis treści: ... Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks -- Compressed Prefix Sums...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2007
Spis treści: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
Dokumenty pełnotekstowe
Elektroniczne E-book