Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning basic » reasoning based, reasoning case, reasoning ais
1
Íomhá Chlúdaigh
Foilsithe 2010
Clár Ábhair: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
2
Íomhá Chlúdaigh
Foilsithe 2005
Clár Ábhair: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
3
Íomhá Chlúdaigh
Foilsithe 2006
Clár Ábhair: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
4
Íomhá Chlúdaigh
Foilsithe 2006
Clár Ábhair: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
5
Íomhá Chlúdaigh
le Friesen, Jeff., Friesen, Jeff.
Foilsithe 2011
Ábhair: “...Java (Computer program language)....”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
6
Íomhá Chlúdaigh
Foilsithe 2008
Clár Ábhair: “... Semantics -- SESA Services -- Reasoning -- Discovery -- Selection -- Mediation -- Storage and Internal...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
7
Íomhá Chlúdaigh
Foilsithe 2007
Clár Ábhair: “... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
8
Íomhá Chlúdaigh
Clár Ábhair: “...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
9
Íomhá Chlúdaigh
Foilsithe 2005
Clár Ábhair: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
10
Íomhá Chlúdaigh
le El-Harbawi, Mohanad M-A.
Foilsithe 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”
Faigh an téacs iomlán
Thesis
Cuir leis na Ceanáin
Saved in:
11
Íomhá Chlúdaigh
le El-Harbawi, Mohanad M-A.
Foilsithe 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”
Faigh an téacs iomlán
Thesis
Cuir leis na Ceanáin
Saved in:
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost — Sábháil an Cuardach