×

Found 1,219 Documents (Results 1–100)

100
MathJax

Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. (English) Zbl 1416.94005

Cham: Springer (ISBN 978-3-030-20322-1/hbk; 978-3-030-20323-8/ebook). viii, 265 p. (2020).
MSC:  94-02 00B25 94C10
PDF BibTeX XML Cite
Full Text: DOI

Hybrid system identification. Theory and algorithms for learning switching models. (English) Zbl 1402.93010

Lecture Notes in Control and Information Sciences 478. Cham: Springer (ISBN 978-3-030-00192-6/hbk; 978-3-030-00193-3/ebook). xxi, 253 p. (2019).
MSC:  93-02 93B30 93C10 94C10
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 48th IEEE international symposium on multiple-valued logic, ISMVL 2018, Linz, Austria, May 16–18, 2018. (English) Zbl 1403.94009

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5386-4463-8). xiii, 270 p. (2018).
MSC:  94-06 03-06 03B50 94C10 00B25
PDF BibTeX XML Cite
Full Text: Link

Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. (English) Zbl 1396.68017

Lecture Notes in Computer Science 11106. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). xiii, 353 p. (2018).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of quantum circuits vs. synthesis of classical reversible circuits. (English) Zbl 1405.81006

Synthesis Lectures on Digital Circuits and Systems 54. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-379-1/pbk; 978-1-68173-381-4/hbk; 978-1-68173-380-7/ebook). xv, 109 p. (2018).
MSC:  81-02 94-02 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI

Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. (English) Zbl 1375.68006

Studies in Systems, Decision and Control 113. Cham: Springer (ISBN 978-3-319-59836-9/hbk; 978-3-319-59837-6/ebook). viii, 225 p. (2018).
MSC:  68-02 68M07 68Q45 94C10
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22–24, 2017. (English) Zbl 1380.94001

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5090-5495-4/print; 978-1-5090-5496-1/ebook). xv, 292 p. (2017).
MSC:  94-06 03-06 03B50 94C10 00B25
PDF BibTeX XML Cite
Full Text: Link

Boolean differential calculus. (English) Zbl 1421.06001

Synthesis Lectures on Digital Circuits and Systems 52. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-922-0/pbk; 978-1-62705-617-5/ebook). xii, 203 p. (2017).
MSC:  06-02 06Exx 26E99 94-02 94C10 94A60
PDF BibTeX XML Cite
Full Text: DOI

The logician and the engineer. How George Boole and Claude Shannon created the information age. Reprint of the 2013 hardback edition. (English) Zbl 1366.94003

Princeton, NJ: Princeton University Press (ISBN 978-0-691-17600-0/pbk; 978-1-4008-4465-4/ebook). xii, 228 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6–7, 2017. Proceedings. (English) Zbl 1364.68013

Lecture Notes in Computer Science 10301. Cham: Springer (ISBN 978-3-319-59935-9/pbk; 978-3-319-59936-6/ebook). xii, 255 p. (2017).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Shift register sequences. Secure and limited-access code generators, efficiency code generators, prescribed property generators, mathematical models. 3rd revised edition. (English) Zbl 1408.94004

Hackensack, NJ: World Scientific (ISBN 978-981-4632-00-3/hbk; 978-981-4632-02-7/ebook). xxii, 249 p. (2017).
MSC:  94-02 94A55 94C10 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Factor varieties and symbolic computation. (English) Zbl 1394.03019

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 739-748 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the 46th IEEE international symposium on multiple-valued logic, ISMVL 2016, Sapporo, Japan, May 18–20, 2016. (English) Zbl 1355.94002

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4673-9488-8/print; 978-1-4673-9489-5/ebook). xv, 284 p. (2016).
MSC:  94-06 03-06 03B50 94C10 00B25
PDF BibTeX XML Cite
Full Text: Link

Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. (English) Zbl 1342.68013

Lecture Notes in Computer Science 9720. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). xiii, 339 p. (2016).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Multiple constant multiplication optimizations for field programmable gate arrays. With a preface by Prof. Dr.-Ing. Peter Zipf. (English) Zbl 1336.68004

Wiesbaden: Springer Vieweg (ISBN 978-3-658-13322-1/pbk; 978-3-658-13323-8/ebook). xxxiii, 206 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 45th IEEE international symposium on multiple-valued logic, ISMVL 2015, Waterloo, Canada, May 18th–20th, 2015. (English) Zbl 1334.94005

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-1777-8). xiii, 212 p. (2015).
MSC:  94-06 03-06 03B50 94C10 00B25
PDF BibTeX XML Cite
Full Text: Link

Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. (English) Zbl 1342.68026

Lecture Notes in Computer Science 9138. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). viii, 291 p. (2015).
MSC:  68-06 68Q05 81P68 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Noise sensitivity of Boolean functions and percolation. (English) Zbl 1355.06001

Institute of Mathematical Statistics Textbooks 5. Cambridge: Cambridge University Press (ISBN 978-1-107-07643-3/hbk; 978-1-107-43255-0/pbk; 978-1-139-92416-0/ebook). xvii, 203 p. (2015).
MSC:  06-02 60-02 06E10 94C10 60H40 60K35 60J67
PDF BibTeX XML Cite
Full Text: DOI

