Listing 1 - 10 of 13 | << page >> |
Sort by
|
Choose an application
Mathematical logic --- 510 --- Fundamental and general considerations of mathematics. Foundations, logic etc. --- 510 Fundamental and general considerations of mathematics. Foundations, logic etc. --- Predicate calculus. --- Sequential machine theory. --- Décidabilité (logique mathématique)
Choose an application
Computer architecture. Operating systems --- Electronic digital computers --- hardware --- 681.3*B --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- 681.3*B Hardware --- Hardware
Choose an application
Computational complexity --- Sequential machine theory --- Computable functions --- Computable functions. --- Computational complexity. --- Sequential machine theory. --- Computer science --- 519.6 --- 681.3 --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- Finite automata --- Finite state machines (Machine theory) --- Machine theory --- Electronic digital computers --- Complexity, Computational --- Electronic data processing --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Computerwetenschap --- Fonctions calculables --- Complexité de calcul (Informatique) --- Théorie des machines séquentielles --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / /
Choose an application
Computers --- Electronic digital computers --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Hybrid computers --- Sequential machine theory --- 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 --- Valuation --- Purchasing --- Valuation. --- Purchasing. --- Computer. Automation --- Business, Economy and Management --- Information Technology --- Economics --- Computer Science (Hardware & Networks)
Choose an application
Planning (firm) --- Computer. Automation --- Electronic data processing --- Electronic digital computers --- Programming languages (Electronic computers) --- Informatique --- Ordinateurs --- Langages de programmation --- Periodicals --- Périodiques --- Mathematical Sciences --- Applied Mathematics --- Cybernetics --- Information science --- Electronic data processing. --- Electronic digital computers. --- Computer programming. --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Hybrid computers --- Sequential machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Programming --- Automation
Choose an application
Computer. Automation --- Brain --- Artificial intelligence --- Electronic digital computers --- Cerebrum --- Mind --- Central nervous system --- Head --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence.
Choose an application
The journal's objective is to cement its competitive position as a prominent journal of the BISE (Business & Information Systems Engineering) community and reinforce that status through quality improvements and extending its readership. In addition, the journal seeks to establish design science oriented research within the global arena, secure a lasting position and reputation in the global BISE community, and foster constructive dialogue among the discipline's differing international models. Therefore, the journal aims at further developing the theoretical foundations of action in order to preserve sustainable approaches despite tempestuous technical development. Besides, the journal aspires to promote technology transfer in order to make better solutions available faster and to considerably reduce costs of system design and operation. The central mission is to develop, promote, and shape the BISE discipline for the benefit of its members and society.
Business management --- Computer. Automation --- Management information systems --- Systèmes d'information de gestion --- Periodicals. --- Périodiques --- Business, Economy and Management --- Information Technology --- General and Others --- Information Science and Systems --- Electronic digital computers --- Electronic data processing --- Electronic data processing. --- Electronic digital computers. --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Industries --- Computers --- Hybrid computers --- Sequential machine theory --- Office practice --- Automation --- informatietechnologie --- information technology --- informatica --- informatics --- bedrijfsmanagement --- business management --- Information and Communication Technology (General) --- Informatie- en communicatietechnologie (algemeen) --- Ordinateurs
Choose an application
Computer. Automation --- Digital electronics --- Electronic digital computers --- Circuits --- 621.382 --- -Switching theory --- Automatic control --- Electric networks --- Electric switchgear --- Information theory --- Logic, Symbolic and mathematical --- Machine theory --- Mathematical physics --- System analysis --- Telecommunication --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Digital circuits --- Digital techniques (Electronics) --- Electronic systems --- Electronics --- Electronic devices using solid-state effects. Semiconductor devices --- Digital electronics. --- Switching theory. --- Digitale technieken --- Circuits. --- Digitale technieken. --- 621.382 Electronic devices using solid-state effects. Semiconductor devices --- Switching theory --- Digital computer circuits --- Electronic circuits --- Electronic digital computers - Circuits
Choose an application
Computer architecture. Operating systems --- Electronic digital computers --- Computer architecture --- Ordinateurs --- Architecture --- 681.3*C11 --- 681.3*D34 --- Single data stream architectures: MISD; SISD; pipeline processors; von Neumann architectures --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*C11 Single data stream architectures: MISD; SISD; pipeline processors; von Neumann architectures --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Architecture, Computer --- Hardware --- Vlsi --- Tutorial --- Ieee
Choose an application
This advanced textbook presents a broad and up-to-date view of the computational complexity theory of Boolean circuits. It combines the algorithmic and the computability-based approach, and includes extensive discussion of the literature to facilitate further study. It begins with efficient Boolean circuits for problems with high practical relevance, e.g., arithmetic operations, sorting, and transitive closure, then compares the computational model of Boolean circuits with other models such as Turing machines and parallel machines. Examination of the complexity of specific problems leads to the definition of complexity classes. The theory of circuit complexity classes is then thoroughly developed, including the theory of lower bounds and advanced topics such as connections to algebraic structures and to finite model theory.
Computer science --- Algebra, Boolean. --- Computational complexity. --- Electronic digital computers --- Logic, Symbolic and mathematical. --- Circuits --- Design. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer mathematics. --- Electronics. --- Microelectronics. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computational Mathematics and Numerical Analysis. --- Electronics and Microelectronics, Instrumentation. --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electrical engineering --- Physical sciences --- Computer mathematics --- Electronic data processing --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- 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 --- Foundations --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory
Listing 1 - 10 of 13 | << page >> |
Sort by
|