schliessen

Filtern

 

Bibliotheken

Embedded systems : new approaches to their formal description and design ; an advanced course, Zürich, Switzerland, March 5 - 7, 1986 / A. Kündig ... (eds.)

PPN (Catalogue-ID): 016569792
Personen: Kündig, Albert T.
Kündig, Albert [Hrsg]
Kongresse: Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems 1986 Zürich
Format: Book Book
Language: English
Published: Berlin, Springer, 1987
Series: Lecture notes in computer science (284)
Basisklassifikation: 54.80
54.51
RVK:

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

Subjects:

Embedded computer systems

System design

Computer systems (Development)

Echtzeitsystem / Systementwicklung

Verteiltes System / Systementwicklung

Formangabe: Konferenzschrift (1985 , Zürich)
Notes: Literaturangaben
Physical Description: IV, 207 S, graph. Darst.
Link: Inhaltstext
ISBN: 3-540-18581-X
0-387-18581-X

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 08156cam a2201885 4500
001 016569792
003 DE-627
005 20191114141117.0
007 tu
008 880113s1987 xx ||||| 10| ||eng c
010 |a  87028879  
016 7 |a 871349825  |2 DE-101 
020 |a 354018581X  |9 3-540-18581-X 
020 |a 038718581X  |9 0-387-18581-X 
035 |a (DE-627)016569792 
035 |a (DE-576)013509160 
035 |a (DE-599)GBV016569792 
035 |a (OCoLC)16982348 
035 |a (OCoLC)16982348 
035 |a (OCoLC)260113713 
035 |a (ZBM)0626.68001 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XD-US  |c XA-GB 
050 0 |a TK7895.E42 
082 0 |a 621.39/2  |q LOC  |2 19 
084 |a 28  |2 sdnb 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 MSC 
084 |a 00Bxx  |2 MSC 
084 |a 54.80  |2 bkl 
084 |a 54.51  |2 bkl 
245 1 0 |a Embedded systems  |b new approaches to their formal description and design ; an advanced course, Zürich, Switzerland, March 5 - 7, 1986  |c A. Kündig ... (eds.) 
264 1 |a Berlin  |a Heidelberg [u.a.]  |b Springer  |c 1987 
300 |a IV, 207 S.  |b graph. Darst. 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 284 
500 |a Literaturangaben 
591 |a 720 ff. bvb ; IMD-Felder und 1131 maschinell ergänzt (SWB) 
650 0 |a Embedded computer systems 
650 0 |a System design 
650 0 |a Computer systems  |x Development 
655 7 |a Konferenzschrift  |y 1985  |z Zürich  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4131397-5  |0 (DE-627)105695319  |0 (DE-576)20962695X  |a Echtzeitsystem  |2 gnd 
689 0 1 |D s  |0 (DE-588)4126945-7  |0 (DE-627)104636866  |0 (DE-576)209589426  |a Systementwicklung  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4238872-7  |0 (DE-627)104657308  |0 (DE-576)210416696  |a Verteiltes System  |2 gnd 
689 1 1 |D s  |0 (DE-588)4126945-7  |0 (DE-627)104636866  |0 (DE-576)209589426  |a Systementwicklung  |2 gnd 
689 1 |5 DE-101 
700 1 |a Kündig, Albert T.  |4 oth 
700 1 |a Kündig, Albert  |e hrsg  |0 (DE-627)1234150395  |0 (DE-576)164150390  |4 edt 
711 2 |a Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems  |d 1986  |c Zürich  |0 (DE-588)622870-7  |0 (DE-627)101831412  |0 (DE-576)193024209  |4 oth 
776 0 8 |i Online-Ausg.  |t Embedded systems  |d Berlin [u.a.] : Springer, 1987  |h Online-Ressource (IV, 207 S.)  |w (DE-627)595130399  |z 9783540480211 
830 0 |a Lecture notes in computer science  |v 284  |9 28400  |w (DE-627)129300152  |w (DE-576)014492687  |w (DE-600)121909-1  |x 0302-9743 
856 4 2 |u http://zbmath.org/?q=an:0626.68001  |m V:DE-601  |m B:ZBM  |q pdf/application  |v 2016-04-14  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u http://swbplus.bsz-bw.de/bsz013509160cov.htm  |m V:DE-576;X:springer  |q image/jpeg  |v 20150910142159  |3 Cover 
912 |a GBV_ILN_11 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a SSG-OPC-MAT 
912 |a GBV_ILN_20 
912 |a GBV_ILN_22 
912 |a GBV_ILN_24 
912 |a GBV_ILN_24_f601 
912 |a GBV_ILN_30 
912 |a GBV_ILN_31 
912 |a GBV_ILN_32 
912 |a GBV_ILN_40 
912 |a GBV_ILN_70 
912 |a GBV_ILN_130 
912 |a GBV_ILN_2002 
912 |a GBV_ILN_2004 
912 |a GBV_ILN_2006 
912 |a GBV_ILN_2008 
912 |a GBV_ILN_2009 
912 |a GBV_ILN_2012 
912 |a GBV_ILN_2015 
912 |a GBV_ILN_2018 
912 |a GBV_ILN_2020 
912 |a GBV_ILN_2021 
912 |a GBV_ILN_2088 
912 |a GBV_ILN_2190 
935 |i Blocktest 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.80  |j Angewandte Informatik  |0 (DE-627)106417967 
936 b k |a 54.51  |j Programmiermethodik  |0 (DE-627)106418122 
951 |a BO 
980 |2 11  |1 01  |b 021067252  |f 2  |d 797351  |e u  |x 0001  |y r  |z 25-04-88 
980 |2 11  |1 02  |b 026521261  |f 6  |d 29 SA 1677-284  |e u  |x 0001  |y r  |z 05-07-95 
980 |2 20  |1 01  |b 018163416  |d 2664-5672  |x 0084  |y n  |z 14-01-88 
980 |2 22  |1 01  |b 079455662  |f SUB  |d X/12948: 284  |e u  |h SUBarSBHH  |x 0018  |y zu  |z 15-07-88 
980 |2 22  |1 02  |b 224385666  |f SUB-SBHH  |d K094468  |e u  |d K NEW 12196  |h SBHH18228  |x 0018  |y nu  |z 13-11-96 
980 |2 24  |1 01  |b 331591626  |f 8/60a  |d LNCS;284 R-18656  |e i  |d Magazin 007  |h rf  |x 0008  |y zf601  |z 24-03-99 
980 |2 30  |1 01  |b 821428403  |d Ra 396 Bd 284  |e u  |x 0104  |y z  |z 31-05-07 
980 |2 31  |1 01  |b 295503130  |f J 50  |d INF:::LNCS:284:1987  |e d  |x 0027  |y z  |z 10-12-03 
980 |2 32  |1 01  |b 125072406  |f 93  |d INF 1752  |e u  |x 3400  |y ky  |z 05-09-00 
980 |2 40  |1 01  |b 382826388  |d ZA 37158:284  |e u  |x 0007  |y xsn  |z 15-03-00 
980 |2 70  |1 01  |b 018163424  |d RN 2835(284)  |e f  |x 0089  |y n  |z 27-04-88 
980 |2 130  |1 01  |b 02973763x  |f N  |d TUF / Lec 284  |e u  |x 0700  |y nn  |z 04-01-88 
980 |2 2002  |1 01  |b 3279359333  |f MST  |d F.0  |e p  |x 21250  |y l01  |z 22-03-05 
980 |2 2004  |1 01  |b 3279359406  |d Frei 91: CA/0.0/1-284  |l I 96/556 - mb  |x 21251  |y l01  |z 17-07-96 
980 |2 2004  |1 02  |b 3279359414  |d Frei 3a: Kongresse 1986/100  |e p  |k Inv.Nr. AM 87/83  |x 21251  |y l01  |z 04-12-06 
980 |2 2006  |1 01  |b 3279359503  |x 20301  |y l01  |z 27-01-98 
980 |2 2008  |1 01  |b 3279359546  |d 38/1067  |x 20303  |y l01  |z 16-07-07 
980 |2 2009  |1 01  |b 3279359627  |f 400  |d 400 SS 4800-284  |x 20354  |y l01  |z 04-03-16 
980 |2 2009  |1 02  |b 3279359635  |f MAG06  |d AN 6693  |x 20354  |y l03  |z 02-04-16 
980 |2 2012  |1 01  |b 3279359716  |d Kuendi  |e p  |x 21252  |y l01  |z 21-03-00 
980 |2 2015  |1 01  |b 3279359821  |d 3H 1047-284  |x 20593  |y l01  |z 20-06-95 
980 |2 2018  |1 01  |b 3279359880  |d 88 A 3845  |k 05.07.93/gä  |x 20729  |y l01  |z 05-07-93 
980 |2 2020  |1 01  |b 3279359953  |d SS 4800 284  |l $  |x 20730  |y l01  |z 09-04-98 
980 |2 2021  |1 01  |b 327936003X  |f O  |d QAA 7/A1.284  |x 20731  |y l01  |z 31-01-91 
980 |2 2088  |1 01  |b 3279360102  |d K/1986/Zuerich  |e p  |l 88K070 sc  |x 20854  |y l01  |z 01-06-99 
980 |2 2190  |1 01  |b 3279360196  |x 21607  |y l01  |z 09-07-07 
982 |2 20  |1 00  |8 00  |a Architektur 
982 |2 20  |1 00  |8 01  |a Eingebettete Systeme 
982 |2 20  |1 00  |8 02  |a Funktionale Programmierung 
982 |2 20  |1 00  |8 03  |a Petri-Netz 
982 |2 20  |1 00  |8 04  |a Spezifikation 
982 |2 20  |1 00  |8 05  |a Vlsi 
982 |2 32  |1 00  |8 00  |a Kongreß 
982 |2 32  |1 00  |8 01  |a Zürich <1986> 
982 |2 2021  |1 01  |8 00  |0 (DE-601)1306857287  |a Embedded computer systems 
982 |2 2021  |1 01  |8 01  |0 (DE-601)1306808553  |a Computer systems. Development 
982 |2 2021  |1 01  |8 02  |0 (DE-601)1305759354  |a System design 
982 |2 2190  |1 01  |8 00  |a Kündig, A. 
982 |2 2190  |1 01  |8 00  |a Bücher, R. 
982 |2 2190  |1 01  |8 00  |a Döhler, J. 
983 |2 11  |1 00  |8 00  |0 (DE-601)285312669  |a Mat T 810 
983 |2 11  |1 00  |8 01  |0 (DE-601)284792675  |a Mat T 1010 
983 |2 20  |1 00  |8 00  |a 518.74:... 
983 |2 20  |1 00  |8 00  |a 518.743 
983 |2 22  |1 01  |8 00  |a 119.54:F92 
983 |2 22  |1 01  |8 01  |a 119.52:F92 
983 |2 31  |1 00  |8 00  |a INF 
983 |2 32  |1 00  |8 00  |a 23550a Informationsverarbeitung, Schriftenreihe 
983 |2 32  |1 00  |8 01  |a 23550a Informationsverarbeitung, Kongreß 
983 |2 70  |1 00  |8 00  |a mat 750.2 k 
983 |2 130  |1 00  |8 00  |a TUF 
983 |2 2020  |1 01  |8 00  |0 (DE-627)1291876545  |a SS 4800 
983 |2 2088  |1 01  |8 00  |0 (DE-627)1294687344  |a AMS:68  |b Computer science 
984 |2 20  |1 01  |a 84$026645672 
984 |2 22  |1 01  |a 907077938 
984 |2 22  |1 02  |a 070163645 
984 |2 30  |1 01  |a 104$07208057 
984 |2 31  |1 01  |a 27$004481631 
984 |2 32  |1 01  |a ILM1$002178370 
984 |2 40  |1 01  |a 7$109115864 
984 |2 70  |1 01  |a 89$101945809  |x 00 
984 |2 130  |1 01  |a 700$43858303  |x 00 
985 |2 22  |1 02  |a 12196 
985 |2 24  |1 01  |a R-18656 
985 |2 31  |1 01  |a A92/R/15812 
985 |2 32  |1 01  |a 93 A 5495-284 
985 |2 130  |1 01  |a 4385-830 3 
985 |2 2002  |1 01  |a 570/1987 
995 |2 22  |1 01  |a SUBarSBHH 
995 |2 22  |1 02  |a SBHH18228 
995 |2 24  |1 01  |a rf