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
181
-
200
of
470
Search:
'"Logics And Meanings Of Programs"'
,
query time: 0.21s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
182
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
183
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
by
Wing, Jeannette M
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
184
Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings
by
Jennings, Nicholas R
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
185
Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers
by
Watson, Bruce W
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
186
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
by
Boer, Frank Sde
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
187
Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
188
Einführung in die Informatik : Objektorientiert mit Java
by
Küchlin, Wolfgang
,
Weber, Andreas
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
189
Relational Methods in Computer Science
Published 1997
Springer Vienna
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
190
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
191
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
by
Basin, David
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
192
Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
by
Jeuring, Johan
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
193
Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
by
Palsberg, Jens
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
194
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
by
Hanus, Michael
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
195
Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
by
Hentenryck, Pascal van
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
196
Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
by
Geuvers, Herman
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
197
Higher-Level Hardware Synthesis
by
Sharp, Richard
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
198
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl
by
Owe, Olaf
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
199
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
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
200
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...
by
Sands, David
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
5
6
7
8
9
10
11
12
13
14
15
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=10&lookfor=%22Logics+And+Meanings+Of+Programs%22&type=Subject
Send by Email
×
Loading...