Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
quantitative application » quantitative applications, quantization application, quantitative approximation
application program » application programming, application protocol
programs functional » programming functional, proteins functional, processes functional
program function » programme function, program foundation, program section
1
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2011
Θέματα: “...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... and Their Applications in Program Analysis....”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
ανά Bjørner, Dines., Bjørner, Dines.
Έκδοση 2006
Πίνακας περιεχομένων: “... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
ανά Barker, Philip., Barker, Philip.
Έκδοση 2007
Θέματα: “...Quantitative Finance. https://scigraph.springernature.com/ontologies/product-market-codes/M13062...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2010
Θέματα: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... -- Realizability of Dynamic MSC Languages -- The max quasi-independent set Problem -- Equilibria in Quantitative...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
ανά Zhu, Jianwei., Zhu, Jianwei.
Έκδοση 2010
Πίνακας περιεχομένων: “...Option Valuation and the Volatility Smile -- Characteristic Functions in Option Pricing...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Handling -- Belief Revision and Merging -- Belief Functions -- Fuzzy Models -- Many-Valued Logical Systems...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Πίνακας περιεχομένων: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης