Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Gespeichert in:
1. Verfasser:
Hung, Dang Van
Format:
Elektronisch E-Book
Veröffentlicht:
Berlin Heidelberg Springer-Verlag GmbH. 2005
ISBN:
9783540320722
ISSN:
0302-9743
Schlagworte:
Theoretische Informatik
Online-Ressource
Computational logic
Softwareentwicklung
Formale Methode
Komponente Software
Objektorientierung
Verteilte Programmierung
Nebenläufigkeit
Computer Communication Networks
Computer science
Logic design
Bezugswerke:
Links: