Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999. P. S. Thiagarajan ... (eds.)

Asian Computing Science Conference ; 5 (Phuket) : 1999.12.10-12

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 1999

XI, 395 S. : graph. Darst. ; 24 cm

Konferenzschrift (1999, Phuket, Stadt)

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

kart. DM 94.00

Online-Ausg.: Advances in Computing Science — ASIAN’99. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999. - Online-Ressource

3-540-66856-X (kart. DM 94.00)

*Eingebettetes System / Echtzeitsystem

*Verifikation / Formale Methode

*Verteiltes System / Offenes Kommunikationssystem

*Mobiler Agent

*Computer science -- Congresses

Dewey Dezimal-Klassifikation: 004

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Lecture notes in computer science

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

https://zbmath.org/?q=an:0931.00045 [Zentralblatt MATH]

Potsdamer Straße

BIBTEX - ENDNOTE - RIS