Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search:
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
topic_facet:"Programming Languages, Compilers, Interpreters"
Showing
41
-
60
of
301
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceeding...
by
Damm, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
42
Generative Programming and Component Engineering : ACM SIGPLANSIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings
by
Batory, Don
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
43
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 9th European PVMMPI Users’ Group Meeting Linz, Austria, September 29 – Oktober 2, 2002 Proceedings
by
Kranzlmüller, Dieter
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
44
Autonomous Dynamic Reconfiguration in Multi-Agent Systems : Improving the Quality and Efficiency of Collaborative Problem Solving
by
Hannebauer, Markus
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
45
Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
by
Palsberg, Jens
Published 2000
Springer Berlin Heidelberg
Read Now
46
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
by
Keller, Hubertus B
Published 2000
Springer Berlin Heidelberg
Read Now
47
Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction
by
Müller-Olm, Markus
Published 1997
Springer Berlin Heidelberg
Read Now
48
Mathematical Foundations of Computer Science 1997 : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
by
Privara, Igor
Published 1997
Springer Berlin Heidelberg
Read Now
49
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
by
Moggi, Eugenio
Published 1997
Springer Berlin Heidelberg
Read Now
50
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
by
Hanus, Michael
Published 1997
Springer Berlin Heidelberg
Read Now
51
Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
by
Hentenryck, Pascal van
Published 1997
Springer Berlin Heidelberg
Read Now
52
Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
by
Gutknecht, Jürg
Published 2000
Springer Berlin Heidelberg
Read Now
53
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
by
Gurevich, Yuri
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
54
Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
by
Börger, Egon
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
55
Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers
by
Dietz, Henry G
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
56
Software Engineering and Middleware : Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
by
Coen-Porisini, Alberto
Published 2003
Springer Berlin Heidelberg
Read Now
57
Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
by
Geuvers, Herman
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
58
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...
by
Bernardo, Marco
Published 2003
Springer Berlin Heidelberg
Read Now
59
Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
by
Pfenning, Frank
Published 2003
Springer Berlin Heidelberg
Read Now
60
Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
by
Krall, Andreas
Published 2003
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Other: Programming Languages, Compilers, Interpreters
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
301
Collection
Lecture Notes in Computer Science
301
Author
Dongarra, Jack
7
Strohmeier, Alfred
4
Backhouse, Roland
3
Broy, Manfred
3
Clack, Chris
3
Davies, Jim
3
more ...
Ferrante, Jeanne
3
Gorrieri, Roberto
3
Graf, Susanne
3
Kacsuk, Peter
3
Mosses, Peter D
3
Nielsen, Mogens
3
Odersky, Martin
3
Ohori, Atsushi
3
Palamidessi, Catuscia
3
Rossi, Francesca
3
Taha, Walid
3
Woodcock, Jim
3
Zamulin, Alexandre V
3
Apt, Krzysztof R
2
Arts, Thomas
2
Batory, Don
2
Bernardo, Marco
2
Carter, Larry
2
Chatterjee, Siddhartha
2
Consel, Charles
2
Cortesi, Agostino
2
Damm, Werner
2
Davie, Tony
2
Degano, Pierpaolo
2
Duff, Robert A
2
Dybjer, Peter
2
Emmerich, Wolfgang
2
Focardi, Riccardo
2
Gibbons, Jeremy
2
Glaser, Hugh
2
Guerraoui, Rachid
2
Hammond, Kevin
2
Hermanns, Holger
2
Hussmann, Heinrich
2
Katoen, Joost-Pieter
2
Knudsen, Jørgen Lindskov
2
Koopman, Pieter
2
Kranzlmüller, Dieter
2
Kuchen, Herbert
2
Larsen, Kim G
2
Leue, Stefan
2
Levi, Giorgio
2
Li, Zhiyuan
2
Maibaum, Tom
2
Matsuoka, Satoshi
2
Meinke, Karl
2
Middeldorp, Aart
2
Mohnen, Markus
2
Mueller, Frank
2
Nipkow, Tobias
2
Odell, James
2
Rovan, Branislav
2
Smolka, Gert
2
Steffen, Bernhard
2
Stevens, Perdita
2
Stuckey, Peter J
2
Swierstra, S Doaitse
2
Taft, Tucker S
2
Tison, Sophie
2
Weiß, Gerhard
2
Wells, Don
2
Wing, Jeannette M
2
de Roever, Willem-Paul
2
Abramsky, Samson
1
Agrawal, Dharma P
1
Agrawal, Manindra
1
Aichernig, Bernhard K
1
Aksit, Mehmed
1
Alexandrov, Vassil
1
Alfaro, Luca
1
Alonso, Eduardo
1
Alt, René
1
Altenkirch, Thorsten
1
Alur, Rajeev
1
Alves-Foss, Jim
1
Amadio, Roberto
1
Antoniou, Grigoris
1
Araki, Keijiro
1
Arvind, V
1
Astesiano, Egidio
1
Attie, Paul C
1
Baader, Franz
1
Baar, Thomas
1
Bachmair, Leo
1
Baeten, Jos C M
1
Bal, Henri E
1
Ball, Thomas
1
Balsamo, Simonetta
1
Banerjee, Utpal
1
Barnes, John
1
Barnett, Mike
1
Barthe, Gilles
1
Baumeister, Hubert
1
Belkhouche, Boumediene
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&filter%5B%5D=topic_facet%3A%22Programming+Languages%2C+Compilers%2C+Interpreters%22&type=AllFields
Send by Email
×
Loading...