Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming reasoning » programming learning, programming designing, programming evolving
reasoning basic » reasoning based, reasoning case, reasoning ais
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming reasoning » programming learning, programming designing, programming evolving
reasoning basic » reasoning based, reasoning case, reasoning ais
1
Publicado em 2005
Sumário:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2006
Sumário:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2006
Sumário:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Assuntos:
“...Java (Computer program language)....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“... Semantics -- SESA Services -- Reasoning -- Discovery -- Selection -- Mediation -- Storage and Internal...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Sumário:
“...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Por El-Harbawi, Mohanad M-A.
Publicado em 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”Publicado em 2006
Obter o texto integral
Thesis
11
Por El-Harbawi, Mohanad M-A.
Publicado em 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”Publicado em 2006
Obter o texto integral
Thesis