Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
security programming » secure programming, recursive programming, security program
integrated security » integrating security, internet security, integrated series
constructs loops » constructs lists, constructs coders, constructs core
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
security programming » secure programming, recursive programming, security program
integrated security » integrating security, internet security, integrated series
constructs loops » constructs lists, constructs coders, constructs core
1
Vydáno 2013
Obsah:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”Získat plný text
Elektronický zdroj
E-kniha
2
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Vydáno 2006
Obsah:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Získat plný text
Elektronický zdroj
E-kniha
5
Obsah:
“... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2014
Obsah:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Získat plný text
Elektronický zdroj
E-kniha
8
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