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
101
-
120
of
467
Search:
'"Logics And Meanings Of Programs"'
,
query time: 0.24s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
by
Koenig, Sven
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
102
Meta-Level Architectures and Reflection : Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings
by
Cointe, Pierre
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
103
Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
104
The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering
by
Jureta, Ivan
Published 2015
Springer International Publishing
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
105
Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice o...
by
Garavel, Hubert
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
106
CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
by
Mosses, Peter D
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
107
Intelligent Agents and Multi-Agent Systems : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002 Tokyo, Japan, August 18–19, 2002 Proceedings
by
Kuwabara, Kazuhiro
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
108
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...
by
Margaria, Tiziana
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
109
Intelligent Agents: Specification, Modeling, and Applications : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings
by
Yuan, Soe -Tsyr
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
110
Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings
by
Kobayashi, Naoki
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
111
Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers
by
Meyer, John-Jules Ch
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
112
Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice o...
by
Graf, Susanne
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
113
Intelligent Agents VIII : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers
by
Meyer, John-Jules Ch
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
114
Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceed...
by
Saraswat, Vijay A
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
115
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
by
Steffen, Bernhard
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
116
Intelligent Agents VII Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings
by
Castelfranchi, Cristiano
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
117
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
by
Abadi, Martin
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
118
Semantics in Databases
by
Thalheim, Bernhard
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
119
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice o...
by
Katoen, Joost-Pieter
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
120
Practical Aspects of Declarative Languages : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings
by
Gupta, Gopal
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
414
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
see all ...
less ...
Language
English
41
German
14
Collection
Lecture Notes in Computer Science
412
Springer Book Archives -2004
37
Springer eBooks 2005-
18
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=6&lookfor=%22Logics+And+Meanings+Of+Programs%22&type=Subject
Send by Email
×
Loading...