Timed Boolean functions: a unified formalism for exact timing analysis
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston u.a.
Kluwer
1994
|
| Series: | The Kluwer international series in engineering and computer science
270 : VLSI, computer architecture and digital signal processing |
| Subjects: | |
| Physical Description: | XX, 273 S. graph. Darst. |
| ISBN: | 0792394542 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009758346 | ||
| 003 | DE-604 | ||
| 005 | 19951116 | ||
| 007 | t | ||
| 008 | 940812s1994 d||| |||| 00||| eng d | ||
| 020 | |a 0792394542 |9 0-7923-9454-2 | ||
| 035 | |a (OCoLC)30035054 | ||
| 035 | |a (DE-599)BVBBV009758346 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 |a DE-91 | ||
| 050 | 0 | |a TK7874.75 | |
| 082 | 0 | |a 621.39/5 |2 20 | |
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a ELT 456f |2 stub | ||
| 100 | 1 | |a Lam, William K. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Timed Boolean functions |b a unified formalism for exact timing analysis |c William K. C. Lam ; Robert K. Brayton |
| 264 | 1 | |a Boston u.a. |b Kluwer |c 1994 | |
| 300 | |a XX, 273 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 270 : VLSI, computer architecture and digital signal processing | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra, Boolean |x Data processing | |
| 650 | 4 | |a Computer algorithms | |
| 650 | 4 | |a Integrated circuits |x Very large scale integration |x Design |x Data processing | |
| 650 | 4 | |a Logic design |x Data processing | |
| 650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitverhalten |0 (DE-588)4238464-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zeitverhalten |0 (DE-588)4238464-3 |D s |
| 689 | 0 | 1 | |a VLSI |0 (DE-588)4117388-0 |D s |
| 689 | 0 | 2 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Brayton, Robert K. |e Verfasser |4 aut | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 270 : VLSI, computer architecture and digital signal processing |w (DE-604)BV023545171 |9 270 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006455037 | ||
Record in the Search Index
| _version_ | 1804124105271672832 |
|---|---|
| any_adam_object | |
| author | Lam, William K. Brayton, Robert K. |
| author_facet | Lam, William K. Brayton, Robert K. |
| author_role | aut aut |
| author_sort | Lam, William K. |
| author_variant | w k l wk wkl r k b rk rkb |
| building | Verbundindex |
| bvnumber | BV009758346 |
| callnumber-first | T - Technology |
| callnumber-label | TK7874 |
| callnumber-raw | TK7874.75 |
| callnumber-search | TK7874.75 |
| callnumber-sort | TK 47874.75 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 190 |
| classification_tum | ELT 456f |
| ctrlnum | (OCoLC)30035054 (DE-599)BVBBV009758346 |
| dewey-full | 621.39/5 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/5 |
| dewey-search | 621.39/5 |
| dewey-sort | 3621.39 15 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01908nam a2200481 cb4500</leader><controlfield tag="001">BV009758346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940812s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792394542</subfield><subfield code="9">0-7923-9454-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30035054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009758346</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7874.75</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/5</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 456f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lam, William K.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Timed Boolean functions</subfield><subfield code="b">a unified formalism for exact timing analysis</subfield><subfield code="c">William K. C. Lam ; Robert K. Brayton</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 273 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">270 : VLSI, computer architecture and digital signal processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Very large scale integration</subfield><subfield code="x">Design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitverhalten</subfield><subfield code="0">(DE-588)4238464-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeitverhalten</subfield><subfield code="0">(DE-588)4238464-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brayton, Robert K.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">270 : VLSI, computer architecture and digital signal processing</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">270</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006455037</subfield></datafield></record></collection> |
| id | DE-604.BV009758346 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:40:22Z |
| institution | BVB |
| isbn | 0792394542 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006455037 |
| oclc_num | 30035054 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91 DE-BY-TUM |
| owner_facet | DE-739 DE-384 DE-91 DE-BY-TUM |
| physical | XX, 273 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Kluwer |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Lam, William K. Verfasser aut Timed Boolean functions a unified formalism for exact timing analysis William K. C. Lam ; Robert K. Brayton Boston u.a. Kluwer 1994 XX, 273 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 270 : VLSI, computer architecture and digital signal processing Datenverarbeitung Algebra, Boolean Data processing Computer algorithms Integrated circuits Very large scale integration Design Data processing Logic design Data processing VLSI (DE-588)4117388-0 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Zeitverhalten (DE-588)4238464-3 gnd rswk-swf Zeitverhalten (DE-588)4238464-3 s VLSI (DE-588)4117388-0 s Boolesche Funktion (DE-588)4146281-6 s DE-604 Brayton, Robert K. Verfasser aut The Kluwer international series in engineering and computer science 270 : VLSI, computer architecture and digital signal processing (DE-604)BV023545171 270 |
| spellingShingle | Lam, William K. Brayton, Robert K. Timed Boolean functions a unified formalism for exact timing analysis The Kluwer international series in engineering and computer science Datenverarbeitung Algebra, Boolean Data processing Computer algorithms Integrated circuits Very large scale integration Design Data processing Logic design Data processing VLSI (DE-588)4117388-0 gnd Boolesche Funktion (DE-588)4146281-6 gnd Zeitverhalten (DE-588)4238464-3 gnd |
| subject_GND | (DE-588)4117388-0 (DE-588)4146281-6 (DE-588)4238464-3 |
| title | Timed Boolean functions a unified formalism for exact timing analysis |
| title_auth | Timed Boolean functions a unified formalism for exact timing analysis |
| title_exact_search | Timed Boolean functions a unified formalism for exact timing analysis |
| title_full | Timed Boolean functions a unified formalism for exact timing analysis William K. C. Lam ; Robert K. Brayton |
| title_fullStr | Timed Boolean functions a unified formalism for exact timing analysis William K. C. Lam ; Robert K. Brayton |
| title_full_unstemmed | Timed Boolean functions a unified formalism for exact timing analysis William K. C. Lam ; Robert K. Brayton |
| title_short | Timed Boolean functions |
| title_sort | timed boolean functions a unified formalism for exact timing analysis |
| title_sub | a unified formalism for exact timing analysis |
| topic | Datenverarbeitung Algebra, Boolean Data processing Computer algorithms Integrated circuits Very large scale integration Design Data processing Logic design Data processing VLSI (DE-588)4117388-0 gnd Boolesche Funktion (DE-588)4146281-6 gnd Zeitverhalten (DE-588)4238464-3 gnd |
| topic_facet | Datenverarbeitung Algebra, Boolean Data processing Computer algorithms Integrated circuits Very large scale integration Design Data processing Logic design Data processing VLSI Boolesche Funktion Zeitverhalten |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT lamwilliamk timedbooleanfunctionsaunifiedformalismforexacttiminganalysis AT braytonrobertk timedbooleanfunctionsaunifiedformalismforexacttiminganalysis |