Listing 1 - 10 of 12 | << page >> |
Sort by
|
Choose an application
Computer architecture --- Parallel processing (Electronic computers) --- Neural computers --- Neural networks (Computer science) --- Congresses --- Congresses. --- Computer architecture - Congresses --- Parallel processing (Electronic computers) - Congresses --- Neural computers - Congresses --- Neural networks (Computer science) - Congresses
Choose an application
Choose an application
Computer. Automation --- Computers --- Congresses --- -#WPLT:dd.prof.J.Vendrig --- 681.3*K3m --- 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 --- Accreditation; computer literacy (Computers and education) --- 681.3*K3m Accreditation; computer literacy (Computers and education) --- #WPLT:dd.prof.J.Vendrig --- Sociology. --- Computers - Congresses --- Computers congresses
Choose an application
Programming --- Programming languages (Electronic computers) --- Congresses --- -681.3*A0 --- 681.3*D30 --- General --- Computerwetenschap--?*D30 --- Festschrift - Libri Amicorum --- 681.3*A0 General --- 681.3*A0 --- Programming languages (Electronic computers) - Congresses
Choose an application
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- 681.3*A0 --- 681.3*D0 --- 681.3*A0 General --- General --- Computerwetenschap--?*D0 --- Congrès --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses
Choose an application
Numerical analysis --- Computer science --- Computer architecture. Operating systems --- Computer architecture --- Parallel processing (Electronic computers) --- Computer algorithms --- Congresses --- -Computer architecture --- -Parallel processing (Electronic computers) --- -519.6 --- 681.3 *G10 --- 681.3*G13 --- Architecture, Computer --- Algorithms --- Computational mathematics. Numerical analysis. Computer programming --- Computerwetenschap--?*G10 --- Numerical linear algebra: conditioning; determinants; Eigenvalues; error analysis; linear systems; matrix inversion; pseudoinverses; sparse and very largesystems --- 681.3*G13 Numerical linear algebra: conditioning; determinants; Eigenvalues; error analysis; linear systems; matrix inversion; pseudoinverses; sparse and very largesystems --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- 519.6 --- Computer architecture - Congresses --- Parallel processing (Electronic computers) - Congresses --- Computer algorithms - Congresses
Choose an application
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Digital control systems --- Hybrid computers --- Commande numérique --- Calculateurs hybrides --- Congresses --- Congrès --- Commande numérique --- Congrès --- Computer science. --- Information theory. --- Computer network architectures. --- Software engineering. --- Logic design. --- Processor Architectures. --- Theory of Computation. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Hybrid computers - Congresses --- Digital control systems - Congresses
Choose an application
Electronic digital computers --- Computer algorithms --- Ordinateurs --- Algorithmes --- Congresses --- Congrès --- -Electronic digital computers --- -#TCPW P4.0 --- #TCPW P4.6 --- #TCPW P8.0 --- 681.3*C0 --- 681.3*F2 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Algorithms --- Computerwetenschap--?*C0 --- 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} --- #TCPW P4.0 --- Computer algorithms - Congresses --- Electronic digital computers - Congresses --- Computer Algorithm
Choose an application
Electronic data processing --- Parallel processing (Electronic computers) --- Distributed processing --- Congresses --- 681.3*D13 --- 681.3*D33 --- 681.3*F31 --- Concurrent programming --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 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*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D13 Concurrent programming --- Electronic data processing - Distributed processing --- Parallel processing (Electronic computers) - Congresses
Choose an application
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- -Computer programming --- -681.3*D1 --- 681.3*D28 --- 681.3*D32 --- 681.3*F3 --- 681.3*F4 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Congresses --- Programming techniques--See also {681.3*E} --- Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 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) --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Programming --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 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*D28 Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Congrès --- 681.3*D1 --- Software engineering. --- Information theory. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses.
Listing 1 - 10 of 12 | << page >> |
Sort by
|