Advances in Computing Science - ASIAN'99
5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
P.S. Thiagarajan
Themen in »Advances in Computing Science - ASIAN'99«
Computer Aided Verification Distributed Systems Formal Methods Mobile Computing Multimedia Real-Time Systems Theoretical Computer Science algorithm formal method formal verification modeling optimization programming real-time verification
Stimmen zu »Advances in Computing Science - ASIAN'99«
Details
ISBN: 9783540668565
Verlag: Springer Berlin
Erscheinung: 29.11.1999