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