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í:
processes execution » process execution, processes expectation, processes section
java processes » java processors, java processor, data processes
execution java » execution data, execution a, execution jpf
program java » program jarak, program a, program jom
https » http
processes execution » process execution, processes expectation, processes section
java processes » java processors, java processor, data processes
execution java » execution data, execution a, execution jpf
program java » program jarak, program a, program jom
https » http
1
Obsah:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
2
Témata:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
3
Obsah:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
4
Obsah:
“... -- Execution Flow Control in Java -- Advanced Java Programming -- Exceptions and Assertions -- Input and Output...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“...-Related Applications -- Symbolic Analysis for Increased Program Execution Performance....”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2010
Obsah:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Získat plný text
Elektronický zdroj
E-kniha
10
Témata:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2014
Obsah:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”Získat plný text
Elektronický zdroj
E-kniha
14
Obsah:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
15
Autor Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Kubovy, Jan., Natschläger, Christine., Ziebermayr, Thomas., Kopetzky, Theodorich., Freudenthaler, Bernhard., Schewe, Klaus-Dieter.
Vydáno 2014
Obsah:
“... Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion...”Vydáno 2014
Získat plný text
Elektronický zdroj
E-kniha
16
Obsah:
“... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2007
Obsah:
“... Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2008
Obsah:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2006
Obsah:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Získat plný text
Elektronický zdroj
E-kniha



