Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "translators"
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
:
"translators" »
"translator"
,
"translations"
,
"transistors"
Showing
141
-
160
of
489
Search:
'"translators"'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
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
142
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...
”
Call Number:
TK5105.585
Read Now
143
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
144
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
145
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
146
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
147
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
148
Speech and Language Processing for Human-Machine Communications : Proceedings of CSI 2015
Published 2018
Springer Nature Singapore
Table of Contents:
“
...
Translation
Linguistic Issues of Indian Sign Language -- Analysis of Emotion Recognition System for Telugu...
”
Read Now
149
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...-Order Encodings in the Logical Framework LF -- Automatically
Translating
Type and Function Definitions...
”
Read Now
150
Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... -- Mechanically Verified Theory of Contracts -- A Complete Semantics of K and Its
Translation
to Isabelle...
”
Read Now
151
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Published 2021
Springer International Publishing
Table of Contents:
“
...Model
Translation
from Papyrus-RT into the nuXmv Model Checker -- Modeling and Verification...
”
Read Now
152
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... -- Reasoning on Data Models in Schema
Translation
-- Tightly Integrated Probabilistic Description Logic...
”
Read Now
153
Membrane Computing : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... in K --
Translating
Multiset Tree Automata into P Systems...
”
Read Now
154
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
155
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
156
Algebraic Biology : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... of Bioregulatory Networks --
Translating
Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata...
”
Read Now
157
Handbook on Enterprise Architecture
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Design:
Translating
Requirements to Design Specifications -- 16 Organisational Design -- 17 Application...
”
Read Now
158
Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Refinement in Hierarchical Petri Nets with Application to Active Document Workflow --
Translating
TPAL...
”
Read Now
159
Graph Drawing : Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... two -- On rectangle visibility graphs -- A graph drawing and
translation
service on the WWW -- Drawing...
”
Read Now
160
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...
”
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
331 - Labor economics
58
005 - Computer programming, programs & data
41
500 - Natural sciences & mathematics
36
658 - General management
26
621 - Applied physics
23
more ...
384 - Communications; telecommunication
18
374 - Adult education
14
745 - Decorative arts
13
620 - Engineering & allied operations
11
330 - Economics
5
006 - Special computer methods
3
300 - Social sciences
3
020 - Library & information sciences
1
302 - Social interaction
1
338 - Production
1
380 - Commerce, communications & transportation
1
381 - Commerce
1
510 - Mathematics
1
600 - Technology
1
650 - Management & auxiliary services
1
781 - General principles & musical forms
1
see all ...
less ...
Language
English
408
German
29
Chinese
13
Japanese
10
Polish
9
Undetermined
2
Collection
Springer eBooks 2005-
207
O'Reilly
152
Springer Book Archives -2004
106
Lecture Notes in Computer Science
18
Springer Lecture Notes Archiv 1964-1996
4
Elsevier ScienceDirect eBooks
1
more ...
MIT Press eBook Archive
1
see all ...
less ...
Author
Ardito, Carmelo
5
Lanzilotti, Rosa
5
Malizia, Alessio
5
Petrie, Helen
5
Lammle, Todd
4
Rozenberg, Grzegorz
4
more ...
Brikman, Yevgeniy
3
Ferrández Vicente, José Manuel
3
Gelbukh, Alexander
3
Hagen, Silvia
3
Klicman, Peter
3
Kurosu, Masaaki
3
Wendel, Stephen
3
Yablonski, Jon
3
Adeli, Hojjat
2
Aijima, Masaki
2
Antona, Margherita
2
Aykin, Nuray
2
Bernus, Peter
2
Börger, Egon
2
Cerone, Antonio
2
Davies, Jim
2
Degen, Helmut
2
Dongarra, Jack
2
Edelman, Jason
2
Feilen, Maren
2
Forshaw, James
2
Gutowski, Maksymilian
2
Held, Gilbert
2
Hughes, Lawrence E.
2
Ishida, Toru
2
Johanning, Volker
2
Klopotek, Mieczyslaw A.
2
Lisdorf, Anders
2
Liu, Cricket
2
Lowe, Scott
2
Manz, Olaf
2
Mautner, Pavel
2
Mayr, Ernst W.
2
Meinel, Christoph
2
Meryk, Radosław
2
Mishra, Bud
2
Monk, Simon
2
Montanari, Ugo
2
Oswalt, Matt
2
Plotkin, Gordon
2
Randell, B.
2
Reischuk, Rüdiger
2
Richter, Michael M.
2
Salomaa, Arto
2
Schmidt, Jutta
2
Seneviratne, Pradeeka
2
Sharygina, Natasha
2
Sojka, Petr
2
Steffen, Bernhard
2
Stephanidis, Constantine
2
Troisi, Orlando
2
Val Calvo, Mikel
2
Vanderdonckt, Jean
2
Vassiliadis, Stamatis
2
Visvizi, Anna
2
Wicklund, Phillip
2
Zandron, Claudio
2
Zavattaro, Gianluigi
2
Zoglauer, Thomas
2
Aagesen, Finn Arve
1
Aberer, Karl
1
Adams, Niall M.
1
Agrawal, S. S.
1
Agueh, Max
1
Ait-Ameur, Yamine
1
Akkerhuis, Jaap
1
Albada, Geert Dick van
1
Albitz, Paul
1
Albon, Chris
1
Aley, Rob
1
Allemang, Dean
1
Allen, Grant
1
Allen, Robbie
1
Allison, Brendan Z.
1
Alur, Rajeev
1
America, Pierre
1
Amoss, John
1
Amtrup, Jan Willers
1
An SAIC Company, CloudShield Technologies Inc
1
Anai, Hirokazu
1
Andersen, Peter Bøgh
1
Anderson, Al
1
Andrés, Pedro Miguel Latorre
1
Annuzzi, Joseph
1
Antoniou, Grigoris
1
Anutariya, Chutiporn
1
Apcar, Jeff
1
Apple Computer, Inc
1
Arefin, Mohammad Shamsul
1
Arisawa, Hiroshi
1
Arnăutu, Viorel
1
Aroyo, Lora
1
Artemov, Sergei
1
Asano, Tetsuo
1
see all ...
less ...
Recently Uploaded
Last Month
9
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%22translators%22&type=AllFields
Send by Email
×
Loading...