1
Publié 2006
Table des matières: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
4
Publié 2005
Table des matières: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
Accéder au texte intégral
Électronique eBook
5
Table des matières: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Accéder au texte intégral
Électronique eBook
10
Publié 2008
Table des matières: ... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...
Accéder au texte intégral
Électronique eBook
12
Table des matières: ...Computers, Operating Systems and the Internet -- The Biological Foundations of Bioinformatics...
Accéder au texte intégral
Électronique eBook
13
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
14
Publié 2007
Table des matières: ...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...
Accéder au texte intégral
Électronique eBook
15
Table des matières: ... -- Chap. 8 Public-Key Encryption -- Chap. 9 Digital Signatures -- Chap. 10 Identity-Based Cryptography...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....
Accéder au texte intégral
Électronique eBook
18
Publié 2006
Table des matières: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...
Accéder au texte intégral
Électronique eBook