Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
programming definitions » programming decisions, programming defining, reframing definitions
functions functional » equations functional
definitions based » definition based, definitions basic, definitions used
based tools » based tool, basic tools
programming definitions » programming decisions, programming defining, reframing definitions
functions functional » equations functional
definitions based » definition based, definitions basic, definitions used
based tools » based tool, basic tools
1
Publicado 2008
Tabla de Contenidos:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Enlace del recurso
Electrónico
eBook
2
Publicado 2005
Tabla de Contenidos:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”Enlace del recurso
Electrónico
eBook
3
Tabla de Contenidos:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
4
Publicado 2006
Tabla de Contenidos:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Enlace del recurso
Electrónico
eBook
5
Publicado 2008
Tabla de Contenidos:
“...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”Enlace del recurso
Electrónico
eBook
6
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
7
Publicado 2014
Tabla de Contenidos:
“...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”Enlace del recurso
Electrónico
eBook
8
Materias:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
9
Tabla de Contenidos:
“... -- Chap. 8 Public-Key Encryption -- Chap. 9 Digital Signatures -- Chap. 10 Identity-Based Cryptography...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2008
Tabla de Contenidos:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”Enlace del recurso
Electrónico
eBook
11
Publicado 2010
Tabla de Contenidos:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”Enlace del recurso
Electrónico
eBook
14
Publicado 2007
Tabla de Contenidos:
“...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...”Enlace del recurso
Electrónico
eBook
15
Publicado 2006
Tabla de Contenidos:
“... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...”Enlace del recurso
Electrónico
eBook
16
Tabla de Contenidos:
“... -- Biological Databases -- Sequence Comparisons and Sequence-Based Database Searches -- The Decoding...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
17
Publicado 2007
Tabla de Contenidos:
“... Behavior -- Psychosocial and Mental Status Assessment -- Functional Behavioral Assessment in Practice...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”Enlace del recurso
Electrónico
eBook
19
Publicado 2008
Tabla de Contenidos:
“... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....”Enlace del recurso
Electrónico
eBook
20
Publicado 2006
Tabla de Contenidos:
“... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]