1
Wydane 2008
Spis treści: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
od Nash, Trey., Nash, Trey.
Wydane 2007
Spis treści: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
od Nash, Trey., Nash, Trey.
Wydane 2010
Spis treści: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2007
Spis treści: ... -- Session 10B -- Faster Approximation of Distances in Graphs -- Approximate Shortest Paths Guided by a Small...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... with Convex Polygons and Pseudo-triangles -- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2005
Spis treści: ... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2007
Spis treści: ... Expression Programming II -- Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2007
Spis treści: ... in Semidefinite Programming -- Expressive Power of LL(k) Boolean Grammars -- Complexity of Pebble Tree-Walking...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2010
Spis treści: ... in the Hippocampus -- A Chemical Sensor Array Inspired by Mouse Taste Buds -- Emotional Behavior and Expression Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2005
Spis treści: ... Answering to XQuery Expressions -- Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2008
Spis treści: ... Common Substrings Via Suffix Arrays -- Logic and Rational Languages of Words Indexed by Linear Orderings...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2010
Spis treści: ... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2013
Spis treści: ... Clustering for Video Segmentation -- Video Co-segmentation -- Globally Minimal Path Method Using Dynamic...
Dokumenty pełnotekstowe
Elektroniczne E-book