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