Search alternatives:
"translators" » "translator", "translations", "translates"
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 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

7
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

8
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

9
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

10
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

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

12
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

13
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

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

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

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

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

18
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...”
Cover Image
Read Now

19
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Monotone Predicates in Boolean Formulae -- Smten: Automatic Translation of High-level Symbolic Computations...”
Cover Image
Read Now

20
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class...”