登入

跳至 : 概要書目資訊主題

Formal languages - Congresses.

概要

作品:	68 作品在 37 項出版品 37 種語言

書目資訊

Developments in Language Theory (vol. # 4036)10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings / by: (書目-電子資源)

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

Grammatical Inference: Algorithms and Applications8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings / by: (書目-電子資源)

Developments in Language Theory9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / 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: (書目-電子資源)

Developments in language theory12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (書目-語言資料,印刷品)

Grammatical inferencealgorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

Language and automata theory and applicationssecond international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-語言資料,印刷品)

主題

Mathematical Logic and Formal Languages.

Data Structures, Cryptology and Information Theory.

Theory of Computation.

Image Processing and Computer Vision.

Software Engineering.

Artificial intelligence

Computing Methodologies.

Data structures (Computer science)

Natural Language Processing (NLP)

Logics and Meanings of Programs.

Machine theory

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Computer algorithms

Pattern Recognition.

Language Translation and Linguistics.

Electronic data processing

Logic in AI.

Information Systems and Communication Service.

Computation by Abstract Devices.

Data Structures.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Mathematical linguistics

Database Management.

Programming Techniques.

Computer programming

Software engineering.

Computer Appl. in Administrative Data Processing.

Formal methods (Computer science)

Computational complexity

Information Storage and Retrieval.

Computer Science Logic and Foundations of Programming.

Formal languages

Numeric Computing.

Coding and Information Theory.

Data Mining and Knowledge Discovery.

Computer Engineering and Networks.

Mathematical linguistics.

Grammar.

Computational Linguistics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Logic design

Computer science

Artificial Intelligence.

Formal Languages and Automata Theory.

Computer Science.

Discrete Mathematics in Computer Science.

Logic, Symbolic and mathematical

Computer Appl. in Social and Behavioral Sciences.

Computational linguistics

Artificial Intelligence (incl. Robotics).

Probability and Statistics in Computer Science.

Computer System Implementation.

Symbolic and Algebraic Manipulation.

Information theory.