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