Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("translators" OR "translations")
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"040 - [Unassigned]"
Search alternatives
:
"translators" »
"translator"
,
"transistors"
,
"translates"
"translations" »
"translation"
Showing
1
-
20
of
52
Search:
'("translators" OR "translations")'
,
query time: 2.15s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
A Polynomial
Translation
of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains
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...
”
Read Now
2
Bioinspired Systems for
Translational
Applications: From Robotics to Social Engineering...
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... and civil engineering through human AI
translations
-- smart renewable energies: advancing AI algorithms...
”
Read Now
3
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
Published 2009
Springer London
Table of Contents:
“
... -- Bottom-Up and General Parsing --
Translation
Semantics and Static Analysis...
”
Read Now
4
Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed
translation
scheme...
”
Read Now
5
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedi...
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...Comparing ?-calculus
translations
in sharing graphs -- Extensions of pure type systems -- A model...
”
Read Now
6
Transactions on Computational Systems Biology VII
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... --
Translating
SBML Models into the Stochastic ?-Calculus for Stochastic Simulation -- Graph Theory for Rule...
”
Read Now
7
Foundations of Data Mining and Knowledge Discovery
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...From the contents: Part I Foundations of Data Mining; Knowledge Discovery as
Translation
...
”
Read Now
8
Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... of Rewriting Logic Specifications --
Translating
a Dependently-Typed Logic to First-Order Logic...
”
Read Now
9
Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... Decomposition -- A CPS-
translation
of the ??-calculus -- A lower bound on the growth of functions computed...
”
Read Now
10
Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Published 1975
Springer Berlin Heidelberg
Table of Contents:
“
... -- Piecewise testable events -- Die Grösse des zustandsminimalen LR(O)-Analysators -- Formal
translations
...
”
Read Now
11
Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
... -- Equational Reasoning with Context-Free Families of String Diagrams --
Translating
Essential OCL Invariants...
”
Read Now
12
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... for Dynamic Symbolic Execution: a Preliminary Study --
Translation
of Interactive Datalog Programs...
”
Read Now
13
Implementation and Application of Automata : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings
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...
”
Read Now
14
Finite Geometries : Proceedings of the Fourth Isle of Thorns Conference
Published 2001
Springer US
Table of Contents:
“
... -- On symmetries and
translation
generalized quadrangles -- Complete caps in projective space which are disjoint...
”
Read Now
15
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... RBAC-to-XACML
Translation
Using Lightweight Formal Methods -- Towards Formally Templated Relational...
”
Read Now
16
Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... -- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming --
Translating
Datalog...
”
Read Now
17
Advanced Information Systems Engineering : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... — An interactive networked multimedia applications specification environment with E-LOTOS
translator
-- Information...
”
Read Now
18
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... for the default- and the autoepistemic logic -- On Completeness for NP via projection
translations
-- Control...
”
Read Now
19
Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Published 2015
Springer International Publishing
Table of Contents:
“
... Simulators -- Automatic
Translation
of MP+V Systems to Register Machines -- On the Communication Complexity...
”
Read Now
20
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Monotone Predicates in Boolean Formulae -- Smten: Automatic
Translation
of High-level Symbolic Computations...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
52
Collection
Springer eBooks 2005-
29
Springer Book Archives -2004
23
Author
Börger, Egon
2
Ferrández Vicente, José Manuel
2
Mishra, Bud
2
Montanari, Ugo
2
Rozenberg, Grzegorz
2
Salomaa, Arto
2
more ...
Sharygina, Natasha
2
Zandron, Claudio
2
Adams, Niall M.
1
Adeli, Hojjat
1
Attoui, Ammar
1
Bandyopadhyay, Sanghamitra
1
Barkaoui, Kamel
1
Blokhuis, Aart
1
Boulicaut, Jean-Francois
1
Brakhage, H.
1
Büchi, J. Richard
1
Cabestany, Joan
1
Calude, Christian
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Chechik, Marsha
1
Chytil, M.
1
Cohen, G.N.
1
Corradini, Andrea
1
Crespi Reghizzi, Stefano
1
D'Ambra, Pasqua
1
Dahl, Ole-Johan
1
Davies, Jim
1
Degano, Pierpaolo
1
Dezani-Ciancaglini, Mariangiola
1
Dutta, Adip
1
Dörr, Heiko
1
Egerstedt, Magnus
1
Ehrig, Hartmut
1
Engels, Gregor
1
Etessami, Kousha
1
Fernández, Maribel
1
Ferretti, Claudio
1
Fisman, Dana
1
Frappier, Marc
1
Ghosh, Soumyabrata
1
Gibbons, Jeremy
1
Glässer, Uwe
1
Gorrieri, Roberto
1
Gruska, J.
1
Guarracino, Mario
1
Göbel, Susanne
1
Haveraaen, Magne
1
Hirschfeld, James W.P.
1
Hu, Xiaohua
1
Ingolfsdottir, Anna
1
Jeffery, Keith G.
1
Jungnickel, Dieter
1
Jäger, Gerhard
1
Kaufmann, Matt
1
Khurshid, Sarfraz
1
Kleine Büning, Hans
1
Komendantskaya, Ekaterina
1
Kreowski, Hans-Jörg
1
Kryszkiewicz, Marzena
1
Laleau, Régine
1
Leuschel, M.
1
Liau, Churn-Jung
1
Lin, Tsau Young
1
Liskiewicz, Maciej
1
Loeckx, J.
1
Mac Lane, Saunders
1
Marchetti-Spaccamela, Alberto
1
Maurer, Hermann
1
Mauri, Giancarlo
1
Miola, Alfonso
1
Mira, Jose
1
Moreno-Diaz, Roberto
1
Nagy, Benedek
1
Nielson, Hanne Riis
1
Ohsuga, Setsuo
1
Owe, Olaf
1
Pal Chaudhuri, Parimal
1
Pal Choudhury, Somshubhro
1
Pal, Sankar K.
1
Parisi-Presicce, Francesco
1
Paulson, Lawrence C.
1
Pernici, Barbara
1
Plasil, Frantisek
1
Plotkin, Gordon
1
Rajamani, Sriram K.
1
Raskin, Jean-François
1
Reischuk, Rüdiger
1
Richter, Michael M.
1
Robardet, Céline
1
Rolim, Jose D.P.
1
Rosu, Grigore
1
Rybinski, Henryk
1
Sankaranarayanan, Sriram
1
Sempere, José M.
1
Shapiro, Ehud
1
Siebes, Arno
1
Siefkes, Dirk
1
Talia, Domenico
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22040+-+%5BUnassigned%5D%22&lookfor=%28%22translators%22+OR+%22translations%22%29&type=AllFields
Send by Email
×
Loading...