Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings /
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.
Saved in:
Main Authors: | Jaffar, Joxan. editor., Yap, Roland H. C. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1996
|
Subjects: | Computer science., Computer communication systems., Architecture, Computer., Software engineering., Computer programming., Algorithms., Computer logic., Computer Science., Computer System Implementation., Software Engineering/Programming and Operating Systems., Computer Communication Networks., Logics and Meanings of Programs., Algorithm Analysis and Problem Complexity., Programming Techniques., |
Online Access: | http://dx.doi.org/10.1007/BFb0027773 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings /
by: Jaffar, Joxan. editor., et al.
Published: (1996) -
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
by: Jensen, Kurt. editor., et al.
Published: (2004) -
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
by: Jensen, Kurt. editor., et al.
Published: (2004) -
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /
by: Graf, Susanne. editor., et al.
Published: (2000) -
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /
by: Graf, Susanne. editor., et al.
Published: (2000)