Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
interface methods » internal methods, interval methods, interference methods
methods program » methods programmed, methods problem, metrics program
program https » programs https, program has, program help
1
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης