Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Biomathematics. Biometry. Biostatistics --- Molecular biology --- Artificial intelligence. Robotics. Simulation. Graphics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Petri nets --- Machine theory --- Parallel processing (Electronic computers) --- Computer science --- Information systems --- Computer architecture. Operating systems --- Mathematics. --- Computer communication systems. --- Computers. --- Algorithms. --- Computer logic. --- Information storage and retrieval. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Information Storage and Retrieval. --- 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 --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Electronic data processing --- Network computers --- Math --- Science --- Foundations --- Distributed processing --- Logic, Symbolic and mathematical. --- Computer science. --- Computer software. --- Logic design. --- Information storage and retrieva. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Informatics --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Petri nets - Congresses --- Machine theory - Congresses --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer Science --- Computer science --- Machine theory --- Mathematics --- Computer mathematics --- Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Numerical analysis. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Mathematics. --- Machine theory. --- Discrete mathematics --- Electronic data processing --- Informatics --- Science --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Information theory. --- Logic design. --- Computational complexity. --- Electronic data processing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Automation --- Computer science—Mathematics. --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer science - Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ICGT 2004 was the 2nd International Conference on Graph Transformation, following the first one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29–Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Specification. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static description a further dimension, allowing for the modelling of the evolution of systems via all kinds of transformations of such graphical structures. The field of graph transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, logic, and semantics. The application areas include all those fields of computer science, information processing,engineering,and the natural sciences where static and dynamic m- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used.

Graph grammars --- Computer science --- Congresses --- Data Structures. --- Computation by Abstract Devices. --- Grammars, Graph --- Mathematics. --- Software engineering. --- Data structures (Computer science). --- Computers. --- Algorithms. --- Discrete mathematics. --- Discrete Mathematics. --- Mathematics, general. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Formal languages --- Graph theory --- Data structures (Computer scienc. --- Computer science. --- Computer software. --- Informatics --- Science --- Computer software engineering --- Engineering --- Math --- Software, Computer --- Computer systems --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Foundations --- Graph grammars - Congresses --- Computer science - Congresses