Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specification programming » verification programming, identification programming, specification program
programming programmed » processing programmed
service specification » service specifications, interface specification, service application
programmed computing » programming computing, programming comparing, programmes competence
https » http
specification programming » verification programming, identification programming, specification program
programming programmed » processing programmed
service specification » service specifications, interface specification, service application
programmed computing » programming computing, programming comparing, programmes competence
https » http
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
15
Published 2015
Table of Contents:
“... -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
17
18
Published 2011
Table of Contents:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”View full text
Electronic
eBook
19
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
20
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