Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Copenhagen"
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
-
9
of
9
Search:
'"Copenhagen"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings
by
Tison, Sophie
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
2
Logic Programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings
by
Stuckey, Peter J
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
3
Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
by
Voronkov, Andrei
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
4
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
by
Brinksma, Ed
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
5
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
Read Now
6
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
by
Egly, Uwe
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
7
FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
by
Eriksson, Lars-Henrik
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
8
Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proce...
by
Hermanns, Holger
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
9
Flexible Query Answering Systems : 5th International Conference, FQAS 2002 Copenhagen, Denmark, October 27–29, 2002 Proceedings
by
Carbonell, Jaime G
Published 2002
Springer-Verlag Berlin Heidelberg
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Lecture Notes in Computer Science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
9
Collection
Lecture Notes in Computer Science
Author
Andreasen, Troels
1
Brinksma, Ed
1
Carbonell, Jaime G
1
Christiansen, Henning
1
Egly, Uwe
1
Eriksson, Lars-Henrik
1
more ...
Fermüller, Chritian G
1
Hatcliff, John
1
Hermanns, Holger
1
Larsen, Henrik
1
Larsen, Kim Guldstrand
1
Lindsay, Peter Alexander
1
Mogensen, Torben
1
Segala, Roberto
1
Stuckey, Peter J
1
Thiemann, Peter
1
Tison, Sophie
1
Voronkov, Andrei
1
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=%22Copenhagen%22&type=AllFields
Send by Email
×
Loading...