Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logics And Meanings Of Programs"
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
:
meanings »
meaning
programs »
program
Showing
161
-
180
of
470
Search:
'"Logics And Meanings Of Programs"'
,
query time: 0.39s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
161
Advances in Agent Communication : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003
by
Dignum, Frank
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
162
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
163
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
164
Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
by
Leroy, Xavier
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
165
Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction
by
Müller-Olm, Markus
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
166
Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings
by
Lee, Jaeho
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
167
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
by
Broy, Manfred
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
168
Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...
by
Jensen, Kurt
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
169
Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
by
Palanque, Philippe
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
170
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
171
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
172
Intelligent Agents V. Agents Theories, Architectures, and Languages : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings
by
Müller, Jörg P
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
173
Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings
by
Krishnamurthi, Shriram
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
174
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers
by
Kuich, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
175
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
by
Johnson, Chris
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
176
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
by
Gopalakrishnan, Ganesh
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
177
Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization
by
Fahringer, Thomas
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
178
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers
by
Bjørner, Dines
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
179
Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies
by
Huget, Marc-Phillipe
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
180
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
4
5
6
7
8
9
10
11
12
13
14
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
416
005 - Computer programming, programs & data
43
511 - General principles of mathematics
4
006 - Special computer methods
3
003 - Systems
1
510 - Mathematics
1
more ...
519 - Probabilities & applied mathematics
1
621 - Applied physics
1
see all ...
less ...
Language
English
44
German
14
Collection
Lecture Notes in Computer Science
412
Springer Book Archives -2004
39
Springer eBooks 2005-
19
Author
Rozenberg, Grzegorz
8
Ehrig, Hartmut
7
Hermanns, Holger
5
Katoen, Joost-Pieter
5
Voronkov, Andrei
5
Graf, Susanne
4
more ...
Lau, Kung-Kiu
4
Steffen, Bernhard
4
Thalheim, Bernhard
4
Woodcock, Jim
4
Alur, Rajeev
3
Backhouse, Roland
3
Boley, Harold
3
Brinksma, Ed
3
Broy, Manfred
3
Bruynooghe, Maurice
3
Clack, Chris
3
Comon, Hubert
3
Cortesi, Agostino
3
Davies, Jim
3
Felici, Massimo
3
Hinchey, Michael G
3
Karhumäki, Juhani
3
Laddaga, Robert
3
Leue, Stefan
3
Maibaum, Tom
3
Meyer, John-Jules Ch
3
Nielsen, Mogens
3
Nipkow, Tobias
3
Palamidessi, Catuscia
3
Robertson, Paul
3
Rossi, Francesca
3
Schewe, Klaus-Dieter
3
Stevens, Perdita
3
Weber, Herbert
3
Wirsing, Martin
3
Zamulin, Alexandre V
3
Anderson, Stuart
2
Antoniou, Grigoris
2
Apt, Krzysztof R
2
Arts, Thomas
2
Baaz, Matthias
2
Baier, Christel
2
Basin, David
2
Bauer, F. L.
2
Bernardo, Marco
2
Bert, Didier
2
Boiten, Eerke
2
Bowen, Jonathan P
2
Brauer, Wilfried
2
Cardelli, Luca
2
Ciancarini, Paolo
2
Dahl, Veronica
2
Damm, Werner
2
Davie, Tony
2
Derrick, John
2
Dershowitz, Nachum
2
Desel, Jörg
2
Dignum, Frank
2
Dong, Jin Song
2
Dybjer, Peter
2
Focardi, Riccardo
2
Ganzinger, Harald
2
Gibbons, Jeremy
2
Glaser, Hugh
2
Goos, Gerhard
2
Gorrieri, Roberto
2
Hammond, Kevin
2
Henzinger, Thomas A
2
Hu, Alan J
2
Jeuring, Johan
2
Koopman, Pieter
2
Kozen, Dexter
2
Kropf, Thomas
2
Kuchen, Herbert
2
Kurt-Gödel-Gesellschaft
2
Kutsche, Ralf-Detlef
2
Küchlin, Wolfgang
2
Larsen, Kim G
2
Lee, Jaeho
2
Levi, Giorgio
2
Maciaszek, Leszek A.
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
Mukhopadhyay, Supratik
2
Möller, Bernhard
2
Müller, Jörg P
2
Nagl, Manfred
2
Najm, Elie
2
Nerode, Anil
2
Nestmann, Uwe
2
Odell, James
2
Odersky, Martin
2
Ohori, Atsushi
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=9&lookfor=%22Logics+And+Meanings+Of+Programs%22&type=Subject
Send by Email
×
Loading...