Εναλλακτικές αναζητήσεις:
interactive application » interactive applications, interaction applications, interactions application
programmes program » programmes programme, programming program, programmes progress
construction https » instruction https, conservation https, construction history
programs program » programming program
1
ανά Gries, David., Gries, David., Gries, Paul.
Έκδοση 2005
Πίνακας περιεχομένων: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων: ... Memory Model -- Applications II -- Performance and Programmability Comparison Between OpenMP and MPI...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2014
Πίνακας περιεχομένων: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2007
Πίνακας περιεχομένων: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων: ... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2005
Πίνακας περιεχομένων: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων: ... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2013
Πίνακας περιεχομένων: ... Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Πίνακας περιεχομένων: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2005
Πίνακας περιεχομένων: ... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2010
Πίνακας περιεχομένων: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2008
Πίνακας περιεχομένων: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2007
Πίνακας περιεχομένων: ... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων: ... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2005
Πίνακας περιεχομένων: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2008
Πίνακας περιεχομένων: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο