馆藏书目查询系统 - 上海图书馆

Advanced

Screen Library Can I borrow online

Reset Filters

Circulation Type: Reference Circulation Collection

Filter Related Topics: Langages formels

Reset Filters

Filters

Circulation Type: Reference Circulation Collection

Filter Related Topics: Langages formels

Cover is for reference only

Grammatical inference：algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings

Corporate Authors: International Colloquium on Grammatical Inference (8th 2006 Tokyo, Japan
Group Author: Sakakibara Yasubumi
Published: Springer,
Publication Dates: c2006.
Call Number: TP301.2-532/I612/2006

Book

Cover is for reference only

Developments in language theory：10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings

Corporate Authors: Conference on Developments in Language Theory (10th 2006 Santa Barbara, Calif
Group Author: Ibarra Oscar H; Dang Zhe 1967-
Published: Springer,
Publication Dates: c2006.
Call Number: TP301.2-532/D489/2006

Book

Cover is for reference only

Automata, languages and programming：32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (32nd 2005 Lisbon, Portugal); European Association for Theoretical Computer Science.
Group Author: Caires Luais.
Published: Springer,
Publication Dates: 2005.
Call Number: TP23-532/A939/2005

Book

Cover is for reference only

Developments in language theory：9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings

Corporate Authors: Conference on Developments in Language Theory (9th 2005 Palermo, Italy
Group Author: De Felice Clelia; Restivo Antonio
Published: Springer,
Publication Dates: c2005.
Call Number: TP301.2-532/D489/2005

Book

Cover is for reference only

Developments in language theory：8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings

Corporate Authors: Conference on Developments in Language Theory (8th 2004 Auckland, N.Z
Group Author: Calude Cristian 1952-; Calude Elena; Dinneen M. J 1957-
Published: Springer,
Publication Dates: c2004.
Call Number: TP301.2-532/D489/2004

Book

Cover is for reference only

Automata, languages and programming：31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (31st 2004 Turku, Finland); European Association for Theoretical Computer Science.
Group Author: Díaz J.; (Josep), 1950-
Published: Springer,
Publication Dates: 2004.
Call Number: TP23-532/A939/2004/v.2

Book

Cover is for reference only

Automata, languages and programming：33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings.. Pt. 1

Corporate Authors: International Colloquium on Automata, Languages, and Programming (33rd 2006 Venice, Italy); European Association for Theoretical Computer Science.
Group Author: Bugliesi Michele.
Published: Springer,
Publication Dates: c2006.
Call Number: TP23-532/A939/2006/Pt.1

Book

Cover is for reference only

Automata, languages and programming：33rd international colloquium : ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (33rd 2006 Venise, Italie); European Association for Theoretical Computer Science.
Group Author: Bugliesi Michele.
Published: Springer,
Publication Dates: c2006.
Call Number: TP23-532/A939/2006/pt.2

Book

Cover is for reference only

Introduction to automata theory, languages, and computation

Main Authors: Hopcroft John E., 1939-
Group Author: Motwani Rajeev.; Ullman Jeffrey D., 1942-
Published: Addison-Wesley,
Publication Dates: c2001.
Call Number: TP312/H791-1/2nd.ed.

Book

Narrow Search