Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming functioning » programming functional, programming function, programming functionals
parallel programming » parallel processing
functioning section » functioning sessions, function section, functions section
section function » selection function, reaction function, selection functions
function https » functions https, fiction https
programming functioning » programming functional, programming function, programming functionals
parallel programming » parallel processing
functioning section » functioning sessions, function section, functions section
section function » selection function, reaction function, selection functions
function https » functions https, fiction https
1
Έκδοση 2012
Θέματα:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2013
Πίνακας περιεχομένων:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Έκδοση 2014
Πίνακας περιεχομένων:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2008
Πίνακας περιεχομένων:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2006
Πίνακας περιεχομένων:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2008
Πίνακας περιεχομένων:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2012
Πίνακας περιεχομένων:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων:
“... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2015
Πίνακας περιεχομένων:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2013
Πίνακας περιεχομένων:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2011
Πίνακας περιεχομένων:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2015
Πίνακας περιεχομένων:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2008
Πίνακας περιεχομένων:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο