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
1
-
20
of
412
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning
by
Alonso, Eduardo
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
2
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
by
Jeuring, Johan
Published 2003
Springer Berlin Heidelberg
Read Now
3
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
by
Schmid, Ute
Published 2003
Springer Berlin Heidelberg
Read Now
4
Implementation of Functional Languages : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
by
Pena, Ricardo
Published 2003
Springer Berlin Heidelberg
Read Now
5
Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings
by
Aalst, Wil M P
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
6
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
by
Larsen, Kim G
Published 2004
Springer Berlin Heidelberg
Read Now
7
Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies
by
Huget, Marc-Phillipe
Published 2003
Springer Berlin Heidelberg
Read Now
8
Implementation and Application of Automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
by
Champarnaud, Jean-Marc
Published 2003
Springer Berlin Heidelberg
Read Now
9
Developments in Language Theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
by
Ito, Masami
Published 2003
Springer Berlin Heidelberg
Read Now
10
Developments in Language Theory : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
by
Ésik, Zoltán
Published 2003
Springer Berlin Heidelberg
Read Now
11
Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
by
Leuschel, M
Published 2003
Springer Berlin Heidelberg
Read Now
12
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
by
Hunt, Jr, Warren A
Published 2003
Springer Berlin Heidelberg
Read Now
13
ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
by
Cardelli, Luca
Published 2003
Springer Berlin Heidelberg
Read Now
14
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
by
Baader, Franz
Published 2003
Springer Berlin Heidelberg
Read Now
15
Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
by
Ibarra, Oscar H
Published 2003
Springer Berlin Heidelberg
Read Now
16
Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings
by
Maurer, Frank
Published 2003
Springer Berlin Heidelberg
Read Now
17
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
by
Basin, David
Published 2003
Springer Berlin Heidelberg
Read Now
18
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
by
Hinchey, Michael G
Published 2003
Springer Berlin Heidelberg
Read Now
19
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
20
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
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?filter%5B%5D=topic_facet%3A%22Logics+and+Meanings+of+Programs%22&type=AllFields
Send by Email
×
Loading...