Automata implementation : (Record no. 376754)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha