Timed Boolean functions: a unified formalism for exact timing analysis
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Boston u.a.
Kluwer
1994
|
| Schriftenreihe: | The Kluwer international series in engineering and computer science
270 : VLSI, computer architecture and digital signal processing |
| Schlagwörter: | |
| Umfang: | XX, 273 S. graph. Darst. |
| ISBN: | 0792394542 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009758346 | ||
| 003 | DE-604 | ||
| 005 | 19951116 | ||
| 007 | t| | ||
| 008 | 940812s1994 xx 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006455037 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0834 MA.168 |
|---|---|
| DE-BY-TUM_katkey | 631813 |
| DE-BY-TUM_location | LSB |
| DE-BY-TUM_media_number | TEMP2959207 |
| _version_ | 1821937095892008961 |
| 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 / Elektronik / Nachrichtentechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01909nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006455037</subfield></datafield></record></collection> |
| id | DE-604.BV009758346 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:41:43Z |
| 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 |
| 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 |
Paper/Kapitel scannen lassen
Handapparate (nicht verfügbar)
| Signatur: |
0834 MA.168
Lageplan |
|---|---|
| Exemplar 1 | Dauerhaft ausgeliehen Ausgeliehen |