Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming evaluating » programming evaluation, programming validating, programming evolving
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
evaluating using » evaluating nursing, evaluations using, evaluating buying
programming evaluating » programming evaluation, programming validating, programming evolving
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
evaluating using » evaluating nursing, evaluations using, evaluating buying
1
Publicado 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2012
Table of Contents:
“... Trustworthiness Evaluation and Prediction -- Analyzing Coopetition Strategies of Services within Communities...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“... Functionalities of Clojure -- Using a Cluster for Efficient Scalability Evaluation of Multithreaded and Event...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2012
Table of Contents:
“... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2008
Table of Contents:
“...: Distributed Algorithms -- TrustCode: P2P Reputation-Based Trust Management Using Network Coding -- Design...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2014
Table of Contents:
“... Coding (HEVC); J.-H. Lee, et al -- Smart Network Services using Ticket Issuance in the TSM(Trusted...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2007
Table of Contents:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2008
Table of Contents:
“... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2014
Table of Contents:
“... an Ambient Assisted Living System using Interdisciplinary Development Patterns -- Part V Evaluation -- System...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2008
Table of Contents:
“... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2014
Table of Contents:
“... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2012
Table of Contents:
“... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“... Frames -- The Human Web and the Domestication of the Networked Computer -- Evaluation of the Energy...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- Seguinte »
- [3]