Theory of Computation.

The realism-antirealism debate in the age of alternative logics[electronic resource] / …で: (言語・文字資料 (印刷物))

The universe as automaton[electronic resource] :from simplicity and symmetry to complexity / …で: (言語・文字資料 (印刷物))

Computational complexity[electronic resource] :theory, techniques, and applications / …で: (言語・文字資料 (印刷物))

Approximation algorithms and semidefinite programming[electronic resource] / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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

Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on petri nets and other models of concurrency V[electronic resource] / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Theory and practice of computation[electronic resource] :Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings / …で: (言語・文字資料 (印刷物))

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

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

Search computing[electronic resource] :broadening web search / …で: (言語・文字資料 (印刷物))

Robust intelligent systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Theory of quantum computation, communication, and cryptography[electronic resource] :third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / …で: (言語・文字資料 (印刷物))

Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Natural computing[electronic resource] :2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods for executable software models[electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / …で: (言語・文字資料 (印刷物))

Field-coupled nanocomputing[electronic resource] :paradigms, progress, and perspectives / …で: (言語・文字資料 (印刷物))

Foundations of security analysis and design VII[electronic resource] :FOSAD 2012/2013 tutorial lectures / …で: (言語・文字資料 (印刷物))

Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Constructivity and computability in historical and philosophical perspective[electronic resource] / …で: (言語・文字資料 (印刷物))

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

Supercomputing[electronic resource] :29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Applied cryptography and network security[electronic resource] :12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on computational science XXIII[electronic resource] :special issue on cyberworlds / …で: (言語・文字資料 (印刷物))

Unconventional Computation and Natural Computation[electronic resource] :13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Declarative programming and knowledge management[electronic resource] :Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Biomimetic and biohybrid systems[electronic resource] :third International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Nature of computation and communication[electronic resource] :International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

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

Theory and principled methods for the design of metaheuristics[electronic resource] / …で: (言語・文字資料 (印刷物))

Discrete and topological models in molecular biology[electronic resource] / …で: (言語・文字資料 (印刷物))

Guided self-organization[electronic resource] :Inception / …で: (言語・文字資料 (印刷物))

Pairing-based cryptography - Pairing 2013[electronic resource] :6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational science XXII[electronic resource] / …で: (言語・文字資料 (印刷物))

Theory and applications of formal argumentation[electronic resource] :second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Programming languages and operational semantics[electronic resource] :a concise overview / …で: (言語・文字資料 (印刷物))

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

Computer games[electronic resource] :Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems / …で: (言語・文字資料 (印刷物))

Theory of quantum computation, communication, and cryptography[electronic resource] :6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

High performance computing[electronic resource] :30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Introduction to evolutionary computing[electronic resource] / …で: (言語・文字資料 (印刷物))

Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Biomimetic and biohybrid systems[electronic resource] :4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Bridging constraint satisfaction and Boolean satisfiability[electronic resource] / …で: (言語・文字資料 (印刷物))

Energy time series forecasting[electronic resource] :efficient and accurate forecasting of evolving time series from the energy domain / …で: (言語・文字資料 (印刷物))

Unconventional computation and natural computation[electronic resource] :14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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

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

Constraint solving and planning with Picat[electronic resource] / …で: (言語・文字資料 (印刷物))

Natural computing algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

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

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

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

Carl Adam Petri[electronic resource] :life and science / …で: (言語・文字資料 (印刷物))

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

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

Algorithmic learning theory[electronic resource] :26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 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 / …で: (言語・文字資料 (印刷物))

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

Quantum computational number theory[electronic resource] / …で: (言語・文字資料 (印刷物))

Graph and model transformation[electronic resource] :general framework and applications / …で: (言語・文字資料 (印刷物))

Agents and artificial intelligence[electronic resource] :7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Applied cryptography and network security[electronic resource] :13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Theory and applications of formal argumentation[electronic resource] :third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

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

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 / …で: (言語・文字資料 (印刷物))

Hybrid metaheuristics[electronic resource] :powerful tools for optimization / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Topics in grammatical inference[electronic resource] / …で: (言語・文字資料 (印刷物))

Principles and methods of quantum information technologies[electronic resource] / …で: (言語・文字資料 (印刷物))

The digital synaptic neural substrate[electronic resource] :a new approach to computational creativity / …で: (言語・文字資料 (印刷物))

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

Applied cryptography and network security[electronic resource] :14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings / …で: (コンピュータ・メディア)

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

High performance computing[electronic resource] :31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Self-aware computing systems[electronic resource] :an engineering approach / …で: (コンピュータ・メディア)

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

Biomimetic and biohybrid systems[electronic resource] :5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings / …で: (コンピュータ・メディア)

Evolutionary computer vision[electronic resource] :the first footprints / …で: (コンピュータ・メディア)

An introduction to online computation[electronic resource] :determinism, randomization, advice / …で: (コンピュータ・メディア)

Decision diagrams for optimization[electronic resource] / …で: (コンピュータ・メディア)

Semantic web challenges[electronic resource] :third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Nature of computation and communication[electronic resource] :second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers / …で: (コンピュータ・メディア)

History and philosophy of computing[electronic resource] :third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers / …で: (コンピュータ・メディア)

High performance computing[electronic resource] :ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Convex analysis and global optimization[electronic resource] / …で: (コンピュータ・メディア)

An introduction to transfer entropy[electronic resource] :information flow in complex systems / …で: (言語・文字資料 (印刷物))

Wireless power transfer algorithms, technologies and applications in ad hoc communication networks[electronic resource] / …で: (言語・文字資料 (印刷物))

Decision procedures[electronic resource] :an algorithmic point of view / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Logic.

Philosophy.

Theory of Computation.

Realism.

Epistemology.

Epistemics.

Theory of Computation.

Neurobiology.

Science

Artificial Intelligence (incl. Robotics)

Complexity.

Statistical Physics, Dynamical Systems and Complexity.

Complexity (Philosophy)

Physics.

Complex Systems.

Theory of Computation.

Computational complexity.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Simulation and Modeling.

Complex Networks.

Theory of Computation.

Applications of Mathematics.

Algorithm Analysis and Problem Complexity.

Mathematics.

Algorithms.

Approximation algorithms.

Semidefinite programming.

Optimization.

Discrete Mathematics in Computer Science.

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.

Theory of Computation.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Mathematical models

Computer simulation

Numeric Computing.

Computer Science.

Simulation and Modeling.

Discrete Mathematics in Computer Science.

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.

Theory of Computation.

Computer algorithms

Parameter estimation

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computational complexity

Algorithms.

Computer Science.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Theory of Computation.

Software Engineering.

Petri nets

Algorithm Analysis and Problem Complexity.

Models and Principles.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

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.

Theory of Computation.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Data Mining and Knowledge Discovery.

Computer science

Computer Science.

Information theory

Computational Biology/Bioinformatics.

Grobner bases.

Theory of Computation.

Algebra.

Combinatorics.

Mathematics of Computing.

Mathematics.

Data Encryption.

Coding theory.

Cryptography.

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.

Software Engineering.

Theory of Computation.

Internet searching.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Computer Science.

Artificial intelligence.

Robust control.

Theory of Computation.

Mathematical Logic and Formal Languages.

Computer systems

Cryptography

Coding and Information Theory.

Computer security

Data Encryption.

Computer Science.

Systems and Data Security.

Symbolic and Algebraic Manipulation.

Theory of Computation.

Quantum Computing, Information and Physics.

Quantum computers

Cryptography

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Quantum communication

Data encryption (Computer science)

Coding and Information Theory.

Computer Science.

Discrete Mathematics in Computer Science.

Artificial intelligence

Theory of Computation.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Quantum theory

Computer Science.

Simulation and Modeling.

Theory of Computation.

Natural computation

Computer Science.

Computer Communication Networks.

Software Engineering.

Theory of Computation.

Logics and Meanings of Programs.

Computer software

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Quantum computers.

Theory of Computation.

Computer science.

Computer Hardware.

Simulation and Modeling.

Theory of Computation.

Data protection

Management of Computing and Information Systems.

Computer security

Data Encryption.

Computer networks

Computer Science.

Systems and Data Security.

Theory of Computation.

Mathematics

Software Engineering/Programming and Operating Systems.

Computer software

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Philosophy.

Logic.

Theory of Computation.

Mathematical Logic and Foundations.

Constructivism (Philosophy)

Computer science

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Petri nets.

Computer Science.

High performance computing

Theory of Computation.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Computer Systems Organization and Communication Networks.

Supercomputers

Theory of Computation.

Data encryption (Computer science)

Data Encryption.

Computer networks

Cloud computing

Computer Science.

Systems and Data Security.

Internet.

Theory of Computation.

Information Systems and Communication Service.

Artificial Intelligence (incl. Robotics)

Computer graphics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer science.

Simulation and Modeling.

Theory of Computation.

Electronic data processing

Natural computation

Pattern Recognition.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Soft computing

Computer Science.

Declarative programming

Theory of Computation.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Knowledge management

Computer Science.

Math Applications in Computer Science.

Constraint programming (Computer science)

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

Artificial intelligence

Control, Robotics, Mechatronics.

Theory of Computation.

Biologically-inspired computing

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Biomimicry

Computer Science.

Artificial intelligence

Computing Methodologies.

Theory of Computation.

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Database Management.

Computer science

Computer Science.

Computer Communication Networks.

Theory of Computation.

Systems engineering.

Circuits and Systems.

Memristors.

Computer science.

Computer Hardware.

Information theory.

Computer algorithms.

Theory of Computation.

Heuristic programming.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Optimization.

Computer Science.

Operation Research/Decision Theory.

Mathematical optimization.

Problem solving

Theory of Computation.

Mathematical and Computational Biology.

Evolutionary Biology.

Computational biology.

Systems Biology.

Computer science

Cell Biology.

Biomathematics.

Computer Science.

Biological Networks, Systems Biology.

Quantum computers.

Theory of Computation.

Nonlinear Dynamics.

Computational intelligence.

Complexity.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Computer science

Engineering.

Theory of Computation.

Data encryption (Computer science)

Coding and Information Theory.

Computer security

Data Encryption.

Computer Science.

Systems and Data Security.

Theory of Computation.

Information Storage and Retrieval.

Numeric Computing.

Computational Intelligence.

Biologically-inspired computing.

Biocomputers.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Theory of Computation.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Formal methods (Computer science)

Computer logic

Computer Science.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

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.

Theory of Computation.

Computer games

Artificial Intelligence (incl. Robotics)

Personal Computing.

Computer Science.

Computing Methodologies.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Computer software

Computer Science.

Model-driven software architecture.

Theory of Computation.

Quantum computers

Computer software

Algorithm Analysis and Problem Complexity.

Coding theory

Coding and Information Theory.

Quantum Computing.

Computer science

Computer Science.

Information theory

High performance computing

Theory of Computation.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Computer Systems Organization and Communication Networks.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Evolutionary computation.

Optimization.

Computer Science.

Evolutionary programming (Computer science)

Robotics and Automation.

Model-integrated computing

Theory of Computation.

Software Engineering.

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Computer Science.

Simulation and Modeling.

Human-computer interaction

Artificial intelligence

Theory of Computation.

Biologically-inspired computing

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Biomimicry

Computer Science.

Theory of Computation.

Algebra, Boolean.

Artificial Intelligence (incl. Robotics)

Constraints (Artificial intelligence)

Computer Science.

Time-series analysis.

Prediction theory.

Data Structures, Cryptology and Information Theory.

Theory of Computation.

Information Systems and Communication Service.

Computer Science.

Theory of Computation.

Electronic data processing

Natural computation

Pattern Recognition.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Soft computing

Computer Science.

Mathematical Logic and Formal Languages.

Theory of Computation.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer logic

Computer multitasking

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Mathematical Logic and Formal Languages.

Theory of Computation.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Combinatorial analysis

Word problems (Mathematics)

Computer Science.

Discrete Mathematics in 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.

Artificial Intelligence (incl. Robotics)

Logic programming languages.

Data Mining and Knowledge Discovery.

Computer Science.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Operations Research, Management Science.

Algorithms.

Quantitative Finance.

Computational Intelligence.

Computer Science.

Operation Research/Decision Theory.

Natural computation.

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.

Theory of Computation.

Mathematics of Computing.

Computable functions.

Computer science

Computer Science.

Petri, Carl Adam.

History of Computing.

Theory of Computation.

Electronic data processing

Mathematicians

Philosophy, general.

Mathematics, general.

Computer Science.

Data structures (Computer science)

Number theory.

Data Structures, Cryptology and Information Theory.

Theory of Computation.

Communications Engineering, Networks.

Algebra.

Computers.

Field theory (Physics)

Electrical engineering.

Number Theory.

Field Theory and Polynomials.

Computer science.

Computer Science.

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

Theory of Computation.

Computer algorithms

Pattern Recognition.

Computers.

Data mining.

Pattern perception.

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Machine learning

Computer science.

Computer Science.

Artificial intelligence.

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.

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

Number theory.

Theory of Computation.

Quantum computing.

Coding and Information Theory.

Data Encryption.

Computer Science.

Systems and Data Security.

Graph theory.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Category Theory, Homological Algebra.

Transformations (Mathematics)

Computer Science.

Artificial intelligence

Theory of Computation.

Information Systems and Communication Service.

Artificial Intelligence (incl. Robotics)

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Simulation and Modeling.

Intelligent agents (Computer software)

Theory of Computation.

Management of Computing and Information Systems.

Data encryption (Computer science)

Data Encryption.

Computer networks

Cloud computing

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Computers and Society.

Artificial intelligence

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Formal methods (Computer science)

Computer logic

Information Storage and Retrieval.

Computer Science.

Theory of Computation.

Computing Methodologies.

Computer algorithms

Applications of Mathematics.

Algorithms

Computational Mathematics and Numerical Analysis.

Computer Science.

Electrical Engineering.

Complex Systems.

Theory of Computation.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Evolutionary computation

Artificial life

Computer Science.

Self-organizing systems

Theory of Computation.

Heuristic programming.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Optimization.

Computer Science.

Operation Research/Decision Theory.

Mathematical optimization.

Artificial intelligence

Theory of Computation.

Computer games

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Personal Computing.

Computer Science.

Theory of Computation.

Natural language processing (Computer science)

Artificial Intelligence (incl. Robotics)

Computational Linguistics.

Machine learning.

Computer Science.

Computational Biology/Bioinformatics.

Theory of Computation.

Quantum Information Technology, Spintronics.

Quantum computing.

Quantum Computing.

Quantum Physics.

Physics.

Quantum Optics.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Biomedicine.

Neurosciences.

Computational neuroscience.

Artificial intelligence.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Computable functions.

Turing test.

Computer science

Computer Science.

Theory of Computation.

Management of Computing and Information Systems.

Data encryption (Computer science)

Data Encryption.

Computer networks

Cloud computing

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Computers and Society.

Theory of Computation.

Software Engineering.

Computer algorithms

Mathematics of Computing.

Computer software

Artificial Intelligence (incl. Robotics)

Computer Science.

High performance computing

Theory of Computation.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Computational Intelligence.

Computer systems.

Computer science.

Theory of Computation.

Mathematical Logic and Foundations.

Mathematics of Computing.

Algebra.

Mathematics.

Set theory.

Computer Science.

Artificial intelligence

Control, Robotics, Mechatronics.

Theory of Computation.

Natural computation

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Biomimicry

Computer Science.

Theory of Computation.

Computational intelligence.

Evolutionary Biology.

Artificial Intelligence (incl. Robotics)

Computer graphics.

Computer vision.

Computational Intelligence.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer science.

Computer Science.

Artificial intelligence.

Theory of Computation.

Online data processing.

Computers.

Algorithms.

Computer science.

Computer Science.

Theory of Computation.

Operations research.

Decision making.

Management science.

Computers.

Artificial Intelligence (incl. Robotics)

Operations Research, Management Science.

Discrete Optimization.

Computer science.

Computer Science.

Operation Research/Decision Theory.

Combinatorial optimization.

Artificial intelligence.

Mathematical optimization.

Theory of Computation.

Semantic Web

Artificial Intelligence (incl. Robotics)

Database Management.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer Science.

Computing Methodologies.

Theory of Computation.

Image Processing and Computer Vision.

Pattern Recognition.

Computers.

Pattern perception.

Information Storage and Retrieval.

Computer science

Computer networks

Information storage and retrieval.

Image processing.

Computer Science.

Computer Communication Networks.

History of Computing.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence (incl. Robotics)

Computer science

Computer Hardware.

Computer Science.

High performance computing

Theory of Computation.

Information Systems Applications (incl. Internet)

Processor Architectures.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Theory of Computation.

Convex sets.

Mathematics.

Numeric Computing.

Calculus of Variations and Optimal Control; Optimization.

Mathematical Modeling and Industrial Mathematics.

Operation Research/Decision Theory.

Convex functions.

Mathematical optimization.

Nonlinear programming.

Business Mathematics.

Entropy.

Appl.Mathematics/Computational Methods of Engineering.

Complex Systems.

Theory of Computation.

Artificial Intelligence (incl. Robotics)

Statistical Physics and Dynamical Systems.

Computer Science.

Neurosciences.

Information theory.

Ad hoc networks (Computer networks)

Theory of Computation.

Wireless power transmission.

Computer Science.

Electrical Engineering.

Theory of Computation.

Logic, Symbolic and mathematical.

Software Engineering/Programming and Operating Systems.

Decision making

Algorithms.

Optimization.

Computer Science.

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.