Topics in the theory of computation (Record no. 21965)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03420cam a2200553Ia 4500 |
001 - CONTROL NUMBER | |
control field | ocn316566705 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20141103172228.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 cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 090320s1985 ne a ob 101 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | |
Language of cataloging | eng |
Transcribing agency | OPELS |
Modifying agency | OPELS |
-- | OCLCQ |
-- | OCLCF |
-- | DEBBG |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780444876478 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0444876472 |
029 1# - (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 15193159 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV036962616 |
029 1# - (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 40739236X |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)316566705 |
037 ## - SOURCE OF ACQUISITION | |
Stock number | 124999:122965 |
Source of stock number/acquisition | Elsevier Science & Technology |
Note | http://www.sciencedirect.com |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA267 |
Item number | .I56 1983eb |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511 |
Edition number | 22 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | TEFA |
111 2# - MAIN ENTRY--MEETING NAME | |
Meeting name or jurisdiction name as entry element | International FCT-Conference |
Date of meeting | (1983 : |
Location of meeting | Borgholm, Sweden) |
245 10 - TITLE STATEMENT | |
Title | Topics in the theory of computation |
Medium | [electronic resource] : |
Remainder of title | selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / |
Statement of responsibility, etc. | edited by Marek Karpinski and Jan van Leeuwen. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Amsterdam ; |
-- | New York : |
Name of publisher, distributor, etc. | North-Holland ; |
Place of publication, distribution, etc. | New York, N.Y. : |
Name of publisher, distributor, etc. | Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |
Date of publication, distribution, etc. | 1985. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (ix, 187 p.) : |
Other physical details | ill. |
490 1# - SERIES STATEMENT | |
Series statement | Annals of discrete mathematics ; |
Volume/sequential designation | 24 |
490 1# - SERIES STATEMENT | |
Series statement | North-Holland mathematics studies ; |
Volume/sequential designation | 102 |
520 ## - SUMMARY, ETC. | |
Summary, etc. | This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references and index. |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on print version record. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computational complexity |
Form subdivision | Congresses. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Machine theory |
Form subdivision | Congresses. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer science |
General subdivision | Mathematics |
Form subdivision | Congresses. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computational complexity. |
Source of heading or term | fast |
Authority record control number | (OCoLC)fst00871991 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer science |
General subdivision | Mathematics. |
Source of heading or term | fast |
Authority record control number | (OCoLC)fst00872460 |
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 |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Conference proceedings. |
Source of term | fast |
Authority record control number | (OCoLC)fst01423772 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Karpi�nski, Marek, |
Dates associated with a name | 1948- |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Leeuwen, J. van |
Fuller form of name | (Jan) |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
Main entry heading | International FCT-Conference (1983 : Borgholm, Sweden). |
Title | Topics in the theory of computation. |
Place, publisher, and date of publication | Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985 |
International Standard Book Number | 0444876472 |
-- | 9780444876478 |
Record control number | (DLC) 84021089 |
-- | (OCoLC)11212612 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Annals of discrete mathematics ; |
Volume number/sequential designation | 24. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | North-Holland mathematics studies ; |
Volume number/sequential designation | 102. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | ScienceDirect |
Uniform Resource Identifier | <a href="http://www.sciencedirect.com/science/book/9780444876478">http://www.sciencedirect.com/science/book/9780444876478</a> |
856 4# - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=102">http://www.sciencedirect.com/science/publication?issn=03040208&volume=102</a> |
Materials specified | Volltext |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E(electronic)-Books |
994 ## - | |
-- | C0 |
-- | TEF |
No items available.