1
Publicado 2006
Tabla de Contenidos: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Enlace del recurso
Electrónico eBook
2
Publicado 2008
Tabla de Contenidos: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Enlace del recurso
Electrónico eBook
3
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
4
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
5
Tabla de Contenidos: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Enlace del recurso
Electrónico eBook
6
Publicado 2008
Tabla de Contenidos: ...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...
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
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
9
Publicado 2010
Tabla de Contenidos: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Enlace del recurso
Electrónico eBook
10
Publicado 2008
Tabla de Contenidos: ... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...
Enlace del recurso
Electrónico eBook
12
Tabla de Contenidos: ...Computers, Operating Systems and the Internet -- The Biological Foundations of Bioinformatics...
Enlace del recurso
Electrónico eBook
13
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
14
Tabla de Contenidos: ... -- Chap. 8 Public-Key Encryption -- Chap. 9 Digital Signatures -- Chap. 10 Identity-Based Cryptography...
Enlace del recurso
Electrónico eBook
15
Publicado 2007
Tabla de Contenidos: ...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...
Enlace del recurso
Electrónico eBook
17
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
18
Publicado 2006
Tabla de Contenidos: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
Enlace del recurso
Electrónico eBook
19
Publicado 2006
Tabla de Contenidos: ... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...
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