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

1

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

2

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

3

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

4

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

5

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 Luís.
Published: Springer,
Publication Dates: 2005.

Book

6

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

7

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

8

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

9

Cover is for reference only

Problem solving in automata, languages, and complexity

Main Authors: Du, Dingzhu
Group Author: Ko, Ker-I
Published:

Electronic eBook

10

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

11

Cover is for reference only

Formal description techniques and protocol specification, testing and verification：FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan

Corporate Authors: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (1997 Osaka, Japan
Group Author: Mizuno Tadanori
Published: Chapman & Hall,
Publication Dates: c1997.
Call Number: TN915.04-532/I61.1/1997/

Book

12

Cover is for reference only

Computability, complexity, and languages : fundamentals of theoretical computer science /

Main Authors: Davis, Martin, 1928-
Corporate Authors: Elsevier Science & Technology.
Group Author: Weyuker, Elaine J.
Published: Academic Press,
Publication Dates: 1983.

eBook

13

Cover is for reference only

The mathematical theory of L systems /

Main Authors: Rozenberg, Grzegorz
Corporate Authors: Elsevier Science & Technology
Group Author: Salomaa, Arto
Published: Academic Press,
Publication Dates: 1980.

eBook

14

Cover is for reference only

Picture languages : formal models for picture recognition /

Main Authors: Rosenfeld, Azriel, 1931-
Corporate Authors: Elsevier Science & Technology.
Published: Academic Press,
Publication Dates: 1979.

eBook

15

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

16

Cover is for reference only

Formal description techniques, VIII：proceedings of the IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Corporate Authors: IFIP TC6 International Conference on Formal Description Techniques (8th 1995 Montréal, Québec); International Federation for Information Processing.; International Federation for Information Processing. Technical Committee 6.; IFIP Working Group 6.1.
Group Author: Bochmann Gregor von, 1941-; Dssouli R.; (Rachida); Rafiq Omar, 1947-
Published: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP),
Publication Dates: c1996.
Call Number: TP330.12-532/I61/1995/

Book

Narrow Search