Search
Feedback
About
Help
News
| Listing 1 - 10 of 21 | << page >> |
Sort by
|
Book
ISBN: 0713128151 9780713128154 Year: 1980 Publisher: London Arnold
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing departments --- -681.3*K6 --- 681.3*K6 Management of computing and information systems: economics --- Management of computing and information systems: economics --- Computer centers --- Management --- -#TCPW P6.1 --- 681.3*K6 --- #TCPW P6.1 --- 65.01 --- 65.01 Methods and methodology. Theory and practice of organization --- Methods and methodology. Theory and practice of organization --- Electronic data processing departments - Management
ISBN: 3540106995 0387106995 3540386548 9780387106991 9783540106999 Year: 1981 Volume: 107 Publisher: Berlin ; Heidelberg ; New York, NY : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- #TCPW P6.3 --- #TCPW P3.0 --- #TCPW P6.1 --- 681.3*F0 --- 681.3*F3 --- 681.3*F4 --- Computerwetenschap--?*F0 --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Software engineering. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Informatics --- Science --- Computer software engineering --- Engineering
ISBN: 0444003819 9780444003812 Year: 1981 Volume: 1 Publisher: New York (N.Y.): North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Computer programming --- Reliability --- Management --- -Computer programming --- -#TCPW P6.2 --- #TCPW P6.1 --- 681.3*D29 --- 681.3*K63 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Software, Computer --- Computer systems --- Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- Software management: software development; software selection; software maintenance --- Programming --- 681.3*K63 Software management: software development; software selection; software maintenance --- 681.3*D29 Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- #TCPW P6.2 --- Computer programming management --- Programming management (Electronic computers) --- Computer software - Reliability --- Computer programming - Management
Book
ISBN: 0566021900 9780566021909 Year: 1981 Publisher: Westmead-Farnborough-Hants Gower
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing departments --- Computer security --- Security measures --- AA / International- internationaal --- 343.50 --- 654 --- Misdrijven tegen de openbare orde en de goede zeden (algemeenheden). --- Informatieverwerking. Bureautica. --- #TCPW P6.2 --- #TCPW P6.1 --- 681.3*K4 --- 681.3*K6m --- 05.14 --- 12.01 --- Computerwetenschap--?*K4 --- Insurance; security (Management of computing and information systems) --- Technische verzekeringen --- Preventie ; Algemeen --- 681.3*K6m Insurance; security (Management of computing and information systems) --- Computer. Automation --- Misdrijven tegen de openbare orde en de goede zeden (algemeenheden) --- Informatieverwerking. Bureautica --- Electronic data processing departments - Security measures
ISBN: 0121229203 9780121229207 Year: 1981 Publisher: London ; New York, NY : Academic Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Computer programs --- Correctness --- 519.68 --- -#TCPW P6.3 --- #TCPW P9.0 --- #TELE:ELEN --- 681.3*D24 --- 681.3*D32 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Computer programming --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Correctness. --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 519.68 Computer programming --- #TCPW P6.3 --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Computer programs - Correctness --- Specification --- Programming Language --- proof --- Programming Methodology
Book
ISBN: 0444003401 044400341X 9780444003409 Year: 1979 Volume: 6 Publisher: New York, NY : Elsevier North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programming --- Programmation (Informatique) --- #TCPW P6.2 --- #TCPW P6.1 --- 519.6 --- 681.3*D22 --- 681.3*I22 --- 681.3.06 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computational mathematics. Numerical analysis. Computer programming --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Computerwetenschap--?.06 --- Programming --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 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) --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.
Book
ISBN: 0470269464 0853121419 9780853121411 Year: 1980 Volume: 4
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Cluster analysis --- FORTRAN (Computer program language) --- Classification automatique (Statistique) --- FORTRAN (Langage de programmation) --- Data processing --- Informatique --- 519.25 --- 681.3*G3 --- #TCPW P6.3 --- Statistical data handling --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- Data processing. --- FORTRAN (Computer program language). --- 681.3*G3 Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- 519.25 Statistical data handling --- Cluster analysis - Data processing
Book
ISBN: 0713128003 9780713128000 Year: 1980 Publisher: London Arnold
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
System Analysis --- 65.01 --- System analysis --- #TCPW P6.1 --- 681.3*H0 --- 681.3*K6 --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Methods and methodology. Theory and practice of organization --- Computerwetenschap--?*H0 --- Management of computing and information systems: economics --- Systeemanalyse --- System analysis. --- Systeemanalyse. --- 681.3*K6 Management of computing and information systems: economics --- 65.01 Methods and methodology. Theory and practice of organization --- Network analysis --- Network science
ISBN: 0387906282 1468401394 9783540906285 9780387906287 3540906282 Year: 1981 Publisher: New York (N.Y.): Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Ada (Computer program language) --- #TCPW P6.3 --- #TCPW P5.9 --- 681.3*D32 --- Programming languages (Electronic computers) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Ada (Computer program language). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)
ISBN: 0835712184 9780835712187 Year: 1981 Volume: 10 Publisher: Ann Arbor Umi research press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Distributed artificial intelligence --- Problem solving --- Data processing --- -#TCPW P7.2 --- #TCPW P7.6 --- #TCPW P6.3 --- 681.3*A0 --- 681.3*I28 --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- DAI (Artificial intelligence) --- Distributed AI (Artificial intelligence) --- Artificial intelligence --- General --- Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*A0 General --- #TCPW P7.2 --- Problem solving - Data processing
| Listing 1 - 10 of 21 | << page >> |
Sort by
|