Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
programmed computing » programming computing, programming comparing, programmes competence
program programmed » program program, programming programmed, programmes programme
https » http
1
Εξώφυλλο
ανά Lew, Art., Lew, Art., Mauch, Holger.
Έκδοση 2007
Πίνακας περιεχομένων: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
ανά Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Έκδοση 2010
Πίνακας περιεχομένων: “...Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
ανά Shankar, A. Udaya., Shankar, A. Udaya.
Έκδοση 2013
Πίνακας περιεχομένων: “... -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
ανά Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Έκδοση 2005
Θέματα: “...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “....- Optimizing a Geomodeling Domain Specific Language.-A System for Runtime Type Introspection in C++.- Model...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
ανά Alagar, V.S., Alagar, V.S., Periyasamy, K.
Έκδοση 2011
Πίνακας περιεχομένων: “...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Πίνακας περιεχομένων: “... Diagram Notation and Beyond -- Meta-Programming Task Specification using Feature-Based Patters and Domain...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2015
Θέματα: “...Computer programming....”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης