Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((translating OR translations) or translation) and interpreting
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:"004 - Data processing & computer science"
Search alternatives
:
translating »
translational
Showing
1
-
20
of
78
Search:
'((translating OR translations) or translation) and interpreting'
,
query time: 1.55s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Model Generation for Natural Language
Interpretation
and Analysis
by
Konrad, Karsten
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Translators
(Computer programs)...
”
Read Now
2
Automata, Languages and Programming : Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
Published 1977
Springer Berlin Heidelberg
Table of Contents:
“
..., dereferencing and assignment -- Complexity of some problems concerning L systems -- Left-fitting
translations
...
”
Read Now
3
PARLE Parallel Architectures and Languages Europe : Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...Learning
translation
invariant recognition in a massively parallel networks -- Trace theory...
”
Read Now
4
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Select...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... of tools and
translation
-- Experiments with partial evaluation domains for rewrite specifications -- Class...
”
Read Now
5
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
6
Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Derivability in Locally Quantified Modal Logics via
Translation
in Set Theory -- ?-Calculus...
”
Read Now
7
CONCUR '90: Theories of Concurrency: Unification and Extension : Theories of Concurrency: Unification and Extension
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...Superimposition for interacting processes -- An implementation of a
translational
semantics...
”
Read Now
8
Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Abstraction in a Program Logic Calculus -- Mechanised
Translation
of Control Law Diagrams into Circus...
”
Read Now
9
Efficient Graph Rewriting and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Compilers and
Interpreters
...
”
Read Now
10
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... and breadth-first search in digraphs -- Greibach normal form transformation, revisited --
Translating
regular...
”
Read Now
11
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Networks -- Session: Non-software Domains --
Translating
Hardware Process Algebras into Standard Process...
”
Read Now
12
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... --
Translating
FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models...
”
Read Now
13
Algol-like Languages
by
O'Hearn, Peter
,
Tennent, Robert
Published 1997
Birkhäuser
Subjects:
“
...Compilers and
Interpreters
...
”
Read Now
14
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... -- The
Translation
Power of the Futamura Projections -- A Compiler Generator for Constraint Logic Programs...
”
Read Now
15
Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... and program refinement -- AC-equation solving -- On the operational
interpretation
of complex types -- Tense...
”
Read Now
16
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
17
Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... Monitoring Automaton Construction for LTL -- How to
Translate
Efficiently Extensions of Temporal Logics...
”
Read Now
18
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...
Translation
of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...
”
Read Now
19
Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... to associate rewards with EMPA terms -- A semantics preserving actor
translation
-- Periodic and non-periodic...
”
Read Now
20
Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...Compilers and
Interpreters
...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
9
331 - Labor economics
2
658 - General management
2
330 - Economics
1
500 - Natural sciences & mathematics
1
more ...
510 - Mathematics
1
600 - Technology
1
620 - Engineering & allied operations
1
621 - Applied physics
1
745 - Decorative arts
1
see all ...
less ...
Language
English
76
German
1
Collection
Springer eBooks 2005-
41
Springer Book Archives -2004
33
O'Reilly
3
Lecture Notes in Computer Science
1
Author
Davies, Jim
2
Rozenberg, Grzegorz
2
Aberer, Karl
1
Agrawal, S. S.
1
Allemang, Dean
1
Aykin, Nuray
1
more ...
Baeten, Joseph C.M.
1
Bajwa, Imran Sarwar
1
Bakker, Jacobus W. de
1
Ball, Thomas
1
Bansal, Poonam
1
Barkaoui, Kamel
1
Bechhofer, Sean
1
Begain, Khalid
1
Beltowski, Piotr
1
Biswas, Somenath
1
Blum, E.K.
1
Bolch, Gunter
1
Bouge, Luc
1
Brakhage, H.
1
Broy, Manfred
1
Cabestany, Joan
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Chbeir, Richard
1
Chechik, Marsha
1
Choi, Key-Sun
1
Chytil, M.
1
Ciobanu, Gabriel
1
Crespi Reghizzi, Stefano
1
Dahl, Ole-Johan
1
Degano, Pierpaolo
1
Degen, Helmut
1
Devi, Amita
1
Dezani-Ciancaglini, Mariangiola
1
Doncker, Elise de
1
D´Souza, Meenakshi
1
Dörr, Heiko
1
Ehrig, Hartmut
1
Engels, Gregor
1
Esik, Zoltan
1
Ferrández Vicente, José Manuel
1
Forshaw, James
1
Fraigniaud, Pierre
1
Fujita, Hamido
1
Geuvers, Herman
1
Gibbons, Jeremy
1
Goel, Ashok K.
1
Gorrieri, Roberto
1
Governatori, Guido
1
Grimaldi, Mara
1
Gruska, J.
1
Hall, John
1
Hattori, Hiromitsu
1
Hauswirth, Manfred
1
Haveraaen, Magne
1
Hermenegildo, Manuel V.
1
Herold, Helmut
1
Hoffmann, Jörg
1
Holloway-Attaway, Lissa
1
Horacek, Helmut
1
Ibarra, Oscar H.
1
Ide, Tsuyoshi
1
Jamnik, Mateja
1
Jones, Robert B.
1
Jonsson, Bengt
1
Kapenga, John A.
1
Kaufmann, Matt
1
Kawamura, Takahiro
1
Khan, Javed
1
Kim, Jong-Hoon
1
Klemm, Michael
1
Klinkenberg, Jannis
1
Klop, Jan W.
1
Kocjan, Wojciech
1
Koelsch, George
1
Konrad, Karsten
1
Koubarakis, Manolis
1
Kreowski, Hans-Jörg
1
Kurosu, Masaaki
1
Legay, Axel
1
Leue, Stefan
1
Leuschel, M.
1
Leuschel, Michael
1
Li, Bo
1
Li, Changle
1
Loeckx, J.
1
Lopez-Garcia, Pedro
1
Luo, Yuhua
1
Manolopoulos, Yannis
1
Marchetti-Spaccamela, Alberto
1
Margaria, Tiziana
1
Merino, Pedro
1
Metais, Elisabeth
1
Mignotte, Anne
1
Miola, Alfonso
1
Mira, Jose
1
Moreno-Diaz, Roberto
1
Mori, Hirohiko
1
Morvan, Michel
1
see all ...
less ...
Recently Uploaded
Last Month
3
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%28%28translating+OR+translations%29+or+translation%29+and+interpreting&type=AllFields
Send by Email
×
Loading...