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
topic_facet:"Logic design"
dewey-ones:"004 - Data processing & computer science"
Showing
101
-
120
of
442
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
by
Zuck, Lenore D
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
102
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
Read Now
103
Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers
by
Watson, Bruce W
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
104
Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
by
Börger, Egon
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
105
Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
by
Okada, Mitsuhiro
Published 2003
Springer Berlin Heidelberg
Read Now
106
Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions
by
Giunchiglia, Fausto
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
107
Evolvable Systems: From Biology to Hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings
by
Tyrrell, Andy M
Published 2003
Springer Berlin Heidelberg
Read Now
108
Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers
by
Laddaga, Robert
Published 2003
Springer Berlin Heidelberg
Read Now
109
Telecommunications and beyond: The BroaderApplicability of SDL and MSC : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers
by
Sherratt, Edel
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
110
Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003...
by
Degano, Pierpaolo
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
111
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Sof...
by
Gordon, Andrew D
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
112
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
Read Now
113
Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...
by
Pezzè, Mauro
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
114
Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7...
by
Hedin, Görel
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
115
Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings
by
Maler, Oded
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
116
Semantics in Databases : Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers
by
Bertossi, Leopoldo
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
117
Recent Advances in Constraints : Joint ERCIMCologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers...
by
O’Sullivan, Barry
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
118
Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization
by
Fahringer, Thomas
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
119
Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
by
Geuvers, Herman
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
120
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
by
König, Hartmut
Published 2003
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Other: Logic design
Clear Filter
Classification: 004 - Data processing & computer science
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=6&filter%5B%5D=topic_facet%3A%22Logic+design%22&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&type=AllFields
Send by Email
×
Loading...