Mathematics of Computing.

Integrated methods for optimization[electronic resource] / …で: (言語・文字資料 (印刷物))

Digital imaging and communications in medicine (DICOM)[electronic resource] :a practical introduction and survival guide / …で: (言語・文字資料 (印刷物))

Combinatorial optimization[electronic resource] :theory and algorithms / …で: (言語・文字資料 (印刷物))

Boolean function complexity[electronic resource] :advances and frontiers / …で: (言語・文字資料 (印刷物))

Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / …で: (言語・文字資料 (印刷物))

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Frontiers in algorithmics and algorithmic aspects in information and management[electronic resource] :joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematics and modern art[electronic resource] :proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 / …で: (言語・文字資料 (印刷物))

Grobner bases, coding, and cryptography[electronic resource] / …で: (言語・文字資料 (印刷物))

A proof theory for description logics[electronic resource] / …で: (言語・文字資料 (印刷物))

Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in automatic differentiation[electronic resource] / …で: (言語・文字資料 (印刷物))

Graphs, networks, and algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Translational recurrences[electronic resource] :from mathematical theory to real-world applications / …で: (言語・文字資料 (印刷物))

A primer on scientific programming with Python[electronic resource] / …で: (言語・文字資料 (印刷物))

Nonlinear dynamics of electronic systems[electronic resource] :22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Biomedical image registration[electronic resource] :6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Modeling, simulation and optimization for science and technology[electronic resource] / …で: (言語・文字資料 (印刷物))

Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Rewriting and Typed Lambda Calculi[electronic resource] :joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and applications of satisfiability testing - SAT 2014[electronic resource] :17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms for sensor systems[electronic resource] :10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Fundamentals of matrix-analytic methods[electronic resource] / …で: (言語・文字資料 (印刷物))

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 1 …で: (言語・文字資料 (印刷物))

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 2 …で: (言語・文字資料 (印刷物))

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 3 …で: (言語・文字資料 (印刷物))

Theory of fuzzy computation[electronic resource] / …で: (言語・文字資料 (印刷物))

Spectral and high order methods for partial differential equations - ICOSAHOM 2012[electronic resource] :selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / …で: (言語・文字資料 (印刷物))

Cryptography in constant parallel time[electronic resource] / …で: (言語・文字資料 (印刷物))

Algorithms for sensor systems[electronic resource] :9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematical tools for data mining[electronic resource] :set theory, partial orders, combinatorics / …で: (言語・文字資料 (印刷物))

Regulated grammars and automata[electronic resource] / …で: (言語・文字資料 (印刷物))

Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Foundation mathematics for computer science[electronic resource] :a visual approach / …で: (言語・文字資料 (印刷物))

Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Introduction to concurrency theory[electronic resource] :transition systems and CCS / …で: (言語・文字資料 (印刷物))

Words and graphs[electronic resource] / …で: (言語・文字資料 (印刷物))

The foundations of computability theory[electronic resource] / …で: (言語・文字資料 (印刷物))

Petri net synthesis[electronic resource] / …で: (言語・文字資料 (印刷物))

Introduction to cryptography[electronic resource] :principles and applications / …で: (言語・文字資料 (印刷物))

Higher-order computability[electronic resource] / …で: (言語・文字資料 (印刷物))

