Choose an application

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

Electronic data processing --- Computers --- Computer programming --- Informatique --- Ordinateurs --- Programmation (Informatique) --- 681.3*A1 --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- 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 --- Introductory and survey --- Programming --- Automation --- Computer programming. --- Computers. --- Electronic data processing. --- 681.3*A1 Introductory and survey --- Computing

Choose an application

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

Programming Language

Choose an application

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

Programming --- Computer science --- Predicate calculus --- Programming languages (Electronic computers) --- Calcul des prédicats --- Langages de programmation --- Semantics --- Sémantique --- -681.3*F32 --- 681.3*I24 --- Programming language semantics --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Predicate calculus. --- Semantics. --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Calcul des prédicats --- Sémantique --- 681.3*F32 --- Programming languages (Electronic computers) - Semantics

Choose an application

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

Systemes, Conception de --- Logiciels --- Programmation (Informatique) --- Etude et enseignement. --- Developpement --- Etude et enseignement --- System design --- Computer software --- Computers --- Study and teaching. --- Development --- Computers. --- Systemes, Conception de - Etude et enseignement --- Logiciels - Developpement - Etude et enseignement --- Programmation (Informatique) - Etude et enseignement

Choose an application

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

Programming --- Structured programming. --- Programmation structurée --- Structured programming --- Structured techniques --- Computerprogrammering --- Computerprogrammering. --- Tools and techniques: decision tables flow charts modules and interfaces programmer workbench software libraries structured programming top-down programming user interfaces (Software engineering) --- 681.3*D22 Tools and techniques: decision tables flow charts modules and interfaces programmer workbench software libraries structured programming top-down programming user interfaces (Software engineering) --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- 681.3*D2 --- Computer programming --- Electronic data processing --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D22 --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Langages de programmation --- Programming languages (Electronic computers) --- Systèmes, Conception de --- System design --- Structured Programming --- Methodology --- Langages de programmation.