1
Wydane 2007
Spis treści: ... for Shortest Vectors, Closest Vectors and Successive Minima -- Session A3 -- Low Distortion Spanners -- Minimum...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2015
Spis treści: .../Output Behavior of Programs -- Unrestricted Termination and Non-termination Arguments for Bit-Vector...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2013
Spis treści: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2006
Spis treści: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2014
Spis treści: ...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2014
Spis treści: ... and Computational Game Theory -- Random Deterministic Automata -- Communication Complexity Theory: Thirty-Five Years...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2006
Spis treści: ... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2007
Spis treści: ... Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2013
Spis treści: ...One Logic to Use Them All -- The Tree Width of Separation Logic with Recursive Definitions...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2006
Spis treści: ...Fuzzy Sets and Systems -- Rough-Fuzzy Granular Computing, Case Based Reasoning and Data Mining...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2010
Spis treści: ... in Healthcare -- Computer-Based Dietary Menu Planning: How to Support It by Complex Knowledge? -- Flexible...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Spis treści: ... -- Series and Complex Numbers -- First Order Systems -- Laplace Transforms -- Transfer Functions -- Second...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2005
Spis treści: ... for Intrusion Detection Systems in Computer Networks -- Clustering Document Images Using Graph Summaries...
Dokumenty pełnotekstowe
Elektroniczne E-book