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
41
-
60
of
412
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Component Deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings
by
Emmerich, Wolfgang
Published 2004
Springer Berlin Heidelberg
Read Now
42
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
by
Zimmermann, Wolf
Published 2004
Springer Berlin Heidelberg
Read Now
43
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...
by
Pfaltz, John L
Published 2004
Springer Berlin Heidelberg
Read Now
44
Extreme Programming and Agile Processes in Software Engineering : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings
by
Eckstein, Jutta
Published 2004
Springer Berlin Heidelberg
Read Now
45
Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
by
Ciancarini, Paolo
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
46
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
by
Ramakrishnan, I V
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
47
Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings
by
Davidson, Jack
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
48
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
by
Oliveira, José Nuno
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
49
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
by
Demoen, Bart
Published 2004
Springer Berlin Heidelberg
Read Now
50
Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
by
Hermenegildo, Manuel V
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
51
Grammatical Inference: Algorithms and Applications : 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
by
Adriaans, Pieter
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
52
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
by
Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
53
Interactive Markov Chains : And the Quest for Quantified Quality
by
Hermanns, Holger
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
54
CONCUR 2004 -- Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
by
Gardner, Philippa
Published 2004
Springer Berlin Heidelberg
Read Now
55
Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
by
Sangiovanni-Vincentelli, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
56
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
by
Groote, Philippe de
Published 1997
Springer Berlin Heidelberg
Read Now
57
Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
by
Paliouras, Georgios
Published 2004
Springer Berlin Heidelberg
Read Now
58
Programming Languages and Systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
by
Chin, Wei-Ngan
Published 2004
Springer Berlin Heidelberg
Read Now
59
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
60
Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
by
Raymond, Darrell
Published 1997
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=3&filter%5B%5D=topic_facet%3A%22Logics+and+Meanings+of+Programs%22&type=AllFields
Send by Email
×
Loading...