Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing semantics » computing semantic, comparing semantics, computers semantics
https computing » paths computing, arts computing, bites computing
program method » programs method, program mentor, programming method
method https » methods https
computing semantics » computing semantic, comparing semantics, computers semantics
https computing » paths computing, arts computing, bites computing
program method » programs method, program mentor, programming method
method https » methods https
1
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Table of Contents:
“... -- Denotational Semantics -- More on Denotational Semantics -- Program Analysis -- More on Program Analysis...”
View full text
View full text
Electronic
eBook
3
Published 2013
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook
7
Table of Contents:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
View full text
View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Issues for Composite Semantic Services -- Parallel Computation Techniques for Ontology Reasoning...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum...”View full text
Electronic
eBook
13
Table of Contents:
“...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... of Schema Matching Methods -- Debugging and Semantic Clarification by Pinpointing -- An Argumentation...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...”View full text
Electronic
eBook
16
Table of Contents:
“...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...”
View full text
View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- UTP Semantics for Web Services -- Combining Mobility with State -- Algebraic Approaches to Formal...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... for Matchmaking -- Adding Data Mining Support to SPARQL Via Statistical Relational Learning Methods -- A Semantic...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Keynote session -- Service-Oriented Computing: Multiagent Foundation, Robust Applications...”View full text
Electronic
eBook