登入

跳至 : 概要書目資訊主題

Computer science - Mathematics - Congresses.

概要

作品:	219 作品在 170 項出版品 170 種語言

書目資訊

Discrete mathematics. by: (書目-語言資料,印刷品)

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / by: (書目-語言資料,印刷品)

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 / by: (書目-語言資料,印刷品)

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / by: (書目-語言資料,印刷品)

Categories in computer science and logic : = proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / by: (書目-語言資料,印刷品)

Selected topics in discrete mathematics : = proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990 / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (書目-電子資源)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-語言資料,印刷品)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (書目-語言資料,印刷品)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (書目-語言資料,印刷品)

主題

Informatique- Math歋matiques

Mathematical Logic and Formal Languages.

Software Engineering.

Algebraic logic

Theory of Computation.

Mathematical Logic and Foundations.

Computing Methodologies.

Data Structures, Cryptology and Information Theory.

High performance computing

Numerical analysis

Image Processing and Computer Vision.

Software engineering

Input/Output and Data Communications.

Data Structures and Information Theory.

Data structures (Computer science)

Mobile and Network Security.

Mobile Computing.

Mathematical analysis

Natural Language Processing (NLP)

Mathematical and Computational Biology.

Artificial intelligence

Graph Theory.

Optical data processing

Decomposition method

Logics and Meanings of Programs.

Probability Theory and Stochastic Processes.

Machine theory

Mathematics of Computing.

Systems engineering

Mathematics

Software Engineering/Programming and Operating Systems.

Commutative Rings and Algebras.

Applications of Mathematics.

Information science

Computer algorithms

Information Systems and Communication Service.

Cryptology.

Logic in AI.

Numerical Analysis.

Data and Information Security.

Computer and Information Systems Applications.

Data mining

Calculus of Variations and Optimization.

Differential Equations.

Mathematics- Congresses.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Data Structures.

Algorithms

Artificial Intelligence (incl. Robotics)

Computer algorithms- Congresses.

Mathematical analysis- Congresses.

Computer systems- Verification

Computer Graphics.

Algebraic Geometry.

Cellular automata

Mathematical Applications in Computer Science.

Management of Computing and Information Systems.

Artificial intelligence- Mathematics

Programming Techniques.

Engineering Mathematics.

Computer vision

Image processing- Digital techniques

Computers.

Computing Milieux.

Data Engineering.

Database Management.

Operating Systems.

Information Systems Applications (incl. Internet)

Control Structures and Microprogramming.

Blockchain.

Linear Algebra.

Decomposition (Mathematics)

Computer science- Mathematics

Computer programming

Algorithms.

Programming Languages, Compilers, Interpreters.

Programming languages (Electronic computers)

Mathematics.

Ordinary Differential Equations.

Computer logic

Field Theory and Polynomials.

Formal methods (Computer science)

Special Purpose and Application-Based Systems.

Computable functions

Management information systems

Computer Appl. in Administrative Data Processing.

Logic Design.

Computational complexity

Mathematical models

Analysis.

Vibration, Dynamical Systems, Control.

Statistics for Life Sciences, Medicine, Health Sciences.

Optical data processing.

Computer organization.

Computer system failures

Computer Application in Social and Behavioral Sciences.

Computer Science Logic and Foundations of Programming.

Engineering Fluid Dynamics.

Computer systems- Mathematics

Approximations and Expansions.

aArtificial intelligence- Mathematics

Abstract data types (Computer science)

Information Storage and Retrieval.

Logic, Symbolic and mathematical- Congresses.

Categories (Mathematics)- Congresses.

Computable functions- Congresses.

Computer logic- Congresses.

Numeric Computing.

Coding and Information Theory.

Data Mining and Knowledge Discovery.

Computational Intelligence.

Linear and Multilinear Algebras, Matrix Theory.

Computer networks- Mathematical models

Computer multitasking

Finite mathematics.

Mathematics of Algorithmic Complexity.

Mathematical and Computational Engineering.

Coding theory

Computer simulation

Mathematical and Computational Engineering Applications.

Database Management System.

Computer Modelling.

Computer Engineering and Networks.

Convex and Discrete Geometry.

Clifford algebras

Computational Science and Engineering.

Abstract data types (Computer science)- Congresses.

Algebra- Congresses.

Stochastic approximation- Congresses.

Data Encryption.

Quantum Physics.

Order, Lattices, Ordered Algebraic Structures.

Security.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer science

Computational Mathematics and Numerical Analysis.

Computational intelligence

Educational Technology.

Artificial Intelligence.

Relation algebras

Memory Structures.

Optimization.

Systems Theory, Control.

Mathematical optimization

The Computing Profession.

Mathematics in the Humanities and Social Sciences.

Mathematical statistics

Cloud Computing.

Formal Languages and Automata Theory.

Machine Learning.

Combinatorial analysis

Combinatorial analysis- Data processing

Education- Data processing

Inverse problems (Differential equations)

Algebra- Data processing

Geometry, Algebraic- Congresses.

Computer software- Development

Computer Science.

Discrete Mathematics in Computer Science.

Probability and Statistics in Computer Science.

Computer Communication Networks.

Math Applications in Computer Science.

Simulation and Modeling.

Computers

Programming (Electronic computers)

High performance computing- Congresses.

Arithmetic and Logic Structures.

Decidability (Mathematical logic)

Engineering.

Mathematical Modeling and Industrial Mathematics.

System Performance and Evaluation.

Systems and Data Security.

Differential equations, Partial

Calculus of Variations and Optimal Control; Optimization.

Geometry- Data processing

Graph theory- Data processing

Sequences, Series, Summability.

Special Functions.

Mathematical Software.

Theoretical, Mathematical and Computational Physics.

Computer System Implementation.

Computer Appl. in Social and Behavioral Sciences.

Computer Hardware.

Computer Systems Organization and Communication Networks.

Computers, Special purpose

Logic, Symbolic and mathematical

Reversible computing

Turing machines

Combinatorial optimization- Data processing

Computer software- Mathematics

Computer networks.

Design and Analysis of Algorithms.

Graph theory

Discrete Mathematics.

Integral Equations.

Computer networks

Knowledge Based Systems.

Symbolic and Algebraic Manipulation.

Computer Applications.

Programming languages (Electronic Computers)

Lattice theory- Congresses.

Theoretical and Computational Chemistry.

Singularities (Mathematics)

Numerical and Computational Physics, Simulation.

Geometry.

Difference and Functional Equations.

Computers and Education.

Mathematical Models of Cognitive Processes and Neural Networks.

Algebraic fields

Industrial engineering- Mathematics

Statistics

Stochastic processes

Artificial intelligence.

Calculus of tensors

Science- Data processing

Information theory

Graph Theory in Probability.

Operations Research and Decision Theory.