登入

跳至 : 概要書目資訊主題

Computer science - Mathematics - Congresses.

概要

作品:	208 作品在 159 項出版品 159 種語言

書目資訊

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: (書目-語言資料,印刷品)

Algorithmic and quantitative real algebraic geometry : = DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center/ by: (書目-語言資料,印刷品)

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 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.

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