Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming implementation » programme implementation, program implementation, programs implementation
implementation semantics » implementation semantic, implementation systematics, representation semantics
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
https* » http*
programming implementation » programme implementation, program implementation, programs implementation
implementation semantics » implementation semantic, implementation systematics, representation semantics
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
https* » http*
1
Publicado 2008
Table of Contents:
“...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“...Fundamentals -- Middleware -- Ontologies -- Towards Semantic Management -- Design of a Management...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Subjects:
“...Computational Linguistics. https://scigraph.springernature.com/ontologies/product-market-codes/N...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... in Use Track -- Facilitating Dialogue - Using Semantic Web Technology for eParticipation -- Implementing...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2007
Table of Contents:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... -- Proof and Computation -- Towards Rewriting in Coq -- Superdeduction at Work -- Remarks on Semantic...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Ligazón do recurso
Electrónico
eBook
11
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Ligazón do recurso
Electrónico
eBook