Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Choose an application
Computer programming --- Structured programming --- Parallel processing (Electronic computers) --- Programming (Electronic computers) --- Congresses --- 681.3*D30 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Coding theory --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computerwetenschap--?*D30 --- Programming --- Structured techniques --- Computer programming. --- Structured programming. --- Parallel processing (Electronic computers). --- Computer programming - Congresses --- Programming (Electronic computers) - Congresses
Choose an application
This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics as computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92.
Computer. Automation --- Formal languages --- Machine theory --- Computer programming --- Langages formels --- Automates mathématiques, Théorie des --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*D1 --- 681.3*E1 --- 681.3*F1 --- 681.3*G2 --- Programming techniques--See also {681.3*E} --- Data structures: arrays; graphs; lists; tables; trees --- Computation by abstract devices --- Discrete mathematics (Mathematics of computing) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F1 Computation by abstract devices --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D1 Programming techniques--See also {681.3*E} --- Automates mathématiques, Théorie des --- Congrès --- Programming (Electronic computers) --- Machine theory - Congresses. --- Formal languages - Congresses. --- Programming (Electronic computers) - Congresses. --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Data structures (Computer scienc. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Informatics --- Science --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics
Choose an application
#TCPW P4.0 --- #TCPW P4.3 --- #TCPW P4.7 --- 681.3*A0 --- 681.3*C3 --- 681.3*D34 --- 681.3*D47 --- 681.3*J7 --- General --- Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- 681.3*J7 Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*C3 Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- 681.3*A0 General --- Real-time data processing --- Programming (Electronic computers) --- Congresses --- Real-time data processing - Congresses --- Programming (Electronic computers) - Congresses
Listing 1 - 4 of 4 |
Sort by
|