Choose an application

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

Mathematical logic --- Algebra --- Complex analysis --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- wiskunde

Choose an application

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

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.

Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Discrete Mathematics in Computer Science. --- Computer science. --- Computer software. --- Computational complexity. --- Information storage and retrieval systems. --- Informatique --- Réseaux d'ordinateurs --- Logiciels --- Complexité de calcul (Informatique) --- Systèmes d'information --- Computer Science --- Engineering & Applied Sciences --- Computer communication systems. --- Computers. --- Algorithms. --- Computer science --- Information storage and retrieval. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- 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 --- Machine theory --- 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 --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Distributed processing --- Information storage and retrieva. --- Software, Computer --- Complexity, Computational --- 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 --- Application software. --- Computer networks. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science—Mathematics. --- Discrete mathematics. --- Theory of Computation. --- Computer and Information Systems Applications. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Data centers

Choose an application

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

This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010, held in Eindhoven, The Netherlands, during September 2011. The 34 revised full papers presented together with 3 revised short and 6 poster papers were carefully reviewed and selected from 88 submissions. Furthermore, the proceedings contain the abstracts of two invited talks and to commemorate Kozo Sugiyama and his pioneering research in graph drawing, the proceedings include an obituary. A unique and fun part of the symposium is the Graph Drawing Contest, which is part of the Graph Drawing Challenge. This year was the 18th edition. A report on the contest is included at the end of the proceedings.

Engineering & Applied Sciences --- Computer Science --- Technology - General --- Computer graphics --- Graph theory --- Data processing --- Graphs, Theory of --- Theory of graphs --- Extremal problems --- Computer science. --- Algorithms. --- Computer science --- Computers. --- User interfaces (Computer systems). --- Computer Science. --- Discrete Mathematics in Computer Science. --- Math Applications in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Models and Principles. --- Symbolic and Algebraic Manipulation. --- User Interfaces and Human Computer Interaction. --- Mathematics. --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Mathematics --- Foundations --- Combinatorial analysis --- Topology --- Computational complexity. --- Computer software. --- Data processing. --- Software, Computer --- Complexity, Computational --- Computer science—Mathematics. --- Discrete mathematics. --- Human-computer interaction. --- Mathematical Applications in Computer Science. --- Models of Computation. --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

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

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

Information retrieval --- Complex analysis --- Discrete mathematics --- Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- applicatiebeheer --- apps --- computers --- informatica --- externe fixatie (geneeskunde --- informatiesystemen --- algoritmen --- computernetwerken --- architectuur (informatica)