Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logic Design"
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
Showing
181
-
200
of
899
Search:
'"Logic Design"'
,
query time: 0.06s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
182
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
by
Ferguson, Thomas Macaulay
Published 2017
Springer International Publishing
Subjects:
“
...
Logic
Design
...
”
Read Now
183
Topics in Cryptology – CT-RSA 2018 : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
Published 2018
Springer International Publishing
Subjects:
“
...
Logic
design
...
”
Read Now
184
Job Scheduling Strategies for Parallel Processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
185
Job Scheduling Strategies for Parallel Processing : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
186
Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
187
Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
188
Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
189
Testfreundliche Synthese hochintegrierter Schaltungen
by
Eschermann, Bernhard
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...
Logic
Design
...
”
Read Now
190
Separation Logic for High-level Synthesis
by
Winterstein, Felix
Published 2017
Springer International Publishing
Subjects:
“
...
Logic
design
...
”
Read Now
191
Field Programmable Logic and Application : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings
by
Cheung, Peter YK
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
192
Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings
by
Joseph, Mathai
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
193
Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings
by
Soudris, Dimitrios
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
194
Logic and Algebra of Specification
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
195
Job Scheduling Strategies for Parallel Processing : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
196
Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design
...
”
Read Now
197
Computational Science – ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
Subjects:
“
...
Logic
design
...
”
Read Now
198
Computational Intelligence in Fault Diagnosis
Published 2006
Springer London
Subjects:
“
...
Logic
design
...
”
Read Now
199
Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Published 2019
Springer International Publishing
Subjects:
“
...
Logic
design
...
”
Read Now
200
High Performance Computing : 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers
Published 2021
Springer International Publishing
Subjects:
“
...
Logic
design
...
”
5
6
7
8
9
10
11
12
13
14
15
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
589
621 - Applied physics
186
005 - Computer programming, programs & data
78
745 - Decorative arts
51
620 - Engineering & allied operations
32
006 - Special computer methods
24
more ...
331 - Labor economics
14
720 - Architecture
14
384 - Communications; telecommunication
8
500 - Natural sciences & mathematics
8
003 - Systems
5
518 - Numerical analysis
5
658 - General management
5
160 - Logic
4
000 - Computer science, information & general works
3
338 - Production
3
510 - Mathematics
3
629 - Other branches of engineering
3
700 - The arts; fine & decorative arts
3
333 - Economics of land & energy
2
100 - Philosophy & psychology
1
153 - Mental processes & intelligence
1
300 - Social sciences
1
321 - Systems of governments & states
1
330 - Economics
1
370 - Education
1
380 - Commerce, communications & transportation
1
511 - General principles of mathematics
1
515 - Analysis
1
530 - Physics
1
570 - Life sciences; biology
1
600 - Technology
1
630 - Agriculture & related technologies
1
see all ...
less ...
Language
English
415
German
39
Italian
3
Collection
Lecture Notes in Computer Science
442
Springer eBooks 2005-
283
Springer Book Archives -2004
109
O'Reilly
51
Directory of Open Access Books
12
OAPEN
2
Author
LaMeres, Brock J.
10
Rozenberg, Grzegorz
8
Rudolph, Larry
8
Taraate, Vaibbhav
7
Ehrig, Hartmut
6
Gervasi, Osvaldo
6
more ...
Lienig, Jens
6
Misra, Sanjay
6
Murgante, Beniamino
6
Stankova, Elena
6
Broy, Manfred
5
Cardoso, Pedro J. S.
5
Donzellini, Giuliano
5
Hartenstein, Reiner W.
5
Hermanns, Holger
5
Lam, Roberto
5
Monteiro, Jânio
5
Oneto, Luca
5
Paar, Christof
5
Reisig, Wolfgang
5
Rodrigues, João M. F.
5
Schwiegelshohn, Uwe
5
Voronkov, Andrei
5
de Supinski, Bronis R.
5
Alur, Rajeev
4
Damm, Werner
4
Frachtenberg, Eitan
4
Graf, Susanne
4
Hameurlain, Abdelkader
4
Higuchi, Tetsuya
4
Iwata, Masaya
4
Katoen, Joost-Pieter
4
Klusáček, Dalibor
4
Krzhizhanovskaya, Valeria V.
4
Li, Jinwen
4
Luszczek, Piotr
4
Macii, Enrico
4
Markov, Igor L.
4
Möller, Bernhard
4
Stenström, Per
4
Thalheim, Bernhard
4
Wagner, Roland
4
Xiao, Liquan
4
Xu, Weixia
4
Yokota, Rio
4
Anguita, Davide
3
B. Heras, Dora
3
Backhouse, Roland
3
Basin, David
3
Brinksma, Ed
3
Champarnaud, Jean-Marc
3
Clack, Chris
3
Comon, Hubert
3
Davies, Jim
3
Deelman, Ewa
3
Dongarra, Jack
3
Feitelson, Dror G
3
Feitelson, Dror G.
3
Felici, Massimo
3
Fu, Haohuan
3
Glesner, Manfred
3
Grundy, Jim
3
Grünbacher, Herbert
3
Harris, David Money
3
Harris, Sarah L.
3
Hinchey, Michael G
3
Juckeland, Guido
3
Karczewski, Konrad
3
Koc, Cetin K.
3
Lanese, Ivan
3
Lysaght, Patrick
3
Maurel, Denis
3
Meyer, John-Jules Ch
3
Nielsen, Mogens
3
Nipkow, Tobias
3
Palamidessi, Catuscia
3
Paliouras, Vassilis
3
Ponta, Domenico
3
Posthoff, Christian
3
Rodrigo, Gonzalo P.
3
Rossi, Francesca
3
Schewe, Klaus-Dieter
3
Schwichtenberg, Helmut
3
Shi, Yong
3
Soudris, Dimitrios
3
Steffen, Bernhard
3
Steinbach, Bernd
3
Tian, Yingjie
3
Wirsing, Martin
3
Woodcock, Jim
3
Wyrzykowski, Roman
3
Zamulin, Alexandre V
3
Anderson, Stuart
2
Anzt, Hartwig
2
Apt, Krzysztof R
2
Arts, Thomas
2
Azemard, Nadine
2
Baaz, Matthias
2
Ball, Thomas
2
Barkalov, Alexander
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=10&lookfor=%22Logic+Design%22&type=Subject
Send by Email
×
Loading...