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]"
Search alternatives
:
compilers »
computers
,
compiled
Showing
1
-
20
of
107
Search:
'"Compilers And Interpreters"'
,
query time: 0.38s
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
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected...
Published 2014
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
3
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Published 2014
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
4
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
5
The Functional Treatment of Parsing
by
Leermakers, René
Published 1993
Springer US
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
6
Concrete Semantics : With Isabelle/HOL
by
Nipkow, Tobias
,
Klein, Gerwin
Published 2014
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
7
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Published 2015
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
8
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
9
Specification and Compositional Verification of Real-Time Systems
by
Hooman, Jozef
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
10
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
Published 2009
Springer London
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
11
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
12
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
13
Efficient Graph Rewriting and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
14
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
15
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
16
Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Published 2016
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
17
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Published 2017
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
18
Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Published 2019
Springer International Publishing
Subjects:
“
...
Compilers
and
Interpreters
...
”
Read Now
19
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
...
”
Read Now
20
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Compilers
and
Interpreters
...
”
1
2
3
4
5
6
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
107
Collection
Springer eBooks 2005-
72
Springer Book Archives -2004
35
Author
Bitsch, Friedemann
2
Brookes, Stephen
2
Davenport, James H.
2
Hung, Dang Van
2
Jeannot, Emmanuel
2
Jones, Cliff
2
more ...
Lakhnech, Yassine
2
Main, Michael
2
Melton, Austin
2
Mislove, Michael
2
Namyst, Raymond
2
Potapov, Igor
2
Roman, Jean
2
Schoitsch, Erwin
2
Tonetta, Stefano
2
Abraham, Erika
1
Abramsky, S.
1
Aceto, Luca
1
Artho, Cyrille
1
Arvind, V.
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Baeten, Jos C.M.
1
Baltag, Alexandru
1
Bansal, Nikhil
1
Barbier, Franck
1
Barkaoui, Kamel
1
Bauer, F.L.
1
Bensalem, Saddek
1
Bernardo, Marco
1
Bloem, Roderick
1
Boiten, Eerke
1
Book, Ronald V.
1
Boreale, Michele
1
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
Butler, Michael
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Chang, Bor-Yuh Evan
1
Chatterjee, Krishnendu
1
Chechik, Marsha
1
Ciardo, Gianfranco
1
Cimatti, Alessandro
1
Colom, Jose-Manuel
1
Cook, Byron
1
Corradini, Flavio
1
Cortesi, Agostino
1
Counsell, Steve
1
Crespi Reghizzi, Stefano
1
Dahl, Ole-Johan
1
Davies, Jim
1
De Vos, Alexis
1
Degano, Pierpaolo
1
Delzanno, Giorgio
1
Deransart, Pierre
1
Derrick, John
1
Desel, Jörg
1
Diks, Krzystof
1
Dimitrova, Rayna
1
Duan, Zhenhua
1
Dörr, Heiko
1
Ehrig, Hartmut
1
Engels, Gregor
1
Esparza, Javier
1
Eugster, Patrick
1
Fan, Chuchu
1
Finkel, Alain
1
Finocchi, Irene
1
Fioravanti, Fabio
1
Fitch, John
1
Fähndrich, Manuel
1
Gadducci, Fabio
1
Gallagher, John P.
1
Gibbons, Jeremy
1
Gibson-Robinson, Thomas
1
Gill, Andy
1
Gnesi, Stefania
1
Gopalakrishnan, Ganesh
1
Gorrieri, Roberto
1
Graf, Susanne
1
Groote, Jan F.
1
Guerra, Esther
1
Habel, Annegret
1
Hage, Jurriaan
1
Havelund, Klaus
1
Haveraaen, Magne
1
Henzinger, Thomas A.
1
Hermenegildo, Manuel V.
1
Hooman, Jozef
1
Hopcroft, Philippa
1
Horimoto, Katsuhisa
1
Hou, Zhe
1
Ingólfsdóttir, Anna
1
Jackson, Paul
1
Jobstmann, Barbara
1
Jouannaud, Jean-Pierre
1
Kapur, Deepak
1
Katoen, Joost-Pieter
1
Kauers, Manuel
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&lookfor=%22Compilers+And+Interpreters%22&type=Subject
Send by Email
×
Loading...