Search alternatives:
"translations" » "translation"
Cover Image
Read Now

1
by Göbel, Susanne
Published 2016
Springer Fachmedien Wiesbaden
Table of Contents: “...Translating Mobile Ambient (MA) Processes into Safe Petri Nets - The Idea -- Managing Names...”
Cover Image
Read Now

2
Published 2024
Springer Nature Switzerland
Table of Contents: “... and civil engineering through human AI translations -- smart renewable energies: advancing AI algorithms...”
Cover Image
Read Now

3
by Crespi Reghizzi, Stefano
Published 2009
Springer London
Table of Contents: “... -- Bottom-Up and General Parsing -- Translation Semantics and Static Analysis...”
Cover Image
Read Now

4
Published 2022
Springer International Publishing
Table of Contents: “... for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed translation scheme...”
Cover Image
Read Now

5
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Comparing ?-calculus translations in sharing graphs -- Extensions of pure type systems -- A model...”
Cover Image
Read Now

6
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... -- Piecewise testable events -- Die Grösse des zustandsminimalen LR(O)-Analysators -- Formal translations...”
Cover Image
Read Now

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation -- Graph Theory for Rule...”
Cover Image
Read Now

8
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...From the contents: Part I Foundations of Data Mining; Knowledge Discovery as Translation...”
Cover Image
Read Now

9
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic...”
Cover Image
Read Now

10
Published 1974
Springer Berlin Heidelberg
Table of Contents: “... -- On simple Goedel numberings and translations -- The ‘almost all’ theory of subrecursive degrees is decidable...”
Cover Image
Read Now

11
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... Decomposition -- A CPS-translation of the ??-calculus -- A lower bound on the growth of functions computed...”
Cover Image
Read Now

12
Published 2015
Springer International Publishing
Table of Contents: “... -- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants...”
Cover Image
Read Now

13
Published 2021
Springer International Publishing
Table of Contents: “... for Dynamic Symbolic Execution: a Preliminary Study -- Translation of Interactive Datalog Programs...”
Cover Image
Read Now

14
Published 2023
Springer Nature Switzerland
Table of Contents: “... Translation can be realized by a Top-Down Transducer -- A time to cast away stones -- Two-way Machines and de...”
Cover Image
Read Now

15
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for the default- and the autoepistemic logic -- On Completeness for NP via projection translations -- Control...”
Cover Image
Read Now

16
Published 2001
Springer US
Table of Contents: “... -- On symmetries and translation generalized quadrangles -- Complete caps in projective space which are disjoint...”
Cover Image
Read Now

17
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... RBAC-to-XACML Translation Using Lightweight Formal Methods -- Towards Formally Templated Relational...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming -- Translating Datalog...”
Cover Image
Read Now

19
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... — An interactive networked multimedia applications specification environment with E-LOTOS translator -- Information...”
Cover Image
Read Now

20
Published 2015
Springer International Publishing
Table of Contents: “... Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity...”