Theory and applications of satisfiability testing - SAT 2015[electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in cryptology - ASIACRYPT 2015[electronic resource] :21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in cryptology - ASIACRYPT 2015[electronic resource] :21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Engineering computation of structures[electronic resource] :the finite element method / …で: (言語・文字資料 (印刷物))

Spectral and high order methods for partial differential equations - ICOSAHOM 2014[electronic resource] :selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA / …で: (言語・文字資料 (印刷物))

Encyclopedia of applied and computational mathematics[electronic resource] / …で: (言語・文字資料 (印刷物))

Mathematical problems in data science[electronic resource] :theoretical and practical methods / …で: (言語・文字資料 (印刷物))

Operations research and enterprise systems[electronic resource] :4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Data analytics for renewable energy integration[electronic resource] :third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Algorithms for sensor systems[electronic resource] :11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs / …で: (言語・文字資料 (印刷物))

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in artificial life, evolutionary computation and systems chemistry[electronic resource] :10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Mathematical aspects of computer and information sciences[electronic resource] :6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Compression-based methods of statistical analysis and prediction of time series[electronic resource] / …で: (言語・文字資料 (印刷物))

Computer games[electronic resource] :fourth Workshop on Computer Games, CGW 2015, and the fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Parallelism in matrix computations[electronic resource] / …で: (言語・文字資料 (印刷物))

Cryptography made simple[electronic resource] / …で: (言語・文字資料 (印刷物))

Boolean functions and their applications in cryptography[electronic resource] / …で: (言語・文字資料 (印刷物))

Index-aware model order reduction methods[electronic resource] :applications to differential-algebraic equations / …で: (言語・文字資料 (印刷物))

Turing computability[electronic resource] :theory and applications / …で: (コンピュータ・メディア)

Relaxed abduction[electronic resource] :robust information interpretation for industrial applications / …で: (コンピュータ・メディア)

Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / …で: (コンピュータ・メディア)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / …で: (コンピュータ・メディア)

High performance computing in science and engineering[electronic resource] :second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Linear algebra for computational sciences and engineering[electronic resource] / …で: (コンピュータ・メディア)

Finitely supported mathematics[electronic resource] :an introduction / …で: (コンピュータ・メディア)

Advances in neural networks - ISNN 2016[electronic resource] :13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / …で: (コンピュータ・メディア)

A primer on scientific programming with Python[electronic resource] / …で: (コンピュータ・メディア)

Random-like bi-level decision making[electronic resource] / …で: (コンピュータ・メディア)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Principles and practice of constraint programming[electronic resource] :22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Mathematical analysis and the mathematics of computation[electronic resource] / …で: (コンピュータ・メディア)

Cool math for hot music[electronic resource] :a first introduction to mathematics for music theorists / …で: (コンピュータ・メディア)

Music through Fourier space[electronic resource] :discrete Fourier transform in music theory / …で: (コンピュータ・メディア)

An introduction to data analysis using aggregation functions in R[electronic resource] / …で: (言語・文字資料 (印刷物))

All about music[electronic resource] :the complete ontology: realities, semiotics, communication, and embodiment / …で: (言語・文字資料 (印刷物))

Advances in cryptology - ASIACRYPT 2016[electronic resource] :22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in cryptology - ASIACRYPT 2016[electronic resource] :22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Algorithms for data science[electronic resource] / …で: (言語・文字資料 (印刷物))

Matrix and tensor factorization techniques for recommender systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Scalable algorithms for contact problems[electronic resource] / …で: (言語・文字資料 (印刷物))

Progress in Industrial Mathematics at ECMI 2014[electronic resource] / …で: (言語・文字資料 (印刷物))

Operations Research/Decision Theory.

Computing Methodologies.

Business/Management Science, general.

Mathematics of Computing.

Mathematical optimization

Optimization.

Economics/Management Science.

Mathematical Modeling and Industrial Mathematics.

Mathematics of Computing.

Information Systems and Communication Service.

Diagnostic imaging

Medicine & Public Health.

Imaging / Radiology.

Health Informatics.

Communication in medicine

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Systems Organization and Communication Networks.

Operations Research/Decision Theory.

Combinatorics.

Mathematics of Computing.

Mathematics.

Calculus of Variations and Optimal Control; Optimization.

Combinatorial optimization.

Theory of Computation.

Computational complexity.

Combinatorics.

Mathematics of Computing.

Mathematics.

Information and Communication, Circuits.

Mathematical Logic and Formal Languages.

Theory of Computation.

Logics and Meanings of Programs.

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer logic

Computer science

Computer Science.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Complexity.

Parallel programming (Computer science)

Computational Mathematics and Numerical Analysis.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Complexity.

Parallel programming (Computer science)

Computational Mathematics and Numerical Analysis.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Theory of Computation.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer software

Computation by Abstract Devices.

Computer science

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer systems

Database design

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer logic

Information technology

Computer Science.

Discrete Mathematics in Computer Science.

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data Structures.

Combinatorial analysis

Computer Science.

Discrete Mathematics in Computer Science.

Visualization.

Image Processing and Computer Vision.

Mathematics of Computing.

Art

Mathematics in Art and Architecture.

Mathematics in art

Mathematics.

Geometry.

Grobner bases.

Theory of Computation.

Algebra.

Combinatorics.

Mathematics of Computing.

Mathematics.

Data Encryption.

Coding theory.

Cryptography.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Description logics.

Proof theory

Computer Science.

Theory of Computation.

Data Structures, Cryptology and Information Theory.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computational complexity

Computer science

Turing machines

Computer Science.

Mathematics of Computing.

Mathematics.

Computational Science and Engineering.

Differential calculus

Computational Mathematics and Numerical Analysis.

Electrical Engineering.

Differential-difference equations

Graph theory.

Combinatorics.

Mathematics of Computing.

Mathematics.

Optimization.

Combinatorial optimization.

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Constraint programming (Computer science)

Visualization.

Mathematics of Computing.

Mathematics.

Computational Science and Engineering.

Statistics and Computing/Statistics Programs.

Theoretical, Mathematical and Computational Physics.

Recurrent sequences (Mathematics)

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Python (Computer program language)

Programming Techniques.

Mathematics.

Numerical and Computational Physics.

Computational Science and Engineering.

Mathematics of Computing.

Electronic systems

Circuits and Systems.

Electric circuits, Nonlinear

Computer Science.

Computer Hardware.

Electronic Circuits and Devices.

Mathematics of Computing.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computable functions

Computer science

Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Mathematics of Computing.

Image registration

Imaging / Radiology.

Imaging systems in medicine

Computer Science.

Probability and Statistics in Computer Science.

Biomedicine general.

Mathematics of Computing.

Science

Technology

Computational Science and Engineering.

Engineering.

Theoretical and Applied Mechanics.

Mathematical optimization.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Mathematics of Computing.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer logic

Numeric Computing.

Computer Science.

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Computing Methodologies.

Mathematical Logic and Foundations.

Lambda calculus

Mathematics of Computing.

Logics and Meanings of Programs.

Computer logic

Computer Science.

Symbolic and Algebraic Manipulation.

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

Wireless sensor networks

Ad hoc networks (Computer networks)

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer Science.

Computer Communication Networks.

Matrix analytic methods.

Appl.Mathematics/Computational Methods of Engineering.

Mathematics of Computing.

Probability Theory and Stochastic Processes.

Operations Research, Management Science.

Computer Science.

Operation Research/Decision Theory.

Mathematical Modeling and Industrial Mathematics.

Numerical Analysis.

Mathematics of Computing.

Numerical analysis.

Gautschi, Walter.

Mathematics.

Approximations and Expansions.

History of Mathematical Sciences.

Ordinary Differential Equations.

Numerical integration.

Numerical Analysis.

Mathematics of Computing.

Gautschi, Walter.

Mathematics.

Approximations and Expansions.

History of Mathematical Sciences.

Ordinary Differential Equations.

Orthogonal polynomials.

Difference equations.

Differential equations.

Numerical Analysis.

Mathematics of Computing.

Gautschi, Walter.

Mathematics.

Approximations and Expansions.

History of Mathematical Sciences.

Ordinary Differential Equations.

Fuzzy logic.

Mathematics of Computing.

Mathematics.

Computer science

Computational Mathematics and Numerical Analysis.

Spectral theory (Mathematics)

Numerical Analysis.

Applications of Mathematics.

Mathematics of Computing.

Mathematics.

Computational Science and Engineering.

Partial Differential Equations.

Computational Mathematics and Numerical Analysis.

Differential equations, Partial

Data structures (Computer science)

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Data encryption (Computer science)

Computer science.

Computer Science.

Wireless sensor networks

Ad hoc networks (Computer networks)

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer systems

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer Science.

Discrete Mathematics in Computer Science.

Mathematics of Computing.

Data mining.

Set theory.

Partially ordered sets.

Data Mining and Knowledge Discovery.

Computational Mathematics and Numerical Analysis.

Computer Science.

Discrete Mathematics in Computer Science.

Metric spaces.

Computational linguistics.

Theory of Computation.

Mathematical Logic and Formal Languages.

Machine theory.

Mathematics of Computing.

Formal languages.

Computation by Abstract Devices.

Computer Science.

Discrete Mathematics in Computer Science.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computable functions

Computer science

Computer Science.

Computational Biology/Bioinformatics.

Mathematics of Computing.

Computer Graphics.

Mathematical Applications in Computer Science.

Computer science

Computer Science.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Constraint programming (Computer science)

Computer multitasking.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Computer science

Computer Science.

Graph theory.

Theory of Computation.

Mathematics of Computing.

Algebra.

Representations of graphs.

Computer Science.

Theory of Computation.

Mathematics of Computing.

Computable functions.

Computer science

Computational Mathematics and Numerical Analysis.

Computer Science.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Petri nets.

Computer Science.

Computer security.

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Number Theory.

Cryptography.

Computer networks

Coding theory.

Computer Science.

Systems and Data Security.

Theory of Computation.

Mathematics of Computing.

Computable functions.

Computer science

Computer Science.

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

Computer security.

Theory of Computation.

Mathematics of Computing.

Computers.

Management of Computing and Information Systems.

Data encryption (Computer science)

Management information systems.

Coding and Information Theory.

Computer science

Data Encryption.

Computer science.

Coding theory.

Systems and Data Security.

Computer security.

Theory of Computation.

Mathematics of Computing.

Computers.

Management of Computing and Information Systems.

Data encryption (Computer science)

Management information systems.

Coding and Information Theory.

Computer science

Data Encryption.

Computer science.

Coding theory.

Computer Science.

Systems and Data Security.

Mathematics of Computing.

Mechanical Engineering.

Structural analysis (Engineering)

Computational Mathematics and Numerical Analysis.

Engineering.

Theoretical and Applied Mechanics.

Finite element method.

Numerical Analysis.

Applications of Mathematics.

Mathematics of Computing.

Mathematics.

Computational Science and Engineering.

Partial Differential Equations.

Differential equations, Partial

Theory of Computation.

Appl.Mathematics/Computational Methods of Engineering.

Mathematics

Physics

Applications of Mathematics.

Mathematics of Computing.

Mathematics.

Computer science

Computational Mathematics and Numerical Analysis.

Computers

Theoretical, Mathematical and Computational Physics.

Engineering mathematics

Information Systems and Communication Service.

Mathematics of Computing.

Quantitative research.

Big data.

Cloud computing.

Machine learning.

Computer Science.

Computer Communication Networks.

Mathematics of Computing.

Information Systems Applications (incl. Internet)

Operations Research, Management Science.

Operations Management.

IT in Business.

Computer Science.

Operations research

Computer Applications.

Energy Economics.

Data mining

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Smart power grids

Renewable resource integration

Data Mining and Knowledge Discovery.

Computer Science.

Renewable and Green Energy.

Mathematical Logic and Formal Languages.

Software Engineering.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer software

Computation by Abstract Devices.

Formal methods (Computer science)

Computer science

Computer Science.

Wireless sensor networks

Ad hoc networks (Computer networks)

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Computer Science.

Computer Communication Networks.

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Computer software

Formal methods (Computer science)

Computer Science.

Computer Hardware.

Computer art

Biologically-inspired computing

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer music

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Appl. in Arts and Humanities.

Evolutionary programming (Computer science)

Pattern Recognition.

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Evolutionary computation

Data Mining and Knowledge Discovery.

Computer Science.

Computer Applications.

Pattern Recognition.

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Evolutionary computation

Computer Science.

Computer Applications.

Complex Systems.

Theory of Computation.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Evolutionary computation

Artificial life

Computer Science.

Self-organizing systems

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Mathematics of Computing.

Database Management.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Data Mining and Knowledge Discovery.

Computer science

Computer Science.

Time-series analysis.

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Language Translation and Linguistics.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Computational Linguistics.

Computer Science.

Artificial intelligence

Theory of Computation.

Computer games

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Personal Computing.

Computer Science.

Matrices.

Computer algorithms.

Appl.Mathematics/Computational Methods of Engineering.

Mathematics of Computing.

Numerical and Computational Physics.

Computer-Aided Engineering (CAD, CAE) and Design.

Computational Science and Engineering.

Parallel processing (Electronic computers)

Engineering.

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Security Science and Technology.

Data encryption (Computer science)

Cryptography.

Computer Science.

Discrete Mathematics.

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Algebra, Boolean.

Cryptography.

Computer Science.

Systems and Data Security.

Differential-algebraic equations.

Mathematics of Computing.

Mathematics.

Computational Mathematics and Numerical Analysis.

Electrical Engineering.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Computable functions.

Turing test.

Computer science

Computer Science.

Computing Methodologies.

Appl.Mathematics/Computational Methods of Engineering.

Robust optimization.

Mathematics of Computing.

Relaxation methods (Mathematics)

Computer Science.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computable functions

Computer science

Computer Science.

Computational Biology/Bioinformatics.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Mathematics of Computing.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer logic

Programming Languages, Compilers, Interpreters.

Computer Science.

High performance computing

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence (incl. Robotics)

Complexity.

Computational Mathematics and Numerical Analysis.

Computer Science.

Theory of Computation.

Software Engineering.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

Appl.Mathematics/Computational Methods of Engineering.

Mathematics of Computing.

Algebras, Linear.

Linear and Multilinear Algebras, Matrix Theory.

Computer science

Computer Science.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Algebra.

Mathematics.

Set theory.

Computer Science.

Pattern Recognition.

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Neural networks (Computer science)

Computer Science.

Systems and Data Security.

Mathematical Models of Cognitive Processes and Neural Networks.

Mathematics of Computing.

Python (Computer program language)

Programming Techniques.

Mathematics.

Numerical and Computational Physics.

Computational Science and Engineering.

Mathematics of Computing.

Probability Theory and Stochastic Processes.

Multiple criteria decision making.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Decision making

Mathematics of Algorithmic Complexity.

Computer Science.

Statistics and Computing/Statistics Programs.

Software Engineering.

Mathematics of Computing.

Operating Systems.

Algorithm Analysis and Problem Complexity.

Computer simulation

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Stochastic processes

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Constraint programming (Computer science)

Mathematics of Computing.

Analysis.

Mathematical analysis.

Computer science

Computer Science.

Music.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Mathematics.

Computer science

Application software.

Computer Science.

Computer Appl. in Arts and Humanities.

Mathematics in Music.

Music

Artificial intelligence.

Signal, Image and Speech Processing.

Fourier transformations.

Music.

Mathematics of Computing.

Mathematics.

User Interfaces and Human Computer Interaction.

Computer science

Computer science.

Application software.

Computer Science.

Computer Appl. in Arts and Humanities.

Mathematics in Music.

Music

Computing Methodologies.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Applications of Mathematics.

Mathematics of Computing.

R (Computer program language)

Mathematical statistics

Computer Science.

Music.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Mathematics.

Computer science

Application software.

Computer science.

Computer Science.

Computer Appl. in Arts and Humanities.

Mathematics in Music.

Artificial intelligence.

Theory of Computation.

Mathematics of Computing.

Management of Computing and Information Systems.

Data encryption (Computer science)

Coding and Information Theory.

Data Encryption.

Computer Science.

Systems and Data Security.

Theory of Computation.

Mathematics of Computing.

Management of Computing and Information Systems.

Data encryption (Computer science)

Coding and Information Theory.

Data Encryption.

Computer Science.

Systems and Data Security.

Mathematics of Computing.

Health Informatics.

Quantitative research

Data Mining and Knowledge Discovery.

Computer Science.

Statistics and Computing/Statistics Programs.

Mathematics of Computing.

Mathematical Applications in Computer Science.

Artificial Intelligence (incl. Robotics)

Recommender systems (Information filtering)

Information Storage and Retrieval.

Computer Science.

Appl.Mathematics/Computational Methods of Engineering.

Mathematics of Computing.

Contact mechanics.

Mathematics.

Computational Mathematics and Numerical Analysis.

Industrial engineering

Mathematics of Computing.

Mathematics.

Computational Science and Engineering.

Mathematical and Computational Engineering.

Mathematical Modeling and Industrial Mathematics.

Macroeconomics/Monetary Economics//Financial Economics.

Engineering mathematics

Mathematical Models of Cognitive Processes and Neural Networks.