Computation and automata / (Record no. 121237)

MARC details
000 -LEADER
fixed length control field 01949nam a22003858i 4500
001 - CONTROL NUMBER
control field CR9781107325630
003 - CONTROL NUMBER IDENTIFIER
control field UkCbUP
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20201015164344.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||||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130129s1985||||enk o ||1 0|eng|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781107325630 (ebook)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780521302456 (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780521177337 (paperback)
040 ## - CATALOGING SOURCE
Original cataloging agency UkCbUP
Language of cataloging eng
Description conventions rda
Transcribing agency
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.59
Item number .S25 1985
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511
Edition number 19
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Salomaa, Arto,
Relator term author.
245 10 - TITLE STATEMENT
Title Computation and automata /
Statement of responsibility, etc. Arto Salomaa.
246 3# - VARYING FORM OF TITLE
Title proper/short title Computation & Automata
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cambridge :
Name of producer, publisher, distributor, manufacturer Cambridge University Press,
Date of production, publication, distribution, manufacture, or copyright notice 1985.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiii, 284 pages) :
Other physical details digital, PDF file(s).
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
490 1# - SERIES STATEMENT
Series statement Encyclopedia of mathematics and its applications ;
Volume/sequential designation volume 25
500 ## - GENERAL NOTE
General note Title from publisher's bibliographic system (viewed on 05 Oct 2015).
520 ## - SUMMARY, ETC.
Summary, etc. In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable functions.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Sequential machine theory.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
International Standard Book Number 9780521302456
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Encyclopedia of mathematics and its applications ;
Volume/sequential designation v. 25.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1017/CBO9781107325630">https://doi.org/10.1017/CBO9781107325630</a>

No items available.