Language: English

Jump To : Overview Titles Subjects

Computer science - Congresses. - Mathematics

Overview

Works:	203 works in 173 publications in 173 languages

Titles

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (Language materials, printed)

Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (Language materials, printed)

Discrete mathematics : = an introduction to proofs and combinatorics / by: (Language materials, printed)

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

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

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part II / by: (Language materials, printed)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Language materials, printed)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Language materials, printed)

Subjects

Image Processing and Computer Vision.

Decidability (Mathematical logic)

Optical data processing

Mathematical Modeling and Industrial Mathematics.

Image processing

Mathematical analysis

Probability and Statistics in Computer Science.

Analysis.

Computation by Abstract Devices.

Computational Intelligence.

Operations Research and Decision Theory.

Graph theory

Natural Language Processing (NLP)

Computer System Implementation.

Logics and Meanings of Programs.

Algebra.

Applications of Mathematics.

Quantum Computing.

Systems and Data Security.

Computer algorithms

Physics

Turing machines

Algoritmen.

Combinatorial optimization

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Mathematical Software.

Computer software

Symbolic and Algebraic Manipulation.

Information theory

Numerical analysis

Appl.Mathematics/Computational Methods of Engineering.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Differential equations, Partial

Mathematics

Computational Science and Engineering.

Game Theory/Mathematical Methods.

Statistical Theory and Methods.

Computer logic.

Computer Science.

Data Engineering.

Science

Statistics

Reversible computing

Numerical and Computational Physics, Simulation.

Discrete Optimization.

Models and Principles.

Engineering mathematics

Machine Learning.

Simulation and Modeling.

Computer Graphics.

Mathematical and Computational Engineering Applications.

Data Structures and Information Theory.

Knowledge Based Systems.

Data Structures.

Logic, Symbolic and mathematical

Computer Imaging, Vision, Pattern Recognition and Graphics.

Applications of Discrete Mathematics.

Mathematical and Computational Biology.

Discrete programmering.

Engineering.

Computer Engineering and Networks.

Algorithms

Commutative Rings and Algebras.

Information science

Computing Methodologies.

Discrete Mathematics in Computer Science.

Functional Analysis.

Differential Equations.

Artificial intelligence

Programming Languages, Compilers, Interpreters.

Operator Theory.

Order, Lattices, Ordered Algebraic Structures.

Management information systems

Computers, Special purpose

Memory Structures.

Linear Algebra.

Computational Mathematics and Numerical Analysis.

Mathematics of Computing.

Computer vision

Special Purpose and Application-Based Systems.

Uncertainty (Information theory)

Arithmetic and Logic Structures.

Machine theory

High performance computing

Computational complexity

Logic Design.

Computer arithmetic and logic units.

Database Management.

Coding and Information Theory.

Computers

Internet of Things.

Education

Abstract data types (Computer science)

Computer Science, general.

Quantum Physics.

Cellular automata

Document Preparation and Text Processing.

Computer engineering

Numeric Computing.

Computer system failures

Programming Techniques.

Software engineering

Calculus of Variations and Optimal Control; Optimization.

Data Science.

Integral Equations.

Data Mining and Knowledge Discovery.

Stochastic processes

Design and Analysis of Algorithms.

Computable functions

Knowledge based Systems.

Database Management System.

Computing Milieux.

Computer science.

Computer Application in Social and Behavioral Sciences.

Theoretical, Mathematical and Computational Physics.

Artificial Intelligence (incl. Robotics)

Artificial Intelligence.

Lambda calculus

Data Encryption.

Information Systems and Communication Service.

Cryptology.

Computer Communication Networks.

aArtificial intelligence

Computer science

Stochastic approximation

System Performance and Evaluation.

Graph Theory in Probability.

Security.

Formal methods (Computer science)

Computer Modelling.

Industrial engineering

Computer systems

Geometry.

Algebraic Topology.

Computer programming

Algorithms.

Mosses, Peter.

Computer and Information Systems Applications.

Computer Appl. in Social and Behavioral Sciences.

Approximations and Expansions.

Math Applications in Computer Science.

Computers and Education.

Computer simulation

Mathematical statistics

Logic in AI.

Computer networks

Computer multitasking

Mathematics in the Humanities and Social Sciences.

Mobile and Network Security.

Algorithm Analysis and Problem Complexity.

Algebraic logic

Linear and Multilinear Algebras, Matrix Theory.

Computer Appl. in Administrative Data Processing.

Mathematical Logic and Formal Languages.

Discrete Mathematics.

Data mining

Computer logic

Input/Output and Data Communications.

Field Theory and Polynomials.

Theory of Computation.

Formal Languages and Automata Theory.

Geometry

Graph Theory.

Relation algebras

Software engineering.

Mathematical Logic and Foundations.

Data Structures, Cryptology and Information Theory.

Numerical Analysis.

Engineering Fluid Dynamics.

Theoretical and Computational Chemistry.

Data structures (Computer science)

Mathematical models

Algebraic Geometry.

Computational Biology/Bioinformatics.

Mathematics.

Lattice theory

Number Theory.

Programming languages (Electronic computers)

Computer Science Logic and Foundations of Programming.

Combinatorial analysis

Petri nets

Information Storage and Retrieval.

Algebra

Mathematical Applications in Computer Science.

Data and Information Security.

Mathematical optimization