Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
problem computing » problems computing
function theorem » function theory, functions theory, functional theory
https function » its function, sites function, ups function
theorem https » theory https, theory http
1
Εξώφυλλο
ανά Komjath, Peter., Komjath, Peter., Totik, Vilmos.
Έκδοση 2006
Πίνακας περιεχομένων: “...Problems -- Operations on sets -- Countability -- Equivalence -- Continuum -- Sets of reals...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... statistics for the multidimensional Farey sequence -- S. G. Bobkov, M. M. Madiman: On the problem...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “.... Krantz) -- Corona-Type Theorems and Division in Some Function Algebras on Planar Domains (R. Mortini, R...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Πίνακας περιεχομένων: “... Problems and Functional Analysis -- Problems with A Priori Bounds -- Asymptotically Linear Problems...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
ανά Tkachuk, Vladimir V., Tkachuk, Vladimir V.
Έκδοση 2014
Πίνακας περιεχομένων: “... and Properties of Function Spaces -- 2. Solutions of Problems 001-500 -- 3. Bonus Results: Some Hidden statements...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Πίνακας περιεχομένων: “...Preface -- Basic Terms and Notation -- Part 1. Classical Extension-Trace Theorems and Related...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
ανά Alpay, Daniel., Alpay, Daniel.
Έκδοση 2011
Πίνακας περιεχομένων: “... complex variable -- 5 C-differentiable functions -- 6 Cauchy's theorem -- 7 First applications -- 8...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
ανά Fischer, Hans., Fischer, Hans.
Έκδοση 2011
Πίνακας περιεχομένων: “...Preface -- Introduction -- The central limit theorem from laplace to cauchy: changes in stochastic...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Πίνακας περιεχομένων: “...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Πίνακας περιεχομένων: “... integrals -- Chapter 3. Classical covering theorems -- Chapter 4. Spaces of smooth functions and operators...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
ανά Lucchetti, Roberto., Lucchetti, Roberto.
Έκδοση 2006
Πίνακας περιεχομένων: “...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... Optimization for Solving Nonlinear Constrained Optimization Problems -- Some Fixed Point (Vertex) Theorems...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
ανά Kozen, Dexter C., Kozen, Dexter C.
Έκδοση 2006
Πίνακας περιεχομένων: “... Theorem -- Separation Results -- The Immerman-Szelepcsényi Theorem -- Logspace Computability...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Πίνακας περιεχομένων: “... Construction -- 5 Applications to Boundary Value Problems -- 5.1 Preliminaries -- 5.2 Agranovich–Dynin Theorem...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης