|  |
| |
| Artikel-Nr.:
5667A-9783540620310 Herst.-Nr.:
9783540620310 EAN/GTIN:
9783540620310 |
| |
|
| | |
| This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification. Weitere Informationen: | | Author: | Joxan Jaffar; Roland H.C. Yap | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, algorithms; algorithm; distributed systems; logic; Logic programming; verification; Algorithm analysis and problem complexity, Algorithms, algorithm, concurrency, distributed systems, logic, logic programming, programming, verification, algorithm analysis and problem complexity |
| | |
| |