MPG.eBooks - Search Results - ("translator" or "translations")

141

Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines...”

Read Now

142

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata...”

Read Now

143

Sensor Systems and Software : 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Table of Contents: “... Sewerage Networks -- Relative Translation and Rotation Calibration Between Optical Target and Inertial...”

Read Now

144

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Pap...

Published 2022

Springer Nature Singapore

Table of Contents: “... Distillation into Machine Translation Evaluation -- Regularizing Deep Text Models By Encouraging Competition...”

Read Now

145

Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... substructure lambda calculi -- Translating dependent type theory into higher order logic -- Studying the fully...”

Read Now

146

Xing wei gai bian ke xue de shi wu she ji : huo yong xin li xue yu xing wei jing ji xue = Designing for behavior change : applying psychology and behavioral economics

by Wendel, Stephen
Published 2015

GoTop Information, Inc.

Read Now

147

Hadoop MapReduce xing neng you hua : Optimizing Hadoop for MapReduce

by Tannir, Khaled
Published 2015

Ren min you dian chu ban she = Posts & Telecom Press

Read Now

148

Kubernetes she ji mo shi : Kubernetes patterns

by Ibryam, Bilgin, Huss, Roland
Published 2020

Zhongguo dian li chu ban she = China Electric Power Press

Read Now

149

Advanced Information Systems Engineering : 8th International Conference, CAiSE'96, Herakleion, Crete, Greece, May (20-24), 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... for controlling the propagation of information and activities in databases -- Multi-data models translations...”

Read Now

150

Hadoop shi zhan shou ce : Hadoop real-world solutions cookbook

by Owens, Jonathan R., Lentz, Jon, Femiano, Brian
Published 2014

Ren min you dian chu ban she = Posts & Telecom Press

Read Now

151

TRON Project 1988 : Open-Architecture Computer Systems

Published 1988

Springer Japan

Table of Contents: “... -- Natural Language Translation Services in BTRON -- A Study on Video Manager of the BTRON Specification...”

Read Now

152

Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway

Published 2008

Springer US

Table of Contents: “... -- A Translation Mechanism for Recommendations -- Modeling Trust for Recommender Systems using...”

Read Now

153

Planning for IPv6

by Hagen, Silvia
Published 2011

O'Reilly

Table of Contents: “... and Translation -- How Can IPv6 Clients Reach IPv4 Content? -- Load Balancing -- Summary...”

Read Now

154

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Macro Tree Transducers -- Computing Convex Hulls by Automata Iteration -- A Translation from the HTML...”

Read Now

155

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... by a Fully Complete Translation to the Simply Typed ?-Calculus -- Formalization of CTL* in Calculus...”

Read Now

156

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... of concurrent systems -- Efficient modeling of memory arrays in symbolic ternary simulation -- Translation...”

Read Now

157

Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

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...”

Read Now

158

Theoretical Computer Science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... -- Constructing Finite Maximal Codes from Schützenberger Conjecture -- An Effective Translation of Fickle...”

Read Now

159

Building QoS into Distributed Systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS ’97), 21–23 May 1997, New York, USA

Published 1997

Springer US

Table of Contents: “... and translation -- 39 Quantitative QoS-mapping: a unifying approach -- 40 QoS translation and admission control...”

Read Now

160

UX dezain no hōsoku : saikō no purodakuto to sābisu o sasaeru shinrigaku

by Yablonski, Jon
Published 2021

Orairī Japan

Narrow Search