Listing 1 - 2 of 2 |
Sort by
|
Choose an application
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.
Parallel processing (Electronic computers) --- Computer networks --- Computer security --- Congresses. --- Congresses --- Computer network architectures. --- Software engineering. --- Computer Communication Networks. --- Logic design. --- Computer software. --- Computer science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Programming Techniques. --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Parallel processing (Electronic computers) - Congresses. --- Computer networks - Congresses. --- Computer security - Congresses
Choose an application
Computer science --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Programming Languages, Compilers, Interpreters. --- Information theory. --- Logic design. --- Software engineering. --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Distributed processing --- Ability testing. --- Research. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automation
Listing 1 - 2 of 2 |
Sort by
|