Advanced Boolean techniques

selected papers from the 13th International Workshop on Boolean Problems

Verfasser / Beitragende:
editors, Rolf Drechsler and Mathias Soeken
Ort, Verlag, Jahr:
Cham, Switzerland : Springer, 2020
Beschreibung:
viii, 265 Seiten : Illustrationen
Format:
Buch (Kongress)
ID: 600475476
LEADER cam a22 7 4500
001 600475476
003 CHVBK
005 20201015060211.0
008 200912t20202020sz 10 0 eng d
020 |a 3-030-20322-0  |q (print) 
020 |a 978-3-030-20322-1  |q (print) 
035 |a (SNL)991018087696403976 
035 |a (NEBIS)011589312 
035 |a (Sz)991018087696403976 
040 |a YDX  |b ger  |d SzZuIDS NEBIS ETH-BIB  |d Sz  |e rda 
082 7 4 |a 510  |2 23sdnb 
082 0 4 |a 511.3/24  |2 23 
111 2 |a International Workshop on Boolean Problems  |n (13  |d 2018  |c Bremen)  |0 (DE-588)1213115663  |j Verfasser  |4 aut 
245 1 0 |a Advanced Boolean techniques  |b selected papers from the 13th International Workshop on Boolean Problems  |c editors, Rolf Drechsler and Mathias Soeken 
264 1 |a Cham, Switzerland  |b Springer  |c [2020] 
264 4 |c © 2020 
300 |a viii, 265 Seiten  |b Illustrationen 
500 |a Katalogisat maschinell erstellt 
500 |a The workshop was held in Bremen, Germany, from September 19th to September 21st, 2018 
504 |a Includes bibliographical references and index 
650 0 |a Algebra, Boolean  |v Congresses 
650 7 |a Algebra, Boolean  |2 fast 
650 7 |a BOOLESCHE FUNKTIONEN (THEORIE DER REGELUNGSSYSTEME)  |x ger  |0 (ETHUDK)000013793  |2 ethudk 
650 7 |a BOOLESCHE RINGE UND BOOLESCHE ALGEBREN (ALGEBRA)  |x ger  |0 (ETHUDK)000012722  |2 ethudk 
650 7 |a LOGISCHER ENTWURF + LOGISCHE SCHALTKREISE (HARDWARE)  |x ger  |0 (ETHUDK)000034735  |2 ethudk 
650 7 |a SCHALTKREISENTWURF (MIKROELEKTRONIK)  |x ger  |0 (ETHUDK)000047869  |2 ethudk 
655 7 |a Konferenzschrift  |z Bremen  |y 2018  |2 gnd-content 
691 7 |a sb  |b 2020/25  |c 510  |k zg  |2 snl-sb 
691 7 |B u  |a LOGISCHER ENTWURF + LOGISCHE SCHALTKREISE (HARDWARE)  |z ger  |u 004*02*07  |2 nebis E1 
691 7 |B u  |a BOOLESCHE RINGE UND BOOLESCHE ALGEBREN (ALGEBRA)  |z ger  |u 512.563  |2 nebis E1 
691 7 |B u  |a BOOLESCHE FUNKTIONEN (THEORIE DER REGELUNGSSYSTEME)  |z ger  |u 519.714.7  |2 nebis E1 
691 7 |B u  |a SCHALTKREISENTWURF (MIKROELEKTRONIK)  |z ger  |u 621.3.049.7,18  |2 nebis E1 
691 7 |B u  |a LOGIC DESIGN + LOGIC CIRCUITS (HARDWARE)  |z eng  |u 004*02*07  |2 nebis E1 
691 7 |B u  |a CIRCUITS LOGIQUES (HARDWARE)  |z fre  |u 004*02*07  |2 nebis E1 
691 7 |B u  |a BOOLEAN RINGS AND BOOLEAN ALGEBRAS (ALGEBRA)  |z eng  |u 512.563  |2 nebis E1 
691 7 |B u  |a ALGÈBRES BOOLÉENNES ET ANNEAUX BOOLÉENS (ALGÈBRE)  |z fre  |u 512.563  |2 nebis E1 
691 7 |B u  |a BOOLEAN FUNCTIONS (CONTROL SYSTEMS THEORY)  |z eng  |u 519.714.7  |2 nebis E1 
691 7 |B u  |a FONCTIONS BOOLÉENNES (THÉORIE DES SYSTÈMES DE COMMANDE)  |z fre  |u 519.714.7  |2 nebis E1 
691 7 |B u  |a DESSIN DES CIRCUITS IMPRIMÉS (MICROÉLECTRONIQUE)  |z fre  |u 621.3.049.7,18  |2 nebis E1 
691 7 |B u  |a CIRCUIT DESIGN (MICROELECTRONICS)  |z eng  |u 621.3.049.7,18  |2 nebis E1 
700 1 |a Drechsler  |D Rolf  |d 1969-  |0 (DE-588)118011057  |e Herausgeber  |4 edt 
700 1 |a Soeken  |D Mathias  |0 (DE-588)1063927013  |e Herausgeber  |4 edt 
710 2 |a Springer International Publishing  |0 (DE-588)1064344704  |e Verlag  |4 pbl 
856 4 1 |u https://opac.admin.ch/toc/toc1902089110.pdf  |y Inhaltsverzeichnis 
898 |a BK020800  |b XK020000  |c XK020000 
912 7 |a 122  |2 E01-20200427 
912 7 |a 092  |2 E01-20200427 
912 7 |a 055  |2 E01-20200427 
949 |B SNL  |F NB001  |b NB001  |j N 390311  |c NB10010 
950 |B SNL  |P 111  |E 2-  |a International Workshop on Boolean Problems  |n (13  |d 2018  |c Bremen)  |0 (DE-588)1213115663  |j Verfasser  |4 aut 
950 |B SNL  |P 700  |E 1-  |a Drechsler  |D Rolf  |d 1969-  |0 (DE-588)118011057  |e Herausgeber  |4 edt 
950 |B SNL  |P 700  |E 1-  |a Soeken  |D Mathias  |0 (DE-588)1063927013  |e Herausgeber  |4 edt 
950 |B SNL  |P 710  |E 2-  |a Springer International Publishing  |0 (DE-588)1064344704  |e Verlag  |4 pbl 
950 |B SNL  |P 856  |E 41  |u https://opac.admin.ch/toc/toc1902089110.pdf  |y Inhaltsverzeichnis 
950 |B NEBIS  |P 111  |E 2-  |a International Workshop on Boolean Problems  |n (13  |d 2018  |c Bremen)  |0 (DE-588)1213115663 
950 |B NEBIS  |P 700  |E 1-  |a Drechsler  |D Rolf  |d 1969-  |0 (DE-588)118011057  |e Herausgeber  |4 edt 
950 |B NEBIS  |P 700  |E 1-  |a Soeken  |D Mathias  |0 (DE-588)1063927013  |e Herausgeber  |4 edt 
956 4 |B NEBIS  |C EAD50  |u https://opac.nebis.ch/objects/pdf03/e01_978-3-030-20322-1_01.pdf  |y Titelblatt und Inhaltsverzeichnis  |x VIEW  |q pdf