登入

跳至 : 概要書目資訊主題

Theory of Computation.

概要

作品:	916 作品在 748 項出版品 748 種語言

書目資訊

Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity / by: (書目-電子資源)

New Computational Paradigms :Changing Conceptions of What is Computable / by: (書目-電子資源)

Advances in Applied Self-organizing Systems / by: (書目-電子資源)

Dissemination of Information in Optical Networks :From Technology to Algorithms In Cooperation with Ralf Klasing / by: (書目-電子資源)

The Art of Artificial Evolution :A Handbook on Evolutionary Art and Music / by: (書目-電子資源)

Multiobjective Problem Solving from Nature :From Concepts to Applications / by: (書目-電子資源)

Media Theory :Interdisciplinary Applied Mathematics / by: (書目-電子資源)

Genetic Programming Theory and Practice.V by: (書目-電子資源)

Probing Experience :From Assessment of User Emotions and Behaviour to Development of Products / by: (書目-電子資源)

Advances in Metaheuristics for Hard Optimization / by: (書目-電子資源)

主題

Input/Output and Data Communications.

Theory of Computation.

Mathematical Logic and Foundations.

Philosophy.

Quantum Computing, Information and Physics.

Self-organizing systems.

Communications Engineering, Networks.

Computing Methodologies.

Mathematical Logic and Formal Languages.

Software Engineering.

Operating systems (Computers)

Data Structures, Cryptology and Information Theory.

Image Processing and Computer Vision.

High performance computing

History of Computing.

Open source software

Optical data processing

Research

Operations Research/Decision Theory.

Logic.

Artificial intelligence

Appl.Mathematics/Computational Methods of Engineering.

Computer algorithms.

Software engineering

Evolution (Biology)

Topology.

Complex Systems.

Grobner bases.

Mathematical and Computational Biology.

Quantum computers.

Nonlinear Dynamics.

Computational linguistics.

Internet.

Declarative programming

Control, Robotics, Mechatronics.

Model-integrated computing

Time-series analysis.

Prediction theory.

Computer multitasking.

Graph theory.

Petri, Carl Adam.

Data structures (Computer science)

Number theory.

Computer security.

Entropy.

Ad hoc networks (Computer networks)

Unsolvability (Mathematical logic)

Learning classifier systems.

Smullyan, Raymond M.

Science, multidisciplinary.

Solid State Physics.

Philosophy of Technology.

Molecular computers

Computer logic.

Natural Language Processing (NLP)

Mobile and Network Security.

Heuristic algorithms

Computer art

Signal, Image and Speech Processing.

Data Structures and Information Theory.

Numerical analysis

Production scheduling.

Domain-specific programming languages.

Computer chess

User interfaces (Computer systems)

Graph Theory.

Science Education.

Mathematical analysis

Visualization.

Algebraic logic

Arithmetical algebraic geometry.

Systems biology.

Data Science.

Information Model.

Computer Vision.

Computer organization

Noncooperative games (Mathematics)

Signal, Speech and Image Processing.

Computer Networks.

Applied Dynamical Systems.

Computer network protocols

Cognitive science

Electronic data processing

Pattern Recognition.

Engineering Design.

Combinatorial group theory.

Applications of Mathematics.

Combinatorics.

Logics and Meanings of Programs.

Logic, Symbolic and mathematical.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Computational complexity.

Bioinformatics.

Information Systems and Communication Service.

Machine theory

Automata

Philosophy of Nature.

Statistics, general.

Algebra.

Compilers (Computer programs)

Machine theory.

Information theory in biology.

Molecular biology

Nanotechnology.

Configurations

Laser Technology, Photonics.

Computer algorithms

Language Translation and Linguistics.

Cognitive science.

Numerical Analysis.

Natural computation

Mathematics

Autonomic computing

Sensor networks.

Natural language processing (Computer science)

Realism.

Neurobiology.

Evolutionary Biology.

Computational intelligence.

Computer games

Biologically-inspired computing

Data protection

Physics

Online data processing.

Operations research.

Decision making.

Management science.

Convex sets.

Data mining

Computer Engineering.

Interpersonal relations

Electronic data processing.

Model-driven software architecture

Medical informatics

Logic in AI.

College teachers

Context (Linguistics)

Systems engineering

Component software

Computers, Pipeline.

Cryptology.

Chinese language

Knowledge representation (Information theory)

Business enterprises

Information science

Chaotic behavior in systems.

Biomedical Engineering and Bioengineering.

Manufacturing processes

Fuzzy logic.

Political planning

Complex fluids.

Online chat groups

Cluster analysis.

Corruption.

Programming Language.

Computer and Information Systems Applications.

Morse theory.

Intelligence Infrastructure.

Microwaves, RF Engineering and Optical Communications.

Differential Equations.

Telecommunication systems

Data and Information Security.

Distributed operating systems (Computers)

Algorithm Analysis and Problem Complexity.

Operating Systems.

Artificial Intelligence (incl. Robotics)

Applied Optics, Optoelectronics, Optical Devices.

Programming Techniques.

Computer software

Database Management.

Computation by Abstract Devices.

Computer Graphics.

Petri nets

Multitasking (Computer science)

Algebra

Data Structures.

Algorithms

Management of Computing and Information Systems.

Science

Semantic Web

Uncertainty (Information theory)

Statistical Theory and Methods.

Kolmogorov complexity.

Artificial intelligence.

Julia sets

Information resources management.

Information measurement

Computer systems

Logic programming

Logic

Quantum Information Technology, Spintronics.

Parameter estimation

Quantum computers

Cryptography

Logic programming.

Mathematical linguistics

Algebraic Geometry.

Electronic information resource searching

Operations Research, Management Science.

Pattern perception.

Complexity.

Formal languages.

Internet searching.

Information Systems Applications (incl. Internet)

Heuristic programming.

Computational biology.

Personal Computing.

Distributed databases.

Computer vision

Algebra, Boolean.

Representations of graphs.

Mathematicians

Computers.

Data mining.

Computer-aided design

Automatic theorem proving

Computing Milieux.

Biophysics.

Mathematical Applications in Computer Science.

Soft computing.

Technology

Railroads

Control Structures and Microprogramming.

Semantic computing

Biotechnology

Computer simulation.

Computer scientists

Database design

Information retrieval

Online algorithms

Programming (Mathematics)

Computer-assisted instruction

Engineering Mathematics.

Control and Systems Theory.

Cellular automata

Professional Computing.

Reliability (Engineering)

Population

Engineering design

Metaheuristics.

Legislative and Executive Politics.

Medicine

Intelligent tutoring systems

Diagnosis

Electronics and Microelectronics, Instrumentation.

Discrete mathematics.

Cognition.

Engineering systems

Conceptual structures (Information theory)

Distributed artificial intelligence.

Game Theory.

Data and Information Visualization.

Visual communication

Process mining

Infrared detectors.

Software Testing.

Computable functions.

Arts.

Computer-Aided Engineering (CAD, CAE) and Design.

Set theory.

Mathematics.

Genetic programming (Computer science)

User Interfaces and Human Computer Interaction.

Operations Research, Mathematical Programming.

Programming languages (Electronic computers)

Algorithms.

Computational complexity

Computable functions

Programming Languages, Compilers, Interpreters.

Data encryption (Computer science)

Information Storage and Retrieval.

Processor Architectures.

Computer programming

Software engineering.

Quantum Optics, Quantum Electronics, Nonlinear Optics.

Formal methods (Computer science)

Evidence.

Mathematical and Computational Physics.

Neural networks (Computer science)

Control , Robotics, Mechatronics.

Number Theory.

Popular Science in Mathematics/Computer Science/Natural Science/Technology.

Structural bioinformatics.

Robots

Quantum communication

System design

Geometry, Algebraic.

Mathematical physics.

Mathematical Methods in Physics.

Computer Appl. in Administrative Data Processing.

Analysis.

Systems Biology.

Statistical Physics, Dynamical Systems and Complexity.

Computer logic

Mathematical models

Petri nets.

Computer graphics.

Soft computing

Constructivism (Philosophy)

Logic programming languages.

Quantitative Finance.

Philosophy, general.

Field theory (Physics)

Electrical engineering.

Field Theory and Polynomials.

Biomedicine.

Turing test.

Decision making

Object-oriented methods (Computer science)

History of Mathematical Sciences.

Ecosystems.

Logic Design.

Computer hardware.

Biocomputers

Exascale computing

Declarative programming languages

Salomaa, Arto.

Special Purpose and Application-Based Systems.

Computer music

Multiprocessors.

Knowledge based Systems.

Optical data processing.

Fluid dynamics

Engineering Fluid Dynamics.

Nature-inspired algorithms.

Nonlinear systems.

PID controllers.

Life sciences

Digital communications

Dynamics

Management information systems

Biometrics.

Case-based reasoning

Diagnostic imaging

Graph coloring.

Computer Science Logic and Foundations of Programming.

Computational and Systems Biology.

Hartley transforms.

Consciousness.

Computer Application in Social and Behavioral Sciences.

Multiagent Systems.

Combinatorial geometry

Set Theory.

Theory and Algorithms for Application Domains.

Fourier transform optics.

Electrical and Electronic Engineering.

Thermodynamics.

Entity-relationship modeling

Coding and Information Theory.

Optical communications.

Data Mining and Knowledge Discovery.

Numeric Computing.

Formal languages

SInformation technology

Computational Science and Engineering.

Parallel programming (Computer science)

Computer simulation

Models and Principles.

Quantum theory

Information storage and retrieval systems

Rough sets.

Computer multitasking

Game theory

Search engines

Database management

Category Theory, Homological Algebra.

Combinatorial optimization

Quantum theory.

Computational Intelligence.

Epistemology.

Approximation algorithms.

Database management.

Systems engineering.

Circuits and Systems.

Coding theory

Quantum Computing.

Management information systems.

Quantum computing.

Evolutionary computation

Computer vision.

Discrete Optimization.

Internet

History.

Software Management.

Big Data.

Approximation algorithms

Multiprogramming (Electronic computers)

Databases

Rule-based programming

Time-series analysis

Go (Game)

Mathematical and Computational Engineering.

Public administration

Governance and Government.

Stability.

Quantum computing

Political Science.

Materials Science, general.

Discrete geometry

Parsing (Computer grammar)

Computer Engineering and Networks.

Database Management System.

Computer-aided software engineering

Computer Modelling.

Hybrid power systems

Computational neuroscience

Neuroscience.

Mathematical and Computational Engineering Applications.

Computational Complexity.

Fourier Analysis.

Evolutionary computation.

Optimization.

Human-computer interaction.

Information Systems Applications (incl.Internet)

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computational intelligence

Computational Mathematics and Numerical Analysis.

Business Information Systems.

Lambda calculus.

The Computing Profession.

Quantum Physics.

Data Encryption.

Cell Biology.

Functional programming (Computer science)

Machine learning

Computer architecture

Model theory.

Biologically-inspired computing.

Combinatorial analysis

Information and Communication, Circuits.

Extremal problems (Mathematics)

Constructive mathematics.

Semantic computing.

Epistemics.

Semidefinite programming.

Expert systems (Computer science)

Computer security

Memristors.

Biocomputers.

Performance and Reliability.

Constraints (Artificial intelligence)

Word problems (Mathematics)

Mathematics, general.

Artificial life

Computational Linguistics.

Statistical Physics and Dynamical Systems.

Security.

Semantic networks (Information theory)

History of Science.

Mathematical linguistics.

Proof theory.

Life Sciences.

Computer programs

Biomimicry.

Wireless communication systems.

Artificial Intelligence.

Transportation.

Embedded computer systems

Discoveries in science

Knowledge acquisition (Expert systems)

Mathematical optimization

World Wide Web

Dynamics.

e-Business/e-Commerce.

Machine Learning.

Business Finance.

Logic design

Public Policy.

Development Studies.

Missing observations (Statistics)

Service-oriented architecture (Computer science)

Computer-assisted surgery

Relation algebras

Metaheuristics

Systems Theory, Control.

Mathematical statistics

Higher Education.

Communication and technology

Mathematical Physics.

Formal Languages and Automata Theory.

Big data.

Computer Science.

Computer Communication Networks.

Computer Systems Organization and Communication Networks.

Math Applications in Computer Science.

Simulation and Modeling.

Computer Appl. in Arts and Humanities.

Computers

Computer science.

Parallel processing (Electronic computers)

Cryptography.

Computer drawing.

Discrete Mathematics in Computer Science.

Logic, Symbolic and mathematical

Computer systems.

Information technology

Computers and Society.

Materials science

System Performance and Evaluation.

Reasoning

Probability and Statistics in Computer Science.

Arithmetic and Logic Structures.

Computer System Implementation.

Decidability (Mathematical logic)

Quantum Optics.

Italian Association for Logic Programming.

Computer networks

Physics.

Combinatorial analysis.

Computer Hardware.

Electrical Engineering.

Complexity (Philosophy)

Complex Networks.

Coding theory.

Turing machines

Systems and Data Security.

Operation Research/Decision Theory.

Biomathematics.

Engineering.

Cloud computing

Knowledge management

Biomimicry

Signal processing

Theoretical, Mathematical and Computational Physics.

Transformations (Mathematics)

Neurosciences.

Machine learning.

Information storage and retrieval.

Image processing.

Calculus of Variations and Optimal Control; Optimization.

Mathematical Modeling and Industrial Mathematics.

Wireless power transmission.

Ontologies (Information retrieval)

Enigma cipher system.

Reversible computing.

Computer Appl. in Social and Behavioral Sciences.

Data integration (Computer science)

Larsen, K. G.

Big data

Spatial systems.

Discrete Mathematics.

Web databases

Swarm intelligence

Functional analysis.

Application software.

Engineering

Computer networks.

Information organization

Graph theory

Computational fluid dynamics.

Nonlinear systems

Reversible computing

Mechanics

Computers, Special purpose

Biology

Topology

Mathematical Software.

Management science

Design and Analysis of Algorithms.

Deep learning (Machine learning)

Knowledge Based Systems.

Ambient intelligence

Real-time data processing.

Models of Computation.

Computability and Recursion Theory.

Blockchains (Databases)

Application software

Teaching and Teacher Education.

Graphic methods

Computer programs.

Real-time control.

User-centered system design

Cybernetics.

Video games

Computer programming.

Music

Evolutionary programming (Computer science)

Mathematical optimization.

Computational Biology/Bioinformatics.

Turing machines.

Zero-knowledge proofs.

Image processing

Electronic and Computer Engineering.

Information theory.

The Computer Industry.

System theory.

Artificial intelligence.

Computer Applications.

Symbolic and Algebraic Manipulation.

Supercomputers

Laser Technology and Physics, Photonics.

Temporal automata

Numerical calculations

Information theory

System analysis

Self-organizing systems

Computers and Education.

Intelligent agents (Computer software)

Cellular automata.

Reasoning.

Computer Applications in Earth Sciences.

Combinatorial optimization.

Rough sets

Permutations.

Natural computation.

Mobile computing

Constraint programming (Computer science)

Robust control.

Problem solving

Biological Networks, Systems Biology.

Model-driven software architecture.

Robotics and Automation.

Human-computer interaction

Engineering mathematics

Computational neuroscience.

Convex functions.

Nonlinear programming.

Business Mathematics.

e-Commerce/e-business.

Turing, Alan Mathison,

Philosophy of Science.

Quality Control, Reliability, Safety and Risk.

Online social networks

Fault-tolerant computing.

Internet of things.

Information visualization

Multiagent systems.

Computer engineering

Bioinformatics

System design.

Computer network architectures.

Digital libraries

Memristors

System safety

Computational biology

Education

Finite element method.

Mathematical statistics.

C++ (Computer program language)

Computer software.

Stochastic processes

Computer graphics

Ergodic theory.

Solid Mechanics.

Volterra equations.

Multiagent systems

Robotics

Electronic Circuits and Devices.

Compilers and Interpreters.

Control theory.

Operations Research and Decision Theory.

Zoology.

Computer Application in Administrative Data Processing.

Security Services.

Mathematical Models of Cognitive Processes and Neural Networks.

Optical Communications.

Communication, International

Intercultural communication

Categories (Mathematics)

Software failures.

Industrial Design.

Automatic hypothesis formation.