Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /

Mã QR

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	International Conference on Implementation and Application of Automata London, Ont.)
Tác giả khác:	Paun, Andrei., Yu, Sheng.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science, 2088
Những chủ đề:	Machine theory > Congresses.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Introduction to languages and the theory of computation /
Bỡi: Martin, John C.
Được phát hành: (2011)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Finite automata
Bỡi: Mark V. Lawson
Được phát hành: (2004)

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers /
Được phát hành: (2001)

Automata and computability
Bỡi: Kozen, Dexter
Được phát hành: (1997)

An introduction to formal languages and automata
Bỡi: Linz, Peter
Được phát hành: (2012)

Discrete structures and automata theory
Bỡi: Dube, Rakesh
Được phát hành: (2006)

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
Được phát hành: (2001)

Theory of computational complexity /
Bỡi: Du, Dingzhu.
Được phát hành: (2000)

Semigroups, algorithms, automata, and languages :
Được phát hành: (2002)

Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers /
Được phát hành: (2001)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành: (2001)

Disordered and complex systems : London, United Kingdom, 10-14 July 2000 /
Được phát hành: (2001)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, México, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Graph drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings /
Được phát hành: (2001)

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /
Được phát hành: (2001)

Ultrafast phenomena XII : proceedings of the 12th international conference, Charleston, SC, USA, July 9-13, 2000 /
Được phát hành: (2001)

Electron beam ion sources and traps and their applications : 8th international symposium, EBIS/T 2000, Upton, New York, 5-8 November 2000 /
Được phát hành: (2001)

Public-key cryptography and computational number theory : proceedings of the international conference organized by the Stefan Banach International Mathematical Center, Warsaw, Poland, September 11-15, 2000 /
Được phát hành: (2001)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
Được phát hành: (2001)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
Được phát hành: (2001)

Introduction to automata theory, language, and computation
Bỡi: Hopcroft, John E.
Được phát hành: (2007)

Multi-image analysis : 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers /
Được phát hành: (2001)

Surveys in number theory : papers from the Millennial Conference on Number Theory /
Được phát hành: (2003)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Được phát hành: (2001)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Được phát hành: (2001)

Quadratic forms and their applications : proceedings of the Conference on Quadratic Forms and Their Applications, July 5-9, 1999, University College Dublin.
Được phát hành: (2000)

Cosmology and particle physics : CAPP 2000, Verbier, Switzerland, 17-28 July 2000 /
Được phát hành: (2001)

Cosmology and particle physics : CAPP 2000, Verbier, Switzerland, 17-28 July 2000 /
Được phát hành: (2001)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Được phát hành: (2001)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Được phát hành: (2002)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Được phát hành: (2002)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

"WASCOM 2003" : 12th Conference on Waves and Stability in Continuous Media : Villasimius (Cagliari), Italy, 1-7 June 2003 /
Được phát hành: (2004)