EAGLE-STARTING AID. Efficient computations with XBOOLE. Boolean equations, sets and graphs, digital circuits. (EAGLE-STARTHILFE. Effiziente Berechnungen mit XBOOLE. Boolesche Gleichungen, Mengen und Graphen, digitale Schaltungen.) (German) Zbl 1329.94002

EAGLE 81. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-95922-081-1/pbk). 99 p. (2015).
MSC:  94-01 94-04 94C10 06E30
PDF BibTeX XML Cite

Transactions on Computational Science XXIV. Special issue on reversible computing. (English) Zbl 1318.68019

Lecture Notes in Computer Science 8911. Journal Subline. Berlin: Springer (ISBN 978-3-662-45710-8/pbk; 978-3-662-45711-5/ebook). xiii, 147 p. (2014).
MSC:  68-06 68M07 81P68 94C10 00B15
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10–11, 2014. Proceedings. (English) Zbl 1293.68036

Lecture Notes in Computer Science 8507. Berlin: Springer (ISBN 978-3-319-08493-0/pbk). x, 231 p. (2014).
MSC:  68-06 68Q05 81P68 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

EAGLE-STARTING AID. Technical informatics. Logical funcions – Boolean models. (EAGLE-STARTHILFE. Technische Informatik. Logische Funktionen – Boolesche Modelle.) (German) Zbl 1297.68004

EAGLE 77. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-937219-77-6/pbk). 100 p. (2014).
MSC:  68-01 68M07 68N15 94C10 00A06
PDF BibTeX XML Cite

Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. (English) Zbl 1322.68013

Lecture Notes in Computer Science 7581. Berlin: Springer (ISBN 978-3-642-36314-6/pbk). x, 241 p. (2013).
MSC:  68-06 68Q05 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Minimization of binary decision diagrams for systems of incompletely defined Boolean functions. (English. Russian original) Zbl 1320.94114

J. Comput. Syst. Sci. Int. 52, No. 6, 909-927 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 6, 68-86 (2013).
MSC:  94C10 94C15
PDF BibTeX XML Cite
Full Text: DOI

Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs. (English. Russian original) Zbl 1302.94075

Autom. Remote Control 74, No. 7, 1164-1177 (2013); translation from Avtom. Telemekh. 2013, No. 7, 126-142 (2013).
MSC:  94C10 94C15
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. (English) Zbl 1277.68008

Lecture Notes in Computer Science 7948. Berlin: Springer (ISBN 978-3-642-38985-6/pbk). x, 263 p. (2013).
MSC:  68-06 68Q05 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Finite state machine logic synthesis for complex programmable logic devices. (English) Zbl 1258.94001

Lecture Notes in Electrical Engineering 231. Berlin: Springer (ISBN 978-3-642-36165-4/hbk; 978-3-642-36166-1/ebook). xvi, 172 p. (2013).
MSC:  94-02 94C10
PDF BibTeX XML Cite
Full Text: DOI

Discrete event systems in dioid algebra and conventional algebra. (English) Zbl 1304.93003

Focus. Automation and Control Series. Hoboken, NJ: John Wiley & Sons; London: ISTE (ISBN 978-1-84821-461-3/hbk; 978-1-118-57968-8/ebook). viii, 156 p. (2013).
MSC:  93-02 93C65 93C95 93A30 15A80 90C05
PDF BibTeX XML Cite
Full Text: DOI

The logician and the engineer. How George Boole and Claude Shannon created the information age. (English) Zbl 1256.94004

Princeton, NJ: Princeton University Press (ISBN 978-0-691-15100-7/hbk; 978-1-400-84465-4/ebook). xii, 228 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

Design, analysis and test of logic circuits under uncertainty. (English) Zbl 1259.94003

Lecture Notes in Electrical Engineering 115. Berlin: Springer (ISBN 978-90-481-9643-2/hbk; 978-90-481-9644-9/ebook). xi, 123 p. (2013).
MSC:  94-02 94C10 94C12
PDF BibTeX XML Cite
Full Text: DOI Link

Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. (English) Zbl 1260.65097

Computational Science & Engineering 9. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-611972-16-0/pbk). xxxii, 776 p. (2012).
PDF BibTeX XML Cite

Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1–4, 2012. Proceedings. (English) Zbl 1248.94011

Lecture Notes in Computer Science 7373. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). xxii, 408 p. (2012).
MSC:  94-06 68-06 68W35 94C10 94C12 00B25
PDF BibTeX XML Cite
Full Text: DOI

Introduction to information theory (Winter term 2011/12). (Einführung in die Informationstheorie (WS2011/12).) (German) Zbl 1252.94002

Berichte aus der Mathematik. Aachen: Shaker Verlag (ISBN 978-3-8440-1006-0/pbk). 195 p. (2012).
PDF BibTeX XML Cite
Full Text: Link

Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. (English) Zbl 1241.68014

Lecture Notes in Computer Science 7165. Berlin: Springer (ISBN 978-3-642-29516-4/pbk). ix, 123 p. (2012).
MSC:  68-06 68Q05 94C10 00B25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software