Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search:
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
dewey-ones:"004 - Data processing & computer science"
topic_facet:"Logic design"
Showing
141
-
160
of
442
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Component Deployment : IFIPACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings
by
Bishop, Judith
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
142
Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
by
Boiten, Eerke A
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
143
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
Read Now
144
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
145
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
by
Pettorossi, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
146
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
147
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
148
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
149
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
150
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
Read Now
151
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
Read Now
152
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
by
Carreño, Victor A
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
153
CONCUR 2002 — Concurrency Theory : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings
by
Brim, Luboš
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
154
Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
by
Barthe, Gilles
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
155
Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream : 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedin...
by
Glesner, Manfred
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
156
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
by
Kirchner, Hélène
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
157
Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings
by
Anderson, Stuart
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
158
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceeding...
by
Damm, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
159
Functional and Logic Programming : 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
by
Hu, Zhenjiang
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
160
Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
by
Hermenegildo, Manuel V
Published 2002
Springer-Verlag Berlin Heidelberg
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Other: Logic design
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
Collection
Lecture Notes in Computer Science
442
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
Feitelson, Dror G
3
Felici, Massimo
3
Hinchey, Michael G
3
Meyer, John-Jules Ch
3
Möller, Bernhard
3
Nielsen, Mogens
3
Nipkow, Tobias
3
Palamidessi, Catuscia
3
Rossi, Francesca
3
Rudolph, Larry
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
Champarnaud, Jean-Marc
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
Goos, Gerhard
2
Gorrieri, Roberto
2
Hammond, Kevin
2
Hartenstein, Reiner W
2
Hartmanis, Juris
2
Henzinger, Thomas A
2
Higuchi, Tetsuya
2
Hu, Alan J
2
Iwata, Masaya
2
Jeuring, Johan
2
Karhumäki, Juhani
2
Koopman, Pieter
2
Koç, Çetin K
2
Kropf, Thomas
2
Kuchen, Herbert
2
Laddaga, Robert
2
Larsen, Kim G
2
Lau, Kung-Kiu
2
Lee, Jaeho
2
Leeuwen, Jan
2
Leue, Stefan
2
Levi, Giorgio
2
Macii, Enrico
2
Maibaum, Tom
2
Margaria, Tiziana
2
Matsuoka, Satoshi
2
Maurel, Denis
2
McAllester, David
2
Meinke, Karl
2
Middeldorp, Aart
2
Mohnen, Markus
2
Moreira, Ana
2
Mosses, Peter D
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
Paar, Christof
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
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=topic_facet%3A%22Logic+design%22&type=AllFields
Send by Email
×
Loading...