Search alternatives:
"translators" » "translator", "translations", "transistors"
Cover Image
Read Now

141
Published 1988
Springer Japan
Table of Contents: “... -- Natural Language Translation Services in BTRON -- A Study on Video Manager of the BTRON Specification...”
Cover Image
Read Now

142
by Hagen, Silvia
Published 2011
O'Reilly
Table of Contents: “... and Translation -- How Can IPv6 Clients Reach IPv4 Content? -- Load Balancing -- Summary...”
Cover Image
Read Now

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

144
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... of concurrent systems -- Efficient modeling of memory arrays in symbolic ternary simulation -- Translation...”
Cover Image
Read Now

145
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... specification -- A tool for translation of VHDL descriptions into a formal model and its application to formal...”
Cover Image
Read Now

146
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Constructing Finite Maximal Codes from Schützenberger Conjecture -- An Effective Translation of Fickle...”
Cover Image
Read Now

147
Published 1997
Springer US
Table of Contents: “... and translation -- 39 Quantitative QoS-mapping: a unifying approach -- 40 QoS translation and admission control...”
Cover Image
Read Now

148
Published 2018
Springer Nature Singapore
Table of Contents: “... Translation Linguistic Issues of Indian Sign Language -- Analysis of Emotion Recognition System for Telugu...”
Cover Image
Read Now

149
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...”
Cover Image
Read Now

150
Published 2021
Springer International Publishing
Table of Contents: “... -- Mechanically Verified Theory of Contracts -- A Complete Semantics of K and Its Translation to Isabelle...”
Cover Image
Read Now

151
Published 2021
Springer International Publishing
Table of Contents: “...Model Translation from Papyrus-RT into the nuXmv Model Checker -- Modeling and Verification...”
Cover Image
Read Now

152
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Reasoning on Data Models in Schema Translation -- Tightly Integrated Probabilistic Description Logic...”
Cover Image
Read Now

153
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in K -- Translating Multiset Tree Automata into P Systems...”
Cover Image
Read Now

154
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Networks -- Session: Non-software Domains -- Translating Hardware Process Algebras into Standard Process...”
Cover Image
Read Now

155
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

156
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of Bioregulatory Networks -- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata...”
Cover Image
Read Now

157
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Design: Translating Requirements to Design Specifications -- 16 Organisational Design -- 17 Application...”
Cover Image
Read Now

158
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Refinement in Hierarchical Petri Nets with Application to Active Document Workflow -- Translating TPAL...”
Cover Image
Read Now

159
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... two -- On rectangle visibility graphs -- A graph drawing and translation service on the WWW -- Drawing...”
Cover Image
Read Now

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