Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
structure computational » structures computational, structure composition
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
defining basic » defining seasia, defining cases, training basic
basic text » basic texts
structure computational » structures computational, structure composition
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
defining basic » defining seasia, defining cases, training basic
basic text » basic texts
1
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Tam Metin Erişim
Elektronik
Ekitap
4
5
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Tam Metin Erişim
Elektronik
Ekitap
6
7
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2012
İçindekiler:
“...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...”Tam Metin Erişim
Elektronik
Ekitap
9
İçindekiler:
“...Introduction -- Installing and Updating R -- Running R -- Help and Documentation -- Programming...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
10
İçindekiler:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
11
İçindekiler:
“...Introduction -- Basic Arrangements -- Queries and Free Functions -- Arrangements of Unbounded...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
12
İçindekiler:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...”Tam Metin Erişim
Elektronik
Ekitap



