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
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
topic_facet:"Programming Languages, Compilers, Interpreters"
Showing
1
-
20
of
301
Search:
''
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
Call Number:
Loading...
Located:
Loading...
Read Now
2
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
Call Number:
Loading...
Located:
Loading...
Read Now
3
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
Call Number:
Loading...
Located:
Loading...
Read Now
4
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
Call Number:
Loading...
Located:
Loading...
Read Now
5
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
Call Number:
Loading...
Located:
Loading...
Read Now
6
Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning
by
Alonso, Eduardo
Published 2003
Springer-Verlag Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
7
Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
by
Ball, Thomas
Published 2003
Springer-Verlag Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
8
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
by
Jeuring, Johan
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
9
Implementation of Functional Languages : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
by
Pena, Ricardo
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
10
Extreme Programming and Agile Processes in Software Engineering : 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings
by
Marchesi, Michele
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
11
Middleware 2003 : ACMIFIPUSENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
by
Endler, Markus
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
12
Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
by
Cousot, Radhia
Published 2003
Springer-Verlag Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
13
Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
by
Hofmann, Martin
Published 2003
Springer-Verlag Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
14
Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
by
Rosen, Jean-Pierre
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
15
Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceed...
by
Saraswat, Vijay A
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
16
Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
by
Palamidessi, Catuscia
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
17
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
by
Pandya, Paritosh K
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
18
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
by
Baader, Franz
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
19
Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings
by
Maurer, Frank
Published 2003
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
Read Now
20
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
by
Petrenko, Alexandre
Published 2004
Springer Berlin Heidelberg
Call Number:
Loading...
Located:
Loading...
1
2
3
4
5
6
7
8
9
10
11
Narrow Search
Remove Filters
Other: Programming Languages, Compilers, Interpreters
Year of Publication
From:
To:
Classification
301
004 - Data processing & computer science
Collection
301
Lecture Notes in Computer Science
Author
3
Backhouse, Roland
3
Palamidessi, Catuscia
2
Apt, Krzysztof R
2
Bernardo, Marco
2
Degano, Pierpaolo
2
Dongarra, Jack
more ...
2
Emmerich, Wolfgang
2
Focardi, Riccardo
2
Guerraoui, Rachid
2
Kranzlmüller, Dieter
2
Larsen, Kim G
2
Middeldorp, Aart
2
Mueller, Frank
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Smolka, Gert
2
Swierstra, S Doaitse
2
Taft, Tucker S
2
Taha, Walid
2
Wing, Jeannette M
1
Abramsky, Samson
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
Arts, Thomas
1
Arvind, V
1
Astesiano, Egidio
1
Baader, Franz
1
Baar, Thomas
1
Bachmair, Leo
1
Baeten, Jos C M
1
Bal, Henri E
1
Ball, Thomas
1
Barnes, John
1
Barthe, Gilles
1
Batory, Don
1
Berardi, Stefano
1
Bert, Didier
1
Bezivin, Jean
1
Bidoit, Michel
1
Bishop, Judith
1
Bistarelli, Stefano
1
Bjøner, Dines
1
Bjørner, Dines
1
Bliek, Christian
1
Boer, Frank S de
1
Boer, Frank Sde
1
Boiten, Eerke
1
Boiten, Eerke A
1
Bosch, Jan
1
Bošnački, Dragan
1
Brezany, Peter
1
Brim, Luboš
1
Brinksma, Ed
1
Broy, Manfred
1
Bruynooghe, Maurice
1
Bubak, Marian
1
Börger, Egon
1
Böszörményi, László
1
Callaghan, Paul
1
Carter, Larry
1
Cazzola, Walter
1
Chatterjee, Siddhartha
1
Chin, Wei-Ngan
1
Clack, Chris
1
Cluet, Sophie
1
Codognet, Philippe
1
Coen-Porisini, Alberto
1
Cointe, Pierre
1
Comon, Hubert
1
Coquand, Thierry
1
Cortesi, Agostino
1
Cotronis, Yiannis
1
Cousot, Radhia
1
Craeynest, Dirk
1
Crnkovic, Ivica
1
Czarnecki, Krzysztof
1
Dahl, Veronica
1
Dam, Mads
1
Damm, Werner
1
Dams, Dennis
1
Danvy, Olivier
1
Dastani, Mehdi
1
Davidson, Jack
1
Davies, Jim
1
Dechter, Rina
1
Demoen, Bart
1
Deransart, Pierre
1
Dershowitz, Nachum
1
Dietz, Henry G
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=topic_facet%3A%22Programming+Languages%2C+Compilers%2C+Interpreters%22&type=AllFields
Send by Email
×
Loading...