Search alternatives:
translating » translations
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- SAT-Based Counterexample Guided Abstraction Refinement -- Abstract Interpretation...”
Cover Image
Read Now

2
Published 1998
Springer US
Table of Contents: “... of the Logic -- 7.4 Translation of Language into Logic -- 7.5 Using the Logical Framework -- 7.6 Concluding...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Based Approach to Data and Metadata Translation -- A Conceptual Modeling Methodology Based on Niches...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Abstract interpretation of active rules and its use in termination analysis -- Structural issues in active...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Applying Formal Interpretation -- Location Awareness of Information Agents -- XML and Databases...”
Cover Image
Read Now

6
Published 2002
Springer Netherlands
Table of Contents: “... Integration in MADS Conceptual Model -- 4. TIME: A Translator Compiler for CIS -- 5. An Implementation...”
Cover Image
Read Now

7
by Streicher, T.
Published 1991
Birkhäuser
Table of Contents: “... of Constructions and Its Extensions -- 3 Correctness of the Interpretation of the Calculus of Constructions...”
Cover Image
Read Now

8
Published 2023
Springer Nature Switzerland
Table of Contents: “... through Thermal Image interpretations -- Synthesis of Elementary Cellular Automata for Targeted Cache...”
Cover Image
Read Now

9
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... of secure distributed medical database systems -- Modeling of subjective interpretation for street landscape...”