Language: English

Jump To : Overview Titles Subjects

Computer science - Mathematics - Congresses.

Overview

Works:	260 works in 211 publications in 211 languages

Titles

Discrete mathematics. by: (Language materials, printed)

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / by: (Language materials, printed)

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 / by: (Language materials, printed)

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (Electronic resources)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms by: (Language materials, printed)

Subjects

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

Computer simulation- Congresses.

Data Science.

Data Analysis and Big Data.

Complex Systems.

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.

Numerical analysis- Congresses.

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)

Software engineering- Congresses.

Stochastic processes- Congresses.

Statistical Theory and Methods.

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.

Mathematical optimization- Congresses.

Computer engineering- Congresses.

Mathematics- Data processing

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.

Applications of Discrete Mathematics.

Information theory- Congresses.

Mathematical models- Congresses.

Discrete Optimization.

Quantitative research

Automated Pattern Recognition.

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.

Natural Language Processing (NLP).

Stochastic Modelling.

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.

Internet of Things.

Statistics- Congresses.