語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

跳至 : 概要書目資訊主題

Machine theory - Congresses.

概要

作品:	92 作品在 45 項出版品 45 種語言

書目資訊

Handbook of elliptic and hyperelliptic curve cryptography / by: (書目-語言資料,印刷品)

Implementation and Application of Automata (vol. # 3845)10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / by: (書目-電子資源)

Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I / by: (書目-電子資源)

Implementation and Application of Automata (vol. # 4094)11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings / by: (書目-電子資源)

Implementation and Application of Automata9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-電子資源)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

Implementation and Applications of Automata13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-電子資源)

更多

主題

Mathematical Logic and Formal Languages.

Data Structures, Cryptology and Information Theory.

Theory of Computation.

Software Engineering.

Mathematical Logic and Foundations.

Image Processing and Computer Vision.

Computing Methodologies.

Artificial intelligence

Natural Language Processing (NLP)

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Computer algorithms

Pattern Recognition.

Automata

Machine theory.

Z (Computer program language)

Information Systems and Communication Service.

Computer and Information Systems Applications.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Data Structures.

Algorithms

Database Management.

Petri nets

Artificial Intelligence (incl. Robotics)

Logic programming

Mathematical linguistics

Information Systems Applications (incl. Internet)

Computer systems

Reliability (Engineering)

Programming Techniques.

Control Structures and Microprogramming.

Computer programming

Software engineering.

Computable functions

Programming Languages, Compilers, Interpreters.

Formal methods (Computer science)

Robots

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

Programming languages (Electronic computers)

Computer Appl. in Administrative Data Processing.

Information Storage and Retrieval.

Computational complexity

Computer Science Logic and Foundations of Programming.

Formal languages

Numeric Computing.

Computer simulation

B method (Computer science)

Computer Engineering and Networks.

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Mathematical linguistics.

Machine learning

Artificial Intelligence.

Formal Languages and Automata Theory.

Curves, Elliptic

Computer Science.

Discrete Mathematics in Computer Science.

Parallel processing (Electronic computers)

System Performance and Evaluation.

Computer Communication Networks.

Computer Appl. in Social and Behavioral Sciences.

Simulation and Modeling.

Computer networks

Probability and Statistics in Computer Science.

Artificial Intelligence (incl. Robotics).

Computer System Implementation.

Computer Systems Organization and Communication Networks.

Information theory.

Symbolic and Algebraic Manipulation.

Temporal automata

Robotics

Robotics and Automation.

Computational Biology/Bioinformatics.

Compilers and Interpreters.

變更密碼

登入