Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming reasoning » programming learning, programming designing, programming evolving
functions functional » equations functional
reasoning basic » reasoning based, reasoning case, reasoning ais
programming reasoning » programming learning, programming designing, programming evolving
functions functional » equations functional
reasoning basic » reasoning based, reasoning case, reasoning ais
1
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Testu osoa
Baliabide elektronikoa
eBook
4
5
Argitaratua 2008
Aurkibidea:
“... Semantics -- SESA Services -- Reasoning -- Discovery -- Selection -- Mediation -- Storage and Internal...”Testu osoa
Baliabide elektronikoa
eBook
6
Aurkibidea:
“...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”Testu osoa
Baliabide elektronikoa
eBook
9
nork El-Harbawi, Mohanad M-A.
Argitaratua 2006
“... Accidents (SCIA). The SCIA software was successfully developed using Visual Basic (VB) programming language...”Argitaratua 2006
Testu osoa
Thesis
10
nork El-Harbawi, Mohanad M-A.
Argitaratua 2006
“... Accidents (SCIA). The SCIA software was successfully developed using Visual Basic (VB) programming language...”Argitaratua 2006
Testu osoa
Thesis
11
Argitaratua 2005
Aurkibidea:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Testu osoa
Baliabide elektronikoa
eBook