TY - BOOK ID - 2620649 TI - Concurrency and parallelism, programming, networking ang security : second asian computing science conference, ASIAN 96, Singapore, December 1996 ; proceedings AU - JAFFAR, Joxan AU - YAP, Roland H. C. PY - 1996 VL - 1179 SN - 3540620311 3540496262 9783540620310 PB - Berlin [etc.] : Springer-Verlag, DB - UniCat KW - Parallel processing (Electronic computers) KW - Computer networks KW - Computer security KW - Congresses. KW - Congresses KW - Computer network architectures. KW - Software engineering. KW - Computer Communication Networks. KW - Logic design. KW - Computer software. KW - Computer science. KW - Computer System Implementation. KW - Software Engineering/Programming and Operating Systems. KW - Logics and Meanings of Programs. KW - Algorithm Analysis and Problem Complexity. KW - Programming Techniques. KW - Computer software engineering KW - Engineering KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Informatics KW - Science KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Parallel processing (Electronic computers) - Congresses. KW - Computer networks - Congresses. KW - Computer security - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:2620649 AB - 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. ER -