Choose an application

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

Computer science --- 681.3*F0 --- Informatics --- Science --- Computerwetenschap--?*F0 --- Computer. Automation

Choose an application

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

Algebra, Abstract --- #TCPW W2.0 --- #TCPW W2.1 --- 681.3*F0 --- Abstract algebra --- Algebra, Universal --- Logic, Symbolic and mathematical --- Set theory --- Computerwetenschap--?*F0 --- Algebra, Abstract.

Choose an application

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

Automatic theorem proving --- 681.3*F0 --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Computerwetenschap--?*F0 --- Computer science --- Programming

Choose an application

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

This book reflects the scientific program of the annual workshop on Graph-theoretic Concepts in Computer Science in 1987. The purpose of this conference is to be the "missing link" between theory and application of graphs in as many branches of computer science as a conference scheduled for three days without parallel sessions can permit. So the organizers of WG '87 addressed a selected group of people with a strong interest in theory and practice. The proceedings include latest results on "classical" graph-theoretic problems (including formal language theory applied to graphs) and how to apply those results to practical problems, e.g. data bases, layout of graph operating systems, software engineering, chemistry, and modelling with graphs.

Computer science --- Discrete mathematics --- 681.3*F0 --- Computerwetenschap--?*F0 --- Information theory. --- Mathematics. --- Computer software. --- Theory of Computation. --- Mathematics, general. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Graphes, Théorie des --- Informatique

Choose an application

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

Planning (firm) --- Computer. Automation --- Operational research. Game theory --- Computer science --- Operations research --- Informatique --- Recherche opérationnelle --- Congresses --- Congrès --- -Computer science --- -681.3*F0 --- 681.3*G16 --- Informatics --- Science --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Computerwetenschap--?*F0 --- Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- 681.3*G16 Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- Recherche opérationnelle --- Congrès --- 681.3*F0