Choose an application

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

Computer science --- Computer algorithms --- Algorithmes --- 519.681 --- Algorithms --- Theory of programming --- Computer algorithms. --- 519.681 Theory of programming --- Trees (Graph theory) --- Combinatorial analysis --- Generating functions --- Arbres (théorie des graphes) --- Analyse combinatoire --- Fonctions génératrices --- Algorithmes. --- Analyse combinatoire. --- Fonctions génératrices.

Choose an application

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

Computer science --- Geometry --- Géométrie --- Data processing --- Informatique --- 514.1 --- 519.681 --- -#TELE:d.d. Prof. A. J. J. Oosterlinck --- 681.3*I35 --- Mathematics --- Euclid's Elements --- General geometry --- Theory of programming --- Computational geometry and object modeling (Computer graphics) --- Data processing. --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 519.681 Theory of programming --- 514.1 General geometry --- Géométrie --- #TELE:d.d. Prof. A. J. J. Oosterlinck --- Geometry - Data processing --- Geometrie algorithmique --- Algorithmes --- Complexite

Choose an application

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

519.681 --- 681.3*F3 --- 681.3*F31 --- Theory of programming --- Logics and meanings of programs (Theory of computation) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 519.681 Theory of programming

Choose an application

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

Computational complexity. --- Computer algorithms. --- Computer programming. --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Computational complexity --- Computer algorithms --- Computer programming --- 510.5 --- 519.681 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorithms --- Complexity, Computational --- Machine theory --- 519.681 Theory of programming --- Theory of programming --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- Programming --- #TCPW:boek --- 681.3*F13 --- 681.3*F2 --- Computer science --- Computational Complexity --- Programmation des ordinateurs --- Algorithmes --- Complexité de calcul (Informatique) --- Informatique --- Computer science. --- Electronic digital computers - Programming --- Algorithmique --- Complexite