Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Program"
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
721
Search:
'"Program"'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
2
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
3
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
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
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
5
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
6
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
7
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
8
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
9
Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
by
Hatcliff, John
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Programming
Languages, Compilers, Interpreters...
”
Read Now
10
Practical Aspects of Declarative Languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
by
Jayaraman, Bharat
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
11
Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
by
Hofmann, Martin
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
12
Modular Specification and Verification of Object-Oriented Programs
by
Müller, Peter
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
13
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
by
Boiten, Eerke
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
14
Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
by
Crnkovic, Ivica
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
15
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
16
Generative and Component-Based Software Engineering : First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers
by
Czarnecki, Krzysztof
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
17
Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
by
Grieskamp, Wolfgang
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
18
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
by
Jeuring, Johan
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
19
Reflection and Software Engineering
by
Cazzola, Walter
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logics and Meanings of
Programs
...
”
Read Now
20
Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings
by
Dahl, Veronica
Published 2003
Springer-Verlag 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
721
Collection
Lecture Notes in Computer Science
Author
Dongarra, Jack
15
Dongarra, Jack J
11
Bubak, Marian
9
Rozenberg, Grzegorz
8
Sloot, Peter MA
8
Gavrilova, Marina L
7
more ...
Kumar, Vipin
7
Rudolph, Larry
7
Ehrig, Hartmut
6
Feitelson, Dror G
6
Voronkov, Andrei
6
Hertzberger, Bob
5
Nielsen, Mogens
5
Prasanna, Viktor K
5
Abramson, David
4
Bogdanov, Alexander V
4
Gervasi, Osvaldo
4
Graf, Susanne
4
Hermanns, Holger
4
Hinchey, Michael G
4
Joe, Kazuki
4
Katoen, Joost-Pieter
4
Laganà, Antonio
4
Malyshkin, Victor
4
Omicini, Andrea
4
Poli, Riccardo
4
Rolim, Jose
4
Strohmeier, Alfred
4
Thalheim, Bernhard
4
Wasniewski, Jerzy
4
Alur, Rajeev
3
Backhouse, Roland
3
Beyer, Hans-Georg
3
Bosch, Jan
3
Bowen, Jonathan P
3
Brinksma, Ed
3
Broy, Manfred
3
Cagnoni, Stefano
3
Ciancarini, Paolo
3
Clack, Chris
3
Comon, Hubert
3
Davies, Jim
3
Felici, Massimo
3
Ferrante, Jeanne
3
Fogarty, Terence C
3
Gelbukh, Alexander
3
Gorrieri, Roberto
3
Guerraoui, Rachid
3
Hoekstra, Alfons G
3
Kacsuk, Peter
3
Kakas, Antonis C
3
Karhumäki, Juhani
3
L'Ecuyer, Pierre
3
Langdon, William B
3
Leeuwen, Jan
3
Matsuoka, Satoshi
3
Meyer, John-Jules Ch
3
Moreira, Ana
3
Mosses, Peter D
3
Nerode, Anil
3
Nipkow, Tobias
3
Odersky, Martin
3
Ohori, Atsushi
3
Oldehoeft, Rodney R
3
Palamidessi, Catuscia
3
Petta, Paolo
3
Rossi, Francesca
3
Rovan, Branislav
3
Ryan, Conor
3
Schewe, Klaus-Dieter
3
Schoenauer, Marc
3
Sloot, Peter
3
Sloot, Peter M A
3
Steffen, Bernhard
3
Stevens, Perdita
3
Taha, Walid
3
Tan, C J Kenneth
3
Tan, CJ Kenneth
3
Tholburn, Marydell
3
Tison, Sophie
3
Weiß, Gerhard
3
Woodcock, Jim
3
Zamulin, Alexandre V
3
Albada, Geert D van
2
Alexandrov, Vassil N
2
Anderson, Stuart
2
Apt, Krzysztof R
2
Araki, Keijiro
2
Arts, Thomas
2
Astesiano, Egidio
2
Baaz, Matthias
2
Banzhaf, Wolfgang
2
Basin, David
2
Batory, Don
2
Bernardo, Marco
2
Bert, Didier
2
Bidoit, Michel
2
Boley, Harold
2
Bruynooghe, Maurice
2
Böszörményi, László
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=%22Program%22&type=Subject
Send by Email
×
Loading...