Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
programmed computing » programming computing, programming comparing, programmes competence
program programmed » program program, programming programmed, programmes programme
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
programmed computing » programming computing, programming comparing, programmes competence
program programmed » program program, programming programmed, programmes programme
1
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“...Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous...”
View full text
View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path...”
View full text
View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
7
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“....- Optimizing a Geomodeling Domain Specific Language.-A System for Runtime Type Introspection in C++.- Model...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
11
Table of Contents:
“...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
View full text
View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming...”View full text
Electronic
eBook
17
Table of Contents:
“... Diagram Notation and Beyond -- Meta-Programming Task Specification using Feature-Based Patters and Domain...”
View full text
View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”View full text
Electronic
eBook
19
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
20