Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Compilers And Interpreters"
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]"
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
compilers »
computers
,
compiled
Showing
1
-
20
of
35
Search:
'"Compilers And Interpreters"'
,
query time: 1.13s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
2
Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
by
Zwiers, Job
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
3
The Functional Treatment of Parsing
by
Leermakers, René
Published 1993
Springer US
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
4
CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
5
Specification and Compositional Verification of Real-Time Systems
by
Hooman, Jozef
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
6
Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
7
Efficient Graph Rewriting and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
8
Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
9
Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
10
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
11
Mobile Computation with Functions
by
Kirli, Zeliha Dilsun
Published 2002
Springer US
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
12
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
13
Algorithmic Language and Program Development
by
Bauer, F.L.
,
Wössner, H.
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
14
A Connotational Theory of Program Structure
by
Royer, James S.
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
15
Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
16
Parsing Theory : Volume II LR(k) and LL(k) Parsing
by
Sippu, Seppo
,
Soisalon-Soininen, Eljas
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
17
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
18
Hyperedge Replacement: Grammars and Languages
by
Habel, Annegret
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
19
Workload Characterization for Computer System Design
Published 2000
Springer US
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
20
Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
35
Collection
Springer Book Archives -2004
Author
Brookes, Stephen
2
Main, Michael
2
Melton, Austin
2
Mislove, Michael
2
Abramsky, S.
1
Baeten, Jos C.M.
1
more ...
Barbier, Franck
1
Bauer, F.L.
1
Boiten, Eerke
1
Book, Ronald V.
1
Cortesi, Agostino
1
Dahl, Ole-Johan
1
Davenport, James H.
1
Degano, Pierpaolo
1
Deransart, Pierre
1
Derrick, John
1
Diks, Krzystof
1
Dörr, Heiko
1
Ehrig, Hartmut
1
Fitch, John
1
Gorrieri, Roberto
1
Groote, Jan F.
1
Habel, Annegret
1
Haveraaen, Magne
1
Hooman, Jozef
1
Kirchner, Helene
1
Kirli, Zeliha Dilsun
1
Kleine Buening, Hans
1
Kurian John, Lizy
1
Lakhnech, Yassine
1
Langmaack, Hans
1
Leermakers, René
1
Mahr, Bernd
1
Maibaum, T.S.E.
1
Maluszynski, Jan
1
Marchetti-Spaccamela, Alberto
1
Maynard, Ann Marie Grizzaffi
1
Miola, Alfonso
1
Myers, J.Paul Jr
1
O'Donnell, Michael J.
1
Owe, Olaf
1
Parisi-Presicce, Francesco
1
Reed, Jeanne
1
Reed, Rick
1
Roever, Willem-Paul de
1
Royer, James S.
1
Rytter, Wojciech
1
Sippu, Seppo
1
Smith, Graeme
1
Soisalon-Soininen, Eljas
1
Thalheim, Bernhard
1
Vytopil, Jan
1
Wang, Dongming
1
Wössner, H.
1
Yovine, Sergio
1
Zimmermann, Wolf
1
Zwiers, Job
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&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22Compilers+And+Interpreters%22&type=Subject
Send by Email
×
Loading...