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

6
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

7
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

8
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

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

10
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

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

12
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

13
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

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

15
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models...”
Cover Image
Read Now

16
Published 2022
Springer International Publishing
Table of Contents: “... Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool...”
Cover Image
Read Now

17
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Proof -- Importing HOL Light into Coq -- A Mechanized Translation from Higher-Order Logic to Set Theory...”
Cover Image
Read Now

18
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Universal Translational Motion -- A Clocked DNA-Based Replicator -- A Bayesian Algorithm for In Vitro...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Translational Displacement in Time Series Clustering Using Cross Correlation -- Context-Based Distance Learning...”
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... of Unambiguity in Alternating Machines -- Translational Lemmas for Alternating TMs and PRAMs -- Collapsing...”