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 networks » programming network, programmable networks, programming frameworks
networks programming » network programming, net programming, networks protecting
programming https » programming http, programming hands, programming hints
programming networks » programming network, programmable networks, programming frameworks
networks programming » network programming, net programming, networks protecting
programming https » programming http, programming hands, programming hints
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
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
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Vydáno 2014
Obsah:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... for Size-Change Termination -- A Syntactical Approach to Qualitative Constraint Networks Merging...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“...: Relevance in Data Mining -- Keynote Talks -- Utility-Based Data-Gathering in Wireless Sensor Networks...”Získat plný text
Elektronický zdroj
E-kniha
6
Obsah:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“...-Based Network Beamformer -- Software Development for the Square Kilometre Array -- A Simple Model...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2005
Obsah:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2014
Obsah:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2007
Obsah:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Získat plný text
Elektronický zdroj
E-kniha
14
Obsah:
“... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
15
Obsah:
“... -- Arrays -- Object-Oriented PHP -- Advanced OOP Features -- Error and Exception Handling -- Strings...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
16
Obsah:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
17
Obsah:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2005
Obsah:
“... Dependencies of Multi-dimensional Array References -- Session 6: Network Architecture -- QoS-Based Dynamic...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2013
Obsah:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2010
Obsah:
“... Progress in Static and Dynamic Modeling of Biological Networks -- Getting Started in Biological Pathway...”Získat plný text
Elektronický zdroj
E-kniha



