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
141
-
160
of
412
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Implementation and Application of Automata : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers
by
Yu, Shen
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
142
CONCUR 2001 — Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
by
Larsen, Kim G
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
143
Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
by
Boulton, Richard J
Published 2001
Springer Berlin Heidelberg
Read Now
144
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
by
Margaria, Tiziana
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
145
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
by
Fribourg, Laurent
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
146
Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedin...
by
Alfaro, Luca
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
147
Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
by
Taha, Walid
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
148
Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
by
Parisi-Presicce, Francesco
Published 1998
Springer Berlin Heidelberg
Read Now
149
Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...
by
Nivat, Maurice
Published 1998
Springer Berlin Heidelberg
Read Now
150
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
by
Nipkow, Tobias
Published 1998
Springer Berlin Heidelberg
Read Now
151
Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...
by
Hankin, Chris
Published 1998
Springer Berlin Heidelberg
Read Now
152
Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'9...
by
Astesiano, Egidio
Published 1998
Springer Berlin Heidelberg
Read Now
153
Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...
by
Koskimies, Kai
Published 1998
Springer Berlin Heidelberg
Read Now
154
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...
by
Steffen, Bernhard
Published 1998
Springer Berlin Heidelberg
Read Now
155
Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
by
Henzinger, Thomas A
Published 1998
Springer Berlin Heidelberg
Read Now
156
Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
by
Hu, Alan J
Published 1998
Springer Berlin Heidelberg
Read Now
157
Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
by
Kirchner, Claude
Published 1998
Springer Berlin Heidelberg
Read Now
158
Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning
by
Alonso, Eduardo
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
159
Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
by
Ball, Thomas
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
160
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
by
Jeuring, Johan
Published 2003
Springer Berlin Heidelberg
3
4
5
6
7
8
9
10
11
12
13
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=8&filter%5B%5D=topic_facet%3A%22Logics+and+Meanings+of+Programs%22&type=AllFields
Send by Email
×
Loading...