Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming modeling » programming model, programming models, programming building
modeling programs » model programs, modeling problems, models programs
https » http
1
Obálka
Vydáno 2008
Obsah: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Autor Bradley, Aaron R., Bradley, Aaron R.
Vydáno 2011
Obsah: “...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2013
Obsah: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2008
Obsah: “... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2006
Obsah: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2008
Obsah: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2010
Obsah: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2014
Obsah: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Autor Lopez, Cesar., Lopez, Cesar.
Vydáno 2014
Témata: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2010
Obsah: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2010
Obsah: “... Models -- Characterising Space Complexity Classes via Knuth-Bendix Orders -- Focused Natural Deduction...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2008
Obsah: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Obsah: “... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2006
Obsah: “... Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014
Témata: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2005
Obsah: “... Lens for the SKA -- Efficiency Analysis of Focal Plane Arrays in Deep Dishes -- Model Validation...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Obsah: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Autor Parsons, David., Parsons, David.
Vydáno 2012
Obsah: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Obsah: “... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Vydáno 2012
Obsah: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
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í