Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "European Joint Conferences on Theory and Practice of Software"
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
Search alternatives
:
joint conferences »
joint conference
practice »
practical
Showing
41
-
60
of
116
Search:
'"European Joint Conferences on Theory and Practice of Software"'
,
query time: 0.74s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2016
Springer Berlin Heidelberg
“
..., in April 2016, held as Part of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS...
”
Read Now
42
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2015
Springer Berlin Heidelberg
“
... of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2015. The 45 papers included...
”
Read Now
43
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2017
Springer Berlin Heidelberg
“
... 2017, held as Part of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2017...
”
Read Now
44
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024...
Published 2024
Springer Nature Switzerland
“
... of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2024. The 25 full papers and 1 fresh...
”
Read Now
45
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024...
Published 2024
Springer Nature Switzerland
“
... of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2024. The 25 full papers and 1 fresh...
”
Read Now
46
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2024
Springer Nature Switzerland
Read Now
47
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2012
Springer Berlin Heidelberg
Read Now
48
Fundamental Approaches to Software Engineering : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2012
Springer Berlin Heidelberg
“
... of ETAPS 2012, the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
. The 33 full papers...
”
Read Now
49
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2020
Springer International Publishing
“
..., Ireland, in April 2020, and was held as Part of the
European
Joint
Conferences
on
Theory
and
Practice
...
”
Read Now
50
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2018
Springer International Publishing
Read Now
51
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2021
Springer International Publishing
Read Now
52
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2019
Springer International Publishing
Read Now
53
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2016
Springer Berlin Heidelberg
“
..., held as Part of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2016. The 44...
”
Read Now
54
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2020
Springer International Publishing
“
... in Dublin, Ireland, in April 2020, and was held as Part of the
European
Joint
Conferences
on
Theory
...
”
Read Now
55
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2020
Springer International Publishing
“
... in Dublin, Ireland, in April 2020, and was held as Part of the
European
Joint
Conferences
on
Theory
...
”
Read Now
56
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018
Springer International Publishing
Read Now
57
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018
Springer International Publishing
Read Now
58
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2021
Springer International Publishing
“
... until April 1, 2021, as part of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS...
”
Read Now
59
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2019
Springer International Publishing
Read Now
60
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2022
Springer International Publishing
“
..., in Munich, Germany, as part of the
European
Joint
Conferences
on
Theory
and
Practice
of
Software
, ETAPS 2022...
”
1
2
3
4
5
6
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
77
004 - Data processing & computer science
36
003 - Systems
1
006 - Special computer methods
1
511 - General principles of mathematics
1
Language
English
116
Collection
Springer eBooks 2005-
100
Springer Book Archives -2004
16
Author
Beyer, Dirk
3
Finkbeiner, Bernd
3
Huisman, Marieke
3
Kovács, Laura
3
Legay, Axel
3
Baier, Christel
2
more ...
Biere, Armin
2
Chechik, Marsha
2
Fisman, Dana
2
Groote, Jan Friso
2
Kobayashi, Naoki
2
König, Barbara
2
Larsen, Kim Guldstrand
2
Margaria, Tiziana
2
Parker, David
2
Rosu, Grigore
2
Sands, David
2
Sankaranarayanan, Sriram
2
Sharygina, Natasha
2
Stevens, Perdita
2
Vojnar, Tomáš
2
Weirich, Stephanie
2
Worrell, James
2
Zhang, Lijun
2
Abadi, Martín
1
Abdulla, Parosh Aziz
1
Abraham, Erika
1
Ahmed, Amal
1
Baresi, Luciano
1
Barthe, Gilles
1
Basin, David
1
Bauer, Lujo
1
Bensalem, Saddek
1
Birkedal, Lars
1
Bodik, Rastislav
1
Bojańczyk, Mikołaj
1
Bosnacki, Dragan
1
Bouyer, Patricia
1
Cabot, Jordi
1
Caires, Luís
1
Castagna, Giuseppe
1
Cavalcanti, Ana
1
Cerioli, Maura
1
Cleaveland, W. Rance
1
Cohen, Albert
1
Cortellessa, Vittorio
1
Dal Lago, Ugo
1
De Bosschere, Koen
1
Degano, Pierpaolo
1
Egyed, Alexander
1
Engberg, Uffe
1
Esparza, Javier
1
Felleisen, Matthias
1
Fiadeiro, Jose L.
1
Finance, Jean-Pierre
1
Flanagan, Cormac
1
Focardi, Riccardo
1
Franke, Björn
1
Gardner, Philippa
1
Giannakopoulou, Dimitra
1
Gnesi, Stefania
1
Goubault-Larrecq, Jean
1
Guerra, Esther
1
Guttman, Joshua D.
1
Halbwachs, Nicolas
1
Havelund, Klaus
1
Heckel, Reiko
1
Hermanns, Holger
1
Hofmann, Martin
1
Honsell, Furio
1
Horspool, R. Niegel
1
Hussmann, Heinrich
1
Hähnle, Reiner
1
Jacobs, Bart
1
Jensen, Kurt
1
Jhala, Ranjit
1
Johnsen, Einar Broch
1
Katoen, Joost-Pieter
1
Kiefer, Stefan
1
Knoop, Jens
1
Kowalewski, Stefan
1
Kremer, Steve
1
Kupferman, Orna
1
Kutsche, Ralf-Detlef
1
Küsters, Ralf
1
Lakhnech, Yassine
1
Lambers, Leen
1
Leino, K. Rustan M.
1
Leue, Stefan
1
Lumpe, Markus
1
Löding, Christof
1
Löwe, Welf
1
Maffei, Matteo
1
Margaria-Steffen, Tiziana
1
Miculan, Marino
1
Mitchell, John C.
1
Murawski, Andrzej S.
1
Muscholl, Anca
1
Mycroft, Alan
1
Myers, Andrew
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&lookfor=%22European+Joint+Conferences+on+Theory+and+Practice+of+Software%22&type=AllFields
Send by Email
×
Loading...