TY - BOOK ID - 5300644 TI - CONCUR 2002 - Concurrency Theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings AU - Brim, Lubos. AU - Jancar, Petr. AU - Kretinsky, Mojmir. AU - Kucera, Antonin. AU - International Conference on Concurrency Theory PY - 2002 VL - 2421 SN - 03029743 SN - 3540440437 9783540440437 3540456945 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Parallel processing (Electronic computers) KW - Parallélisme (Informatique) KW - Congresses. KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Parallélisme (Informatique) KW - Congrès KW - Computer science. KW - Architecture, Computer. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Computer Science. KW - Theory of Computation. KW - Computer System Implementation. KW - Logics and Meanings of Programs. KW - Computation by Abstract Devices. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - High performance computing KW - Multiprocessors KW - Parallel programming (Computer science) KW - Supercomputers KW - Information theory. KW - Computer network architectures. KW - Logic design. KW - Informatics KW - Science 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 - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Communication theory KW - Communication KW - Cybernetics KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Architecture, Computer KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace KW - Programming KW - Parallel processing (Electronic computers) - Congresses KW - Parallélisme (Informatique) - Congrès - Congrès UR - https://www.unicat.be/uniCat?func=search&query=sysid:5300644 AB - ER -