Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
integrated computing » integrated computer, internet computing, interactive computing
constructs method » construct method, constructed method, construction method
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
integrated computing » integrated computer, internet computing, interactive computing
constructs method » construct method, constructed method, construction method
1
Έκδοση 2005
Πίνακας περιεχομένων:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Έκδοση 2008
Πίνακας περιεχομένων:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2013
Θέματα:
“...Programming languages (Electronic computers)....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2010
Θέματα:
“...Programming languages (Electronic computers)....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2005
Πίνακας περιεχομένων:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
ανά Abdul Wahit, Mohamad Aizat
Έκδοση 2019
Θέματα:
“...Robots - Design and construction - Computer programs...”Έκδοση 2019
Λήψη πλήρους κειμένου
Thesis
10
Έκδοση 2008
Πίνακας περιεχομένων:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2006
Πίνακας περιεχομένων:
“... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2007
Πίνακας περιεχομένων:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
ανά Sadeghian, Syed Hamidreza
Έκδοση 2014
Θέματα:
“...Model-integrated computing...”Έκδοση 2014
Λήψη πλήρους κειμένου
Thesis
17
Έκδοση 2014
Πίνακας περιεχομένων:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2010
Πίνακας περιεχομένων:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
ανά Muhammad Zain, Zuhaira
Έκδοση 2012
Θέματα:
“...Blogs - Computer programs...”Έκδοση 2012
Λήψη πλήρους κειμένου
Thesis