000 -LEADER |
fixed length control field |
04938cam a22007814a 4500 |
001 - CONTROL NUMBER |
control field |
ocn166464309 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200626095903.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
011101s2001 gw a ob 101 0 eng c |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2001055069 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
COO |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
COO |
Modifying agency |
QCL |
-- |
OCLCQ |
-- |
YNG |
-- |
CSU |
-- |
OCLCQ |
-- |
DKDLA |
-- |
OCLCO |
-- |
OCLCQ |
-- |
GW5XE |
-- |
OCLCF |
-- |
OCLCQ |
-- |
OCLCO |
-- |
NUI |
-- |
OCLCQ |
-- |
OCL |
-- |
OCLCO |
-- |
OCLCQ |
-- |
YDX |
-- |
UAB |
-- |
ESU |
-- |
OCLCQ |
-- |
VT2 |
-- |
SHS |
-- |
BUF |
-- |
TFW |
-- |
CEF |
-- |
AU@ |
-- |
OCLCQ |
-- |
WYU |
-- |
OCLCQ |
-- |
LEAUB |
-- |
OCLCQ |
-- |
OL$ |
-- |
OCLCQ |
-- |
AUD |
-- |
LIP |
015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
National bibliography number |
GBA1-67785 |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
962828769 |
Source |
DE-101 |
019 ## - |
-- |
644324597 |
-- |
771192474 |
-- |
990729770 |
-- |
1005806885 |
-- |
1044573312 |
-- |
1066674455 |
-- |
1081270342 |
-- |
1105601513 |
-- |
1132296185 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540455264 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
3540455264 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
3540428127 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
9783540428121 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/3-540-45526-4 |
Source of number or code |
doi |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051316213 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051690455 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000058016540 |
029 1# - (OCLC) |
OCLC library identifier |
DKDLA |
System control number |
820120-katalog:000464497 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
14994353 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
15297108 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000065521661 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)166464309 |
Canceled/invalid control number |
(OCoLC)644324597 |
-- |
(OCoLC)771192474 |
-- |
(OCoLC)990729770 |
-- |
(OCoLC)1005806885 |
-- |
(OCoLC)1044573312 |
-- |
(OCoLC)1066674455 |
-- |
(OCoLC)1081270342 |
-- |
(OCoLC)1105601513 |
-- |
(OCoLC)1132296185 |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA267 |
Item number |
.I5787 1999 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYZG |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM037000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
QA |
Source |
lcco |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Edition number |
21 |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
54.10 |
Number source |
bcl |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
DAT 550f |
Number source |
stub |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
SS 4800 |
Number source |
rvk |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
International Workshop on Implementing Automata |
Number of part/section/meeting |
(4th : |
Date of meeting |
1999 : |
Location of meeting |
Potsdam, Germany) |
9 (RLIN) |
21362 |
245 10 - TITLE STATEMENT |
Title |
Automata implementation : |
Remainder of title |
4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers / |
Statement of responsibility, etc. |
Oliver Boldt, Helmut Jürgensen (eds.). |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc. |
Berlin ; |
-- |
New York : |
Name of publisher, distributor, etc. |
Springer, |
Date of publication, distribution, etc. |
©2001. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (182 pages) : |
Other physical details |
illustrations |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 1# - SERIES STATEMENT |
Series statement |
Lecture notes in computer science, |
International Standard Serial Number |
0302-9743 ; |
Volume/sequential designation |
2214 |
490 ## - SERIES STATEMENT |
Series statement |
Serienbezeichnung |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999. The 16 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are devoted to issues of implementing automata of various types important for areas such as parsing, finite languages, computational linguistics, speech recognition, image and signal processing, and systems analysis. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
FA Minimisation Heuristics for a Class of Finite Languages -- SEA: A Symbolic Environment for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation and Computation of Finite Automata for Learning Software -- Metric Lexical Analysis -- State Complexity of Basic Operations on Finite Languages -- Treatment of Unknown Words -- Computing Entropy Maps of Finite-Automaton-Encoded Binary Images -- Thompson Digraphs: A Characterization -- Finite Automata Encoding Geometric Figures -- Compressed Storage of Sparse Finite-State Transducers -- An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing -- Multiset Processing by Means of Systems of Finite State Transducers -- A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits -- An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata -- A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. |
546 ## - LANGUAGE NOTE |
Language note |
English. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Machine theory |
Form subdivision |
Congresses. |
9 (RLIN) |
14625 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Machine theory. |
Source of heading or term |
fast |
Authority record control number |
(OCoLC)fst01004846 |
9 (RLIN) |
14628 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Algebra. |
Source of heading or term |
hilcc |
9 (RLIN) |
3817 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematics. |
Source of heading or term |
hilcc |
9 (RLIN) |
21363 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Physical Sciences & Mathematics. |
Source of heading or term |
hilcc |
9 (RLIN) |
11926 |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
9 (RLIN) |
396 |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Conference papers and proceedings. |
Source of term |
fast |
Authority record control number |
(OCoLC)fst01423772 |
9 (RLIN) |
6065 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Boldt, Oliver. |
9 (RLIN) |
21364 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Jürgensen, Helmut. |
9 (RLIN) |
21365 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version:International Workshop on Implementing Automata (4th : 1999 : Potsdam, Germany) |
Title |
Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers |
Record control number |
(OCoLC)48383518 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Lecture notes in computer science ; |
Volume number/sequential designation |
2214. |
International Standard Serial Number |
0302-9743 |
9 (RLIN) |
21366 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45526-4">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45526-4</a> |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
13350934 |
994 ## - |
-- |
92 |
-- |
ATIST |