Formal methods in circuit design
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge University Press
|
Σειρά: | Cambridge University Press |
MARC
LEADER | 00000nam a2200000 i 4500 | ||
---|---|---|---|
001 | 1/10239 | ||
010 | |a 0 521 44336 9 |b hardback | ||
035 | |l 10000828 | ||
100 | |a 19981021d1993 0grey0105 ba | ||
101 | 0 | |a eng | |
200 | 1 | |a Formal methods in circuit design |f V. Stavridou | |
210 | |a Cambridge |c Cambridge University Press |d c1993 | ||
215 | |a xiii, 193 p. |c ill. |d 26 cm. | ||
225 | 2 | |a Cambridge tracts in theoretical computer science |v 37 | |
320 | |a Bibliography : p.171-193 | ||
410 | 1 | |t Cambridge Tracts in Theoretical Computer Science |f Cambridge University Press |v 37 | |
606 | 0 | |a Ψηφιακά ηλεκτρονικά | |
606 | 0 | |a Ολοκληρωμένα κυκλώματα |x Πολύ μεγάλη κλίμακα ολοκλήρωσης |x Σχεδίαση και κατασκευή | |
676 | |a 621.395 | ||
700 | 1 | |a Σταυρίδου |b Βικτωρία | |
709 | |a Cambridge University Press | ||
801 | 0 | |a GR |b ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 |g AACR2 | |
852 | |a INST |b LIBRARY |e 19981020 |h 621.395 ΣΤΑ |p 000018837 |q 000018837 |t BK |y 23 |z 1 | ||
852 | |a INST |b LIBRARY |e 19981020 |h 621.395 ΣΤΑ |p 000018840 |q 000018840 |t BK |y 0 |z 2 | ||
901 | |a 000773, 000772 | ||
909 | |b 012688 (c.1) | ||
909 | |b 012689 (c.2) | ||
970 | |a ΑΔΑΜ |b ΚΥΡΙΑΚΗ |z 1998-10 |
Εγγραφή στο Ευρετήριο Αναζήτησης
_version_ | 1780545232933224448 |
---|---|
author | Σταυρίδου Βικτωρία |
author_facet | Σταυρίδου Βικτωρία |
author_role | |
author_sort | Σταυρίδου Βικτωρία |
author_variant | σ β σβ |
building | Campus Library II |
collection | LIB2 Catalog |
dewey-full | 621.395 |
dewey-hundreds | 600 |
dewey-ones | 621 |
dewey-raw | 621.395 |
dewey-search | 621.395 |
dewey-sort | 3621.395 |
dewey-tens | 620 |
format | Book |
fullrecord | {"leader":"01312nam a2200301 i 4500","fields":[{"001":"1/10239"},{"010":{"subfields":[{"a":"0 521 44336 9"},{"b":"hardback"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10000828"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981021d1993 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"Formal methods in circuit design"},{"f":"V. Stavridou"}],"ind1":"1","ind2":" "}},{"210":{"subfields":[{"a":"Cambridge"},{"c":"Cambridge University Press"},{"d":"c1993"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"xiii, 193 p."},{"c":"ill."},{"d":"26 cm."}],"ind1":" ","ind2":" "}},{"225":{"subfields":[{"a":"Cambridge tracts in theoretical computer science"},{"v":"37"}],"ind1":"2","ind2":" "}},{"320":{"subfields":[{"a":"Bibliography : p.171-193"}],"ind1":" ","ind2":" "}},{"410":{"subfields":[{"t":"Cambridge Tracts in Theoretical Computer Science"},{"f":"Cambridge University Press"},{"v":"37"}],"ind1":" ","ind2":"1"}},{"606":{"subfields":[{"a":"\u03a8\u03b7\u03c6\u03b9\u03b1\u03ba\u03ac \u03b7\u03bb\u03b5\u03ba\u03c4\u03c1\u03bf\u03bd\u03b9\u03ba\u03ac"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u039f\u03bb\u03bf\u03ba\u03bb\u03b7\u03c1\u03c9\u03bc\u03ad\u03bd\u03b1 \u03ba\u03c5\u03ba\u03bb\u03ce\u03bc\u03b1\u03c4\u03b1"},{"x":"\u03a0\u03bf\u03bb\u03cd \u03bc\u03b5\u03b3\u03ac\u03bb\u03b7 \u03ba\u03bb\u03af\u03bc\u03b1\u03ba\u03b1 \u03bf\u03bb\u03bf\u03ba\u03bb\u03ae\u03c1\u03c9\u03c3\u03b7\u03c2"},{"x":"\u03a3\u03c7\u03b5\u03b4\u03af\u03b1\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03ba\u03b1\u03c4\u03b1\u03c3\u03ba\u03b5\u03c5\u03ae"}],"ind1":"0","ind2":" "}},{"676":{"subfields":[{"a":"621.395"}],"ind1":" ","ind2":" "}},{"700":{"subfields":[{"a":"\u03a3\u03c4\u03b1\u03c5\u03c1\u03af\u03b4\u03bf\u03c5"},{"b":"\u0392\u03b9\u03ba\u03c4\u03c9\u03c1\u03af\u03b1"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"Cambridge University Press"}],"ind1":" ","ind2":" "}},{"801":{"subfields":[{"a":"GR"},{"b":"\u03a0\u0391.\u0394.\u0391. \u0392\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b7 \u03a0\u03b1\u03bd\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03b9\u03bf\u03cd\u03c0\u03bf\u03bb\u03b7\u03c2 2"},{"g":"AACR2"}],"ind1":" ","ind2":"0"}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981020"},{"h":"621.395 \u03a3\u03a4\u0391"},{"p":"000018837"},{"q":"000018837"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981020"},{"h":"621.395 \u03a3\u03a4\u0391"},{"p":"000018840"},{"q":"000018840"},{"t":"BK"},{"y":"0"},{"z":"2"}],"ind1":" ","ind2":" "}},{"901":{"subfields":[{"a":"000773, 000772"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012688 (c.1)"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012689 (c.2)"}],"ind1":" ","ind2":" "}},{"970":{"subfields":[{"a":"\u0391\u0394\u0391\u039c"},{"b":"\u039a\u03a5\u03a1\u0399\u0391\u039a\u0397"},{"z":"1998-10"}],"ind1":" ","ind2":" "}}]}
|
id | lib2_1/10239 |
illustrated | Illustrated |
institution | University of West Attica |
isbn | 0 521 44336 9 |
language | English |
physical | xiii, 193 p. ill. 26 cm. |
publishDate | 1993 |
publisher | Cambridge University Press |
record_format | marc |
series | Cambridge University Press |
series2 | Cambridge tracts in theoretical computer science |
spelling | 19981021d1993 0grey0105 ba eng Formal methods in circuit design V. Stavridou Cambridge Cambridge University Press c1993 xiii, 193 p. ill. 26 cm. Cambridge tracts in theoretical computer science 37 Bibliography : p.171-193 Cambridge Tracts in Theoretical Computer Science Cambridge University Press 37 Ψηφιακά ηλεκτρονικά Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή 621.395 Σταυρίδου Βικτωρία Cambridge University Press GR ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2 INST LIBRARY 19981020 621.395 ΣΤΑ 000018837 000018837 BK 23 1 INST LIBRARY 19981020 621.395 ΣΤΑ 000018840 000018840 BK 0 2 |
spellingShingle | Σταυρίδου Βικτωρία Formal methods in circuit design Cambridge University Press Ψηφιακά ηλεκτρονικά Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή |
title | Formal methods in circuit design |
title_auth | Formal methods in circuit design |
title_full | Formal methods in circuit design V. Stavridou |
title_fullStr | Formal methods in circuit design V. Stavridou |
title_full_unstemmed | Formal methods in circuit design V. Stavridou |
title_short | Formal methods in circuit design |
topic | Ψηφιακά ηλεκτρονικά Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή |
topic_facet | Ψηφιακά ηλεκτρονικά Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή |