登入

跳至 : 概要書目資訊主題

Formal languages - Congresses.

概要

作品:	40 作品在 16 項出版品 16 種語言

書目資訊

Groups, languages and geometry : = 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College / by: (書目-語言資料,印刷品)

Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / by: (書目-語言資料,印刷品)

Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

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

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

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

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-語言資料,印刷品)

主題

Automates math歋matiques, Th歋orie des

Langages formels

Mathematical Logic and Formal Languages.

Data Structures, Cryptology and Information Theory.

Theory of Computation.

Natural Language Processing (NLP)

Machine theory

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Pattern Recognition.

Language Translation and Linguistics.

Logic in AI.

Information Systems and Communication Service.

Computation by Abstract Devices.

Data Structures.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer algorithms- Congresses.

Mathematical linguistics

Database Management.

Programming Techniques.

Geometric group theory

Computer programming

Programmation (Informatique)

Software engineering.

Formal methods (Computer science)

Computer Science Logic and Foundations of Programming.

Formal languages

Numeric Computing.

Logic, Symbolic and mathematical- Congresses.

Data Mining and Knowledge Discovery.

Computer Engineering and Networks.

Mathematical linguistics.

Artificial Intelligence.

Formal Languages and Automata Theory.

Algorithmes

Computer Science.

Discrete Mathematics in Computer Science.

Probability and Statistics in Computer Science.

Computational linguistics

Computer System Implementation.

Information theory.

Symbolic and Algebraic Manipulation.