Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
computation programming » communication programming, computation programmatic, computing programming
structure computation » structure computations, structures computation, structure computational
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
1
Obálka
Vydáno 2008
Obsah: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2010
Obsah: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2010
Obsah: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2013
Obsah: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2005
Obsah: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2010
Obsah: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2010
Obsah: “... -- Computing Transfer Score in Example-Based Machine Translation -- Systematic Processing of Long Sentences...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2007
Obsah: “... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2005
Obsah: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2013
Obsah: “... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2010
Obsah: “... Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2006
Obsah: “... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2005
Obsah: “... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2008
Obsah: “... Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2005
Obsah: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2006
Obsah: “... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Vydáno 2007
Obsah: “... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2006
Obsah: “... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2010
Obsah: “... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Vydáno 2006
Obsah: “... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání