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"
Showing
1
-
20
of
442
Search:
''
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
by
Baaz, Matthias
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
2
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
by
George, Chris
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
3
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
by
Peled, Doron A
Published 2002
IFIP International Federation for Information Processing
Read Now
4
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
by
Agrawal, Manindra
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
5
The Essence of Computation : Complexity, Analysis, Transformation
by
Mogensen, Torben Æ
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
6
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
7
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
8
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
9
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proce...
by
Chico, Jorge Juan
Published 2003
Springer Berlin Heidelberg
Read Now
10
Object-Oriented Technology ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings
by
Hernández, Juan
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
11
Interactive Systems:Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
by
Forbrig, Peter
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
12
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
13
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
14
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
15
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
16
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
17
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
18
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...
by
Bernardo, Marco
Published 2003
Springer Berlin Heidelberg
Read Now
19
Advances in Computer Systems Architecture : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings
by
Omondi, Amos
Published 2003
Springer Berlin Heidelberg
Read Now
20
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
by
Anderson, Stuart
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
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
442
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?filter%5B%5D=topic_facet%3A%22Logic+design%22&type=AllFields
Send by Email
×
Loading...