Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
computing programming » computer programming, computers programming
interfaces computing » interfaces comparing, interfaces computer, interface comparing
constraint atoms » constraint from, constraint automata, constraint methods
1
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... Permissions for Concurrency Verification -- A Concurrent Temporal Programming Model with Atomic Blocks -- A...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... -- Biological and Computer Vision Interfaces (BCVI) Lessons from the Primate Visual System -- Neural Mechanisms...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
ανά Spear, Chris., Spear, Chris.
Έκδοση 2008
Πίνακας περιεχομένων: “... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης