語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Theory of Computation.

概要

作品:	813 作品在 676 項出版品 676 種語言

書目資訊

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings/ by: (書目-語言資料,印刷品)

Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (書目-語言資料,印刷品)

STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-語言資料,印刷品)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-語言資料,印刷品)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-語言資料,印刷品)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-語言資料,印刷品)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-語言資料,印刷品)

更多

主題

Software Engineering.

Theory of Computation.

Computing Methodologies.

Data Structures, Cryptology and Information Theory.

Problem solving- Data processing

Operations Research/Decision Theory.

Recursive functions.

Electronic data processing- Distributed processing.

Mathematical Logic and Formal Languages.

Computer security.

Biophysics/Biomedical Physics.

Image Processing and Computer Vision.

System analysis.

Input/Output and Data Communications.

Mathematical Logic and Foundations.

Quantum Computing, Information and Physics.

Self-organizing systems.

Communications Engineering, Networks.

Music- Computer programs.

Operating systems (Computers)

History of Computing.

Open source software

Optical data processing

Computer simulation- Congresses.

Logic.

Artificial intelligence

Appl.Mathematics/Computational Methods of Engineering.

High performance computing

Complex Systems.

Software engineering

Computer algorithms.

Mathematical and Computational Biology.

Quantum computers.

Nonlinear Dynamics.

Computational linguistics.

Declarative programming

Control, Robotics, Mechatronics.

Internet.

Model-integrated computing

Time-series analysis.

Prediction theory.

Computer multitasking.

Petri, Carl Adam.

Mathematicians- Germany

Data structures (Computer science)

Entropy.

Ad hoc networks (Computer networks)

Mathematics- Philosophy.

Unsolvability (Mathematical logic)

Learning classifier systems.

Smullyan, Raymond M.

Science, multidisciplinary.

Solid State Physics.

Molecular computers

Computer logic.

Natural Language Processing (NLP)

Data Structures and Information Theory.

Numerical analysis

Heuristic algorithms

Signal, Image and Speech Processing.

College teachers- Finland

Production scheduling.

Domain-specific programming languages.

User interfaces (Computer systems)

Science Education.

Time-series analysis- Data processing.

Data encryption (Computer science)- Mathematics.

Life sciences- Research

Mathematical analysis

Topology.

Algebraic logic

Arithmetical algebraic geometry.

Systems biology.

Information Model.

Philosophy of Technology.

Decision making- Data processing

Computer Vision.

Computer organization

Computer science- Latin America

Signal, Speech and Image Processing.

Noncooperative games (Mathematics)

Applied Dynamical Systems.

Computer Networks.

Computer network protocols

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Bioinformatics.

Data Storage Representation.

Computational complexity.

Applications of Mathematics.

Biomedical Engineering.

Pattern Recognition.

Engineering Design.

Combinatorial group theory.

Genetic programming (Computer science)- Congresses.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Automata

Science- Data processing.

Philosophy of Nature.

Statistics, general.

Julia sets- Data processing.

Algebra.

System analysis- Congresses.

Compilers (Computer programs)

Self-organizing systems- Congresses.

Machine theory.

Language Translation and Linguistics.

Cognitive science.

Numerical Analysis.

Natural computation

Computer algorithms

Autonomic computing

Sensor networks.

Realism.

Science- Philosophy.

Nanotechnology.

Evolutionary Biology.

Computational intelligence.

Electronic data processing

Biologically-inspired computing

Artificial intelligence- Biological applications

Data protection

Physics

Natural language processing (Computer science)

Online data processing.

Operations research.

Decision making.

Management science.

Computer Engineering.

Electronic data processing.

Model-driven software architecture

Medical informatics

Component software

Systems engineering

Chaotic behavior in systems.

Biomedical Engineering and Bioengineering.

Manufacturing processes

Online chat groups

Complex fluids.

Cluster analysis.

Engineering- Data processing

Knowledge representation (Information theory)

Computer programs- Reliability

Computers- Access control.

Computers, Pipeline.

Information science

Logic design- Computer programs

Programming Language.

Computer and Information Systems Applications.

Application software- Security measures

Application software- Development

Intelligence Infrastructure.

Microwaves, RF Engineering and Optical Communications.

Differential Equations.

Evolutionary computation- Decision making.

Data and Information Security.

Cognitive science- Data processing

Telecommunication systems

Database Management.

Computer Graphics.

Data Structures.

Algorithm Analysis and Problem Complexity.

Operating Systems.

Parallel processing (Electronic computers)- Congresses.

Computer algorithms- Congresses.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Nonlinear Dynamics, Complex Systems, Chaos, Neural Networks.

Software engineering- Congresses.

Distributed operating systems (Computers)

Computation by Abstract Devices.

Gene mapping- Automation.

Applied Optics, Optoelectronics, Optical Devices.

SPIN (Computer file)

Algorithms

Management of Computing and Information Systems.

Artificial intelligence.

Information resources management.

Multitasking (Computer science)

Information measurement

Search engines- Programming

Computer architecture- Congresses.

Logic programming.

Computer software

Mathematical linguistics

Algebraic Geometry.

Quantum computers

Quantum Information Technology, Spintronics.

Electronic information resource searching

Parameter estimation

Petri nets

Formal languages.

Internet searching.

Information Systems Applications (incl. Internet)

Quantum communication- Security measures

Heuristic programming.

Computational biology.

Personal Computing.

Logic programming

Distributed databases.

Computer vision

Algebra, Boolean.

Representations of graphs.

Operations Research, Management Science.

Computers.

Pattern perception.

Computer-aided design

Automatic theorem proving

Computing Milieux.

Computer software- Quality control

Mathematical Applications in Computer Science.

Computer systems- Verification

Soft computing.

Control Structures and Microprogramming.

Semantic computing

Kolmogorov complexity.

Statistical Theory and Methods.

Online algorithms

Programming (Mathematics)

Information retrieval

Database design

Science- Philosophy

Uncertainty (Information theory)

Artificial intelligence- Mathematics

Engineering Mathematics.

Control and Systems Theory.

Cellular automata

Nonlinear systems- Mathematical models.

Metaheuristics.

Legislative and Executive Politics.

Engineering design

Computer simulation.

Medicine- Research

Computer-assisted instruction

Intelligent tutoring systems

Reliability (Engineering)

Biology- Research.

Diagnostic imaging- Data processing

Electronics and Microelectronics, Instrumentation.

Discrete mathematics.

Professional Computing.

Cognition.

Engineering systems

Hybrid power systems- Control

Bioinformatics- Congresses.

Conceptual structures (Information theory)

Distributed artificial intelligence.

Image processing- Digital techniques

Data and Information Visualization.

Natural computation- Decision making.

Visual communication

Computer science- Moral and ethical aspects

Infrared detectors.

Software Testing.

Computer systems

Information Storage and Retrieval.

Computational complexity

Computer programming

Operations Research, Mathematical Programming.

Processor Architectures.

Special Purpose and Application-Based Systems.

Genetic programming (Computer science)

Structured programming.

User Interfaces and Human Computer Interaction.

Programming Languages, Compilers, Interpreters.

Computer graphics.

Gene mapping- Data processing.

Systems and Information Theory in Engineering.

Data encryption (Computer science)

Diagnostic imaging- Digital techniques

Imaging / Radiology.

Interdisciplinary Studies.

Computable functions.

Arts.

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

Computer software- Verification.

Software engineering.

Computer science- Mathematics

Quantum Optics, Quantum Electronics, Nonlinear Optics.

Formal methods (Computer science)

Evidence.

Mathematical and Computational Physics.

Neural networks (Computer science)

Control , Robotics, Mechatronics.

Information storage and retrieval systems- Congresses.

Programming languages (Electronic computers)

System design- Congresses.

Mathematics- Data processing

Geometry, Algebraic.

Statistical Physics, Dynamical Systems and Complexity.

Mathematical models

Computer networks- Quality control

Systems Biology.

Quantum communication

Computer software- Development.

Constructivism (Philosophy)

Computer science- Philosophy.

Logic programming languages.

Quantitative Finance.

Electronic data processing- History.- Germany

Philosophy, general.

Field theory (Physics)

Electrical engineering.

Field Theory and Polynomials.

Decision making- Mathematical models.

Object-oriented methods (Computer science)

History of Mathematical Sciences.

Computer Appl. in Administrative Data Processing.

Computable functions

Declarative programming languages

Exascale computing

Research- Automation

Optical data processing.

Engineering Fluid Dynamics.

Nature-inspired algorithms.

Nonlinear systems.

PID controllers.

Digital communications

Management information systems

Computer programming- Mathematical models.

Case-based reasoning

Graph coloring.

Mathematical physics.

Multiprocessors.

Knowledge based Systems.

Computer Science Logic and Foundations of Programming.

Hartley transforms.

Computer Application in Social and Behavioral Sciences.

Computational and Systems Biology.

Multiagent Systems.

Combinatorial geometry

Fourier transform optics.

Theory and Algorithms for Application Domains.

Computer science- Study and teaching (Higher)

Electrical and Electronic Engineering.

Thermodynamics.

Analysis.

Entity-relationship modeling

Numeric Computing.

Computable functions- Congresses.

Formal languages

Database design.

Models and Principles.

Coding and Information Theory.

Nucleotide sequence- Data processing.

Coding theory- Congresses.

Information theory- Congresses.

Political Science.

Optical communications.

Data Mining and Knowledge Discovery.

Logic, Symbolic and mathematical- Congresses.

Computational Science and Engineering.

Database management

Approximation algorithms.

Computer simulation

Computer networks- Security measures

Computational Intelligence.

Database management.

Computer systems- Access control

Systems engineering.

Circuits and Systems.

Problem solving- Data processing.

Computer games- Programming

Quantum Computing.

Science- Computer network resources.

Computer multitasking

Management information systems.

Quantum computing.

Category Theory, Homological Algebra.

Evolutionary computation

Computer vision.

Discrete Optimization.

Parallel programming (Computer science)

Railroads- Safety measures

Software Management.

Big Data.

Internet

Approximation algorithms

Information storage and retrieval systems

Computer scientists- Finland

Computer software- Testing

Mathematical and Computational Engineering.

Decision making- Data processing.

Governance and Government.

Dynamics- Computer simulation.

Dynamics- Mathematical models.

Stability.

Artificial intelligence- Educational applications

Computer networks- Evaluation

Quantum computing

Quantum theory.

Materials Science, general.

Discrete geometry

Multiprogramming (Electronic computers)

Machine learning- Mathematics.

Databases

Rule-based programming

History.

Go (Game)

Parsing (Computer grammar)

Management science- Data processing

Computer Engineering and Networks.

Computer Modelling.

Computer-aided software engineering

Database Management System.

Computational neuroscience

Mathematical and Computational Engineering Applications.

Computational Complexity.

Fourier Analysis.

Computer programming- France.

Computer software- Congresses.

Information Systems Applications (incl.Internet)

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Petri nets- Congresses.

Business Information Systems.

Heuristic programming

Telecommunication.

Data Encryption.

Diagnostic imaging- Mathematical models

Systems Theory, Control.

Evolutionary computation.

Human-computer interaction.

Computational Mathematics and Numerical Analysis.

Lambda calculus.

The Computing Profession.

Supercomputers- Congresses.

Quantum Physics.

Electronic data processing- Distributed processing

Biologically-inspired computing.

Semidefinite programming.

Information and Communication, Circuits.

Combinatorial analysis

Computer science- Mathematics.

Computational intelligence

Expert systems (Computer science)

Computer security

Performance and Reliability.

Machine learning

Signal processing- Digital techniques

Constraints (Artificial intelligence)

Word problems (Mathematics)

Mathematics, general.

Artificial life

Computational Linguistics.

Computer science- History

Computer science- Philosophy

Statistical Physics and Dynamical Systems.

Semantic computing.

Internet- Security measures

Security.

Semantic networks (Information theory)

History of Science.

Mathematical linguistics.

Artificial Intelligence.

Mathematical optimization

Mathematicians- Finland

Discoveries in science

Dynamics.

Machine Learning.

Fluid dynamics- Mathematical models.

Development Studies.

e-Business/e-Commerce.

Artificial intelligence- Medical applications.

Missing observations (Statistics)

Computer networks- Mathematical models.

Service-oriented architecture (Computer science)

Computer-assisted surgery

Combinatorial analysis- Data processing

Relation algebras

Education- Data processing

Artificial intelligence- Medical applications

Business Finance.

Functional programming (Computer science)

Artificial intelligence- Engineering applications

Knowledge acquisition (Expert systems)

Mathematical statistics

Computer networks- Access control

Higher Education.

Mathematical Physics.

Formal Languages and Automata Theory.

Communication and technology

Big data.

Video games- Programming

Computer Science.

Discrete Mathematics in Computer Science.

Computer Systems Organization and Communication Networks.

High performance computing- Congresses.

Computer Communication Networks.

Simulation and Modeling.

Information technology

Combinatorial optimization- Data processing

Economics/Management Science.

Mathematical Modeling and Industrial Mathematics.

Real-time control.

Computer System Implementation.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Math Applications in Computer Science.

Computer Appl. in Arts and Humanities.

Computer science.

Computer systems.

Computers and Society.

Materials science- Computer simulation

Research- Data processing.

Reasoning- Congresses.

Uncertainty (Information theory)- Congresses.

Arithmetic and Logic Structures.

Quantum theory- Congresses.

Italian Association for Logic Programming.

Logic, Symbolic and mathematical

Complexity (Philosophy)

Physics.

Complex Networks.

Computer software- Development

Turing machines

Computer Hardware.

Systems and Data Security.

Operation Research/Decision Theory.

Biomathematics.

Knowledge management

Computer software- Verification

Biomimicry

Cloud computing

Computers

Theoretical, Mathematical and Computational Physics.

Transformations (Mathematics)

Quantum Optics.

Electrical Engineering.

Machine learning.

Computer networks

Information storage and retrieval.

Image processing.

Calculus of Variations and Optimal Control; Optimization.

Wireless power transmission.

Parallel processing (Electronic computers)

Ontologies (Information retrieval)

Enigma cipher system.

Reversible computing.

Data integration (Computer science)

Big data

Discrete Mathematics.

Swarm intelligence

Population- Mathematical models.

Political planning- Simulation methods.

Computer Appl. in Social and Behavioral Sciences.

Computational fluid dynamics.

Computer software- Reliability

Computer networks.

Reversible computing

Diagnosis- Decision making.

Computers, Special purpose

Biology- Data processing.

Topology

Mathematical Software.

Decidability (Mathematical logic)

Functional analysis.

Application software.

Business enterprises- Finance.

Information organization

Graph theory- Data processing

Design and Analysis of Algorithms.

Deep learning (Machine learning)

Knowledge Based Systems.

Real-time data processing.

Models of Computation.

Ambient intelligence

Computability and Recursion Theory.

Blockchains (Databases)

Computer vision- Statistical methods.

Teaching and Teacher Education.

Computer programs.

Graphic methods

User-centered system design

Computers- Congresses.

Parallel programming (Computer science)- Congresses.

Electronic and Computer Engineering.

Information networks.

Artificial intelligence.

Theoretical and Computational Chemistry.

Atmospheric Protection/Air Quality Control/Air Pollution.

Computer science- Russia (Federation)

Computer programming.

Evolutionary programming (Computer science)

Mathematical optimization.

Programming languages (Electronic computers)- Semantics.

Computational Biology/Bioinformatics.

Turing machines.

Computational intelligence- Congresses.

Information theory.

The Computer Industry.

Computer Applications.

Symbolic and Algebraic Manipulation.

Laser Technology and Physics, Photonics.

Temporal automata

Numerical calculations- Data processing.

Semantic Web- Congresses.

Computers and Education.

Cellular automata.

Reasoning.

Computer Applications in Earth Sciences.

Computer networks- Management

Combinatorial optimization.

Information theory

Mobile computing

Constraint programming (Computer science)

Robust control.

Biological Networks, Systems Biology.

Model-driven software architecture.

Robotics and Automation.

Human-computer interaction

Natural computation.

Engineering mathematics

Intelligent agents (Computer software)

Computational neuroscience.

Self-organizing systems

Convex functions.

Nonlinear programming.

Business Mathematics.

System analysis

e-Commerce/e-business.

Turing, Alan Mathison,

Philosophy of Science.

Quality Control, Reliability, Safety and Risk.

Computer engineering

Digital libraries

Computational biology

Finite element method.

Ergodic theory.

Multiagent systems

Solid Mechanics.

Volterra equations.

Public administration- Decision making

Mechanics- Computer simulation.

Mechanics- Mathematical models.

Computer programs- Verification

Cloud computing- Mathematics

Chinese language- Data processing

Robotics

Computer systems- Evaluation

Information visualization

Electronic Circuits and Devices.

Mathematical statistics.

Artificial intelligence- Mathematical models

Decision making- Mathematical models

Image processing

C++ (Computer program language)

Computer software.

Stochastic processes

Computer graphics

Rough sets

Compilers and Interpreters.

Control theory.

Science- Data processing

Hybrid power systems- Control.

Operations Research and Decision Theory.

Zoology.

Computer Application in Administrative Data Processing.

Security Services.

Optical Communications.

Mathematical Models of Cognitive Processes and Neural Networks.

World Wide Web- Technological innovations

Categories (Mathematics)

Software failures.

Communication, International

Intercultural communication

Industrial Design.

Automatic hypothesis formation.

變更密碼

登入