Language: English

Jump To : Overview Titles Subjects

Computer science - Mathematics - Congresses.

Overview

Works:	208 works in 159 publications in 159 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)

Selected topics in discrete mathematics : = proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990 / 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)

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

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (Language materials, printed)

Generalized quantifiers and computation = 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / 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

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