Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Meaning"
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
product_txtF_mv:"Lecture Notes in Computer Science"
Showing
1
-
20
of
412
Search:
'"Meaning"'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
by
Barthe, Gilles
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
2
B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
by
Didier, Bert
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
3
Compiling Natural Semantics
by
Pettersson, Mikael
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
4
Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of...
by
Cleaveland, W Rance
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
5
Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers
by
Mohnen, Markus
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
6
Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers
by
Arts, Thomas
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
7
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
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
8
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
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
9
Implementation of Functional Languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
by
Kluge, Werner
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
10
Automatic Verification of Sequential Infinite-State Processes
by
Burkart, Olaf
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
11
Implementation of Functional Languages : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
by
Clack, Chris
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
12
Principles and Practice of Declarative Programming : International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings
by
Nadathur, Gopalan
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
13
Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
by
Koopman, Pieter
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
14
Implementation of Functional Languages : 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers
by
Hammond, Kevin
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
15
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
by
Brinksma, Ed
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
16
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
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
17
The Essence of Computation : Complexity, Analysis, Transformation
by
Mogensen, Torben Æ
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
18
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...
by
Steffen, Bernhard
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
19
Concurrent Reactive Plans : Anticipating and Forestalling Execution Failures
by
Beetz, Michael
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
Read Now
20
SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
by
Havelund, Klaus
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Logics and
Meanings
of Programs...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Lecture Notes in Computer Science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
412
Collection
Lecture Notes in Computer Science
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=product_txtF_mv%3A%22Lecture+Notes+in+Computer+Science%22&lookfor=%22Meaning%22&type=Subject
Send by Email
×
Loading...