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:"Logics and Meanings of Programs"
Showing
21
-
40
of
412
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
by
Oostrom, Vincent van
Published 2004
Springer Berlin Heidelberg
Read Now
22
ECOOP 2004 - Object-Oriented Programming : 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
by
Odersky, Martin
Published 2004
Springer Berlin Heidelberg
Read Now
23
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
by
Berardi, Stefano
Published 2004
Springer Berlin Heidelberg
Read Now
24
Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
by
Bruynooghe, Maurice
Published 2004
Springer Berlin Heidelberg
Read Now
25
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
by
Dastani, Mehdi
Published 2004
Springer Berlin Heidelberg
Read Now
26
Practical Aspects of Declarative Languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
by
Jayaraman, Bharat
Published 2004
Springer Berlin Heidelberg
Read Now
27
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
by
Desel, Jörg
Published 2004
Springer Berlin Heidelberg
Read Now
28
Validation of Stochastic Systems : A Guide to Current Research
by
Baier, Christel
Published 2004
Springer Berlin Heidelberg
Read Now
29
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
by
Alur, Rajeev
Published 2004
Springer Berlin Heidelberg
Read Now
30
Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Sof...
by
Honsell, Furio
Published 2001
Springer Berlin Heidelberg
Read Now
31
Object-Oriented Technology. ECOOP 2003 Workshop Reader : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
by
Buschmann, Frank
Published 2004
Springer Berlin Heidelberg
Read Now
32
Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings
by
Benedetto, Maria Domenica
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
33
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
by
Danvy, Olivier
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
34
Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
by
Middeldorp, Aart
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
35
Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings
by
Margenstern, Maurice
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
36
Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
by
Dwyer, Matthew
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
37
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
by
Lau, Kung-Kiu
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
38
Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997
by
Smolka, Gert
Published 1997
Springer Berlin Heidelberg
Read Now
39
Intelligent Agents IV: Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
by
Singh, Munindar P
Published 1998
Springer Berlin Heidelberg
Read Now
40
Semantics in Databases
by
Thalheim, Bernhard
Published 1998
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Other: Logics and Meanings of Programs
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
412
Collection
Lecture Notes in Computer Science
412
Author
Rozenberg, Grzegorz
8
Ehrig, Hartmut
6
Voronkov, Andrei
5
Graf, Susanne
4
Hermanns, Holger
4
Katoen, Joost-Pieter
4
more ...
Thalheim, Bernhard
4
Alur, Rajeev
3
Backhouse, Roland
3
Brinksma, Ed
3
Broy, Manfred
3
Clack, Chris
3
Comon, Hubert
3
Davies, Jim
3
Felici, Massimo
3
Hinchey, Michael G
3
Meyer, John-Jules Ch
3
Nielsen, Mogens
3
Nipkow, Tobias
3
Palamidessi, Catuscia
3
Rossi, Francesca
3
Schewe, Klaus-Dieter
3
Steffen, Bernhard
3
Woodcock, Jim
3
Zamulin, Alexandre V
3
Anderson, Stuart
2
Apt, Krzysztof R
2
Arts, Thomas
2
Baaz, Matthias
2
Basin, David
2
Bernardo, Marco
2
Bert, Didier
2
Boley, Harold
2
Bowen, Jonathan P
2
Bruynooghe, Maurice
2
Cardelli, Luca
2
Ciancarini, Paolo
2
Cortesi, Agostino
2
Dahl, Veronica
2
Damm, Werner
2
Davie, Tony
2
Desel, Jörg
2
Dignum, Frank
2
Dybjer, Peter
2
Focardi, Riccardo
2
Ganzinger, Harald
2
Gibbons, Jeremy
2
Glaser, Hugh
2
Gorrieri, Roberto
2
Hammond, Kevin
2
Henzinger, Thomas A
2
Hu, Alan J
2
Jeuring, Johan
2
Karhumäki, Juhani
2
Koopman, Pieter
2
Kropf, Thomas
2
Kuchen, Herbert
2
Laddaga, Robert
2
Larsen, Kim G
2
Lau, Kung-Kiu
2
Lee, Jaeho
2
Leue, Stefan
2
Levi, Giorgio
2
Maibaum, Tom
2
Margaria, Tiziana
2
Matsuoka, Satoshi
2
McAllester, David
2
Meinke, Karl
2
Middeldorp, Aart
2
Mohnen, Markus
2
Moreira, Ana
2
Mosses, Peter D
2
Möller, Bernhard
2
Müller, Jörg P
2
Nagl, Manfred
2
Nerode, Anil
2
Odell, James
2
Odersky, Martin
2
Ohori, Atsushi
2
Oldehoeft, Rodney R
2
Parisi-Presicce, Francesco
2
Peled, Doron A
2
Pnueli, Amir
2
Rash, James L
2
Reisig, Wolfgang
2
Robertson, Paul
2
Rus, Teodor
2
Rusinowitch, Michael
2
Salomaa, Arto
2
Sangiovanni-Vincentelli, Alberto
2
Sastry, Shankar
2
Singh, Munindar P
2
Smolka, Gert
2
Stevens, Perdita
2
Stuckey, Peter J
2
Taha, Walid
2
Tholburn, Marydell
2
Thomas, Wolfgang
2
Vardi, Moshe Y
2
Walsh, Toby
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=topic_facet%3A%22Logics+and+Meanings+of+Programs%22&type=AllFields
Send by Email
×
Loading...