Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming specifying » programming verifying, programming specialising, programming identifying
function computing » education computing, generation computing
specifying https » specifying data, specifying rtl, specifying state
https function » its function, sites function, ups function
programming specifying » programming verifying, programming specialising, programming identifying
function computing » education computing, generation computing
specifying https » specifying data, specifying rtl, specifying state
https function » its function, sites function, ups function
1
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
2
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“... -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming...”Published 2007
View full text
Electronic
eBook
3
Table of Contents:
“...Introduction -- Specifying Syntax -- Object-Oriented Programming with C++ -- Object-Oriented...”
View full text
View full text
Electronic
eBook
4
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook
6
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text
View full text
Electronic
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
10
11
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”View full text
Electronic
eBook
15
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Flow Policies in Industrial Workflows -- Specification and Verification -- Specifying and Verifying...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Performance -- Specifying Aggregation Functions in Multidimensional Models with OCL -- Demos and Posters...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”View full text
Electronic
eBook