Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
functions computational » functions computation, function computation, directions computational
structure computational » structures computational, structure composition
programming definition » programming designation, programming decision, programming defining
definition based » definition case, definition basic, definition causes
based text » based test
functions computational » functions computation, function computation, directions computational
structure computational » structures computational, structure composition
programming definition » programming designation, programming decision, programming defining
definition based » definition case, definition basic, definition causes
based text » based test
1
Publicado 2007
Tabla de Contenidos:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”Enlace del recurso
Electrónico
eBook
4
Tabla de Contenidos:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
5
Publicado 2012
Tabla de Contenidos:
“... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”Enlace del recurso
Electrónico
eBook
6
Publicado 2006
Tabla de Contenidos:
“... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Enlace del recurso
Electrónico
eBook
8
Publicado 2008
Tabla de Contenidos:
“... of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe -- Component-Based Modelling of RNA Structure...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”Enlace del recurso
Electrónico
eBook
10
Publicado 2005
Tabla de Contenidos:
“... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“...-to-One Correspondence -- Low Circle Fatigue Life Model Based on ANFIS -- New Structures of Intuitionistic...”Enlace del recurso
Electrónico
eBook
12
Publicado 2014
Tabla de Contenidos:
“... Calculation Program for Structural Concrete Members Based on a Limit State Design; H.M. Lee, et al -- Novel...”Enlace del recurso
Electrónico
eBook
13
Publicado 2005
Tabla de Contenidos:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Enlace del recurso
Electrónico
eBook
14
Tabla de Contenidos:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
15
Publicado 2014
Tabla de Contenidos:
“... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”Enlace del recurso
Electrónico
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado 2013
Tabla de Contenidos:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Tabla de Contenidos:
“... on High Definition Content Based on SSIM and Subjective Experiments -- An Edge-Preserving Motion...”Enlace del recurso
Electrónico
eBook
18
Tabla de Contenidos:
“...Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
19
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado 2006
Tabla de Contenidos:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Enlace del recurso
Electrónico
eBook
20
Publicado 2005
Tabla de Contenidos:
“... -- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- 3
- Siguiente »
- [3]