| LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2017385693 |
| INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789813148192 |
| INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9813148195 |
| DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Call number |
004 RO LE |
| TITLE STATEMENT |
|---|
| Title |
The role of theory in computer science : |
| Subtitle |
essays dedicated to Janusz Brzozowski |
| Statement of responsibility, etc |
Edited by Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Jeffrey Shallit |
| PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Singapore : |
| Publisher |
World Scientific Publishing Company, |
| Date |
c2017. |
| PHYSICAL DESCRIPTION |
|---|
| Extent |
xxxviii, 273 p. : |
| Other Details |
ill. ; |
| Size |
24 cm. |
| SUMMARY |
|---|
| Summary |
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory. |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Heading |
Computer science |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Heading |
Information theory |
| ADDED ENTRY |
|---|
| Name |
Brzozowski, Janusz A., |
| Role |
Edited by |
| ADDED ENTRY |
|---|
| Name |
Konstantinidis, Stavros, |
| Role |
Edited by |
| ADDED ENTRY |
|---|
| Name |
Moreira, Nelma, |
| Role |
Edited by |
| ADDED ENTRY |
|---|
| Name |
Reis, Rogério |
| Role |
Edited by |
| ADDED ENTRY |
|---|
| Name |
Shallit, Jeffrey Outlaw, |
| Role |
Edited by |
| ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
https://uowd.box.com/s/4yp1eg7rig2cqu3vou1j4g62s0tvumag |
| Public note |
Location Map |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| -- |
898 |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| -- |
18819 |
| ADDED ENTRY |
|---|
| -- |
36616 |
| ADDED ENTRY |
|---|
| -- |
36617 |
| ADDED ENTRY |
|---|
| -- |
36618 |
| ADDED ENTRY |
|---|
| -- |
36619 |
| ADDED ENTRY |
|---|
| -- |
36620 |