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

101
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Groups -- Embeddings into Free Heyting Algebras and Translations into Intuitionistic PropositionalLogic...”
Cover Image
Read Now

102
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...An Isabelle-based theorem prover for VDM-SL -- Executing formal specifications by translation...”
Cover Image
Read Now

103
Published 2018
Springer International Publishing
Table of Contents: “... -- Efficient Translation with Linear Bimorphisms...”
Cover Image
Read Now

104
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”
Cover Image
Read Now

105
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Abstraction in a Program Logic Calculus -- Mechanised Translation of Control Law Diagrams into Circus...”
Cover Image
Read Now

106
Published 2011
Springer New York
Table of Contents: “... Foundations for Service Level Agreements -- The SLA Model -- Service Construction Meta-Model -- Translation...”
Cover Image
Read Now

107
by Cioara, Jeremy
Published 2008
Que Pub.
Table of Contents: “... Considerations -- Part 6. Access Lists and Network Address Translation -- Using Cisco Access Lists -- Enabling...”
Cover Image
Read Now

108
by Mona, Mona, Ramamurthy, Pratap
Published 2024
John Wiley & Sons, Inc.
Table of Contents: “...Translating Business Use Cases -- Machine Learning Approaches -- Supervised, Unsupervised, and Semi...”
Cover Image
Read Now

109
Published 2014
Springer International Publishing
Table of Contents: “... and benefit evaluation -- Virtual, Immersive, Translational, Applied Learning: The VITAL Project -- Guess...”
Cover Image
Read Now

110
Published 2021
Springer International Publishing
Table of Contents: “... Translation from RISC-V to a CGRA -- Organic Computing -- An Organic Computing System for Automated Testing...”
Cover Image
Read Now

111
Published 2019
Springer International Publishing
Table of Contents: “... based translator for Sesotho language -- Embedding A Digital Wallet To Pay-with-a-Selfie, Defining...”
Cover Image
Read Now

112
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use...”
Cover Image
Read Now

113
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...A ?-to-CL translation for strong normalization -- Typed intermediate languages for shape analysis...”
Cover Image
Read Now

114
Published 2021
Springer International Publishing
Table of Contents: “... -- Machine translation of cortical activity to text -- 2 Towards practical MEG-BCI with optically pumped...”
Cover Image
Read Now

115
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Scalable and Secure Global Tracking Service for Mobile Agents -- Run-Time Support -- Translating Strong...”
Cover Image
Read Now

116
Published 1977
Springer Berlin Heidelberg
Table of Contents: “..., dereferencing and assignment -- Complexity of some problems concerning L systems -- Left-fitting translations...”
Cover Image
Read Now

117
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines...”
Cover Image
Read Now

118
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata...”
Cover Image
Read Now

119
Published 2017
Springer International Publishing
Table of Contents: “... Sewerage Networks -- Relative Translation and Rotation Calibration Between Optical Target and Inertial...”
Cover Image
Read Now

120
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Memory Disambiguation in a Dynamic Binary Translator -- Accurately Choosing Execution Runs for Software...”