Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1742 |
| Schlagworte: |
Informatica
> Informatique - Congrès
> Technologie de l'information - Congrès
> informatique mobile
> informatique théorique
> méthode formelle
> raisonnement automatique
> système embarqué
> système réparti
> système temps réel
> vérification formelle
> Datenverarbeitung
> Informatik
> Computer science
> Electronic data processing
> Programmiersprache
> Berechnungstheorie
> Formale Sprache
> Automatisches Beweisverfahren
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 395 S. graph. Darst. |
|---|---|
| ISBN: | 354066856X 3-540-66856-X |