schliessen

Filtern

 

Bibliotheken

Higher-level hardware synthesis / Richard Sharp

PPN (Catalogue-ID): 386722994
Personen: Sharp, Richard William
Format: eBook eBook
Language: English
Published: Berlin [u.a.], Springer, 2004
Series: Lecture notes in computer science (2963)
Hochschule: Zugl. revised version of: Cambridge, Univ., Diss., 2003
Basisklassifikation: 54.20
54.31
54.50
54.10
RVK:

SS 4800: Informatik -- Enzyklopädien und Handbücher. Kongreßberichte Schriftenreihe. Tafeln und Formelsammlungen -- Schriftenreihen (indiv. Sign.) -- Lecture notes in computer science

Subjects:

Hardwareentwurf / Logiksynthese / Hardwarebeschreibungssprache / Hardwareverifikation

Physical Description: Online-Ressource (XVI, 195 S.), Ill., graph. Darst.
Link: Inhaltstext
ISBN: 3-540-21306-6
978-3-540-21306-2
Sekundärausgabe Online-Ausg., 2004

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 03243cam a22008412 4500
001 386722994
003 DE-627
005 20190119194033.0
007 cr uuu---uuuuu
008 040507s2004 xx |||||o 00| ||eng c
020 |a 3540213066  |9 3-540-21306-6 
020 |a 9783540213062  |9 978-3-540-21306-2 
024 7 |a 10.1007/b95732  |2 doi 
035 |a (DE-627)386722994 
035 |a (DE-599)GBV386722994 
035 |a (OCoLC)845689291 
035 |a (ZBM)1046.68002 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XD-US  |c XB-CN 
050 0 |a TK7885.7 
082 0 |a 621.392 
084 |a SS 4800  |q BVB  |2 rvk 
084 |a *68-02  |2 MSC 
084 |a 68M99  |2 MSC 
084 |a 54.20  |2 bkl 
084 |a 54.31  |2 bkl 
084 |a 54.50  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Sharp, Richard William  |d 1978- 
245 1 0 |a Higher-level hardware synthesis  |c Richard Sharp 
263 |a 0403 
264 1 |a Berlin [u.a.]  |b Springer  |c 2004 
300 |a Online-Ressource (XVI, 195 S.)  |b Ill., graph. Darst 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 2963 
502 |a Zugl. revised version of: Cambridge, Univ., Diss., 2003 
533 |a Online-Ausg.  |d 2004  |7 |2004|||||||||| 
689 0 0 |D s  |0 (DE-588)4159103-3  |0 (DE-627)104393122  |0 (DE-576)209847549  |a Hardwareentwurf  |2 gnd 
689 0 1 |D s  |0 (DE-588)4348178-4  |0 (DE-627)157269779  |0 (DE-576)211494208  |a Logiksynthese  |2 gnd 
689 0 2 |D s  |0 (DE-588)4159102-1  |0 (DE-627)105487945  |0 (DE-576)209847530  |a Hardwarebeschreibungssprache  |2 gnd 
689 0 3 |D s  |0 (DE-588)4214982-4  |0 (DE-627)105060739  |0 (DE-576)210223391  |a Hardwareverifikation  |2 gnd 
689 0 |5 (DE-627) 
751 |a Cambridge  |4 uvp 
830 0 |a Lecture notes in computer science  |v 2963  |9 296300  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349 
856 4 0 |u http://dx.doi.org/10.1007/b95732  |z Lizenzpflichtig 
856 4 2 |u http://zbmath.org/?q=an:1046.68002  |m DE-601  |n ZBM  |q pdf/application  |v 2014-03-10  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_22 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a SSG-OPC-MAT 
912 |a GBV_ILN_22_i22818 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_32 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_70 
936 r v |a SS 4800 
936 b k |a 54.20  |j Datenverarbeitungsanlagen: Allgemeines  |0 (DE-627)106418580 
936 b k |a 54.31  |j Rechnerarchitektur  |0 (DE-627)106410903 
936 b k |a 54.50  |j Programmierung: Allgemeines  |0 (DE-627)181569876 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
951 |a BO 
980 |2 22  |1 01  |b 853789576  |x 0018  |y zi22818  |z 27-12-07 
980 |2 32  |1 01  |b 65902702X  |f Online  |d INF 2004  |k Campuslizenz TU Ilmenau; außerdem als Buchausgabe vorhanden  |x 3400  |y k  |z 10-08-04 
980 |2 70  |1 01  |b 655744576  |k Campuslizenz Universität Hannover; Volltext; Printausg. vorh. unter der Signatur RN 2835(2963)  |x 0089  |y z  |z 12-07-04 
981 |2 70  |1 01  |r http://springerlink.metapress.com/link.asp?id=42uehnlb774l 
983 |2 32  |1 00  |8 00  |a SS 4800 
985 |2 22  |1 01  |a olrm