Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs loops » constructs lists, constructs coders, constructs core
1
Obálka
Vydáno 2013
Obsah: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2013
Obsah: “... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2013
Obsah: “... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2014
Obsah: “... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2014
Obsah: “... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2006
Obsah: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2010
Obsah: “... Partitioned Sampling for Multi-object Tracking -- Object Tracking and Segmentation in a Closed Loop -- Optical...”
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í