Welcome to Central Library, SUST

Teoria degli Automi Finiti (Record no. 48256)

MARC details
000 -LEADER
fixed length control field 03262nam a22006137a 4500
001 - CONTROL NUMBER
control field sulb-eb0026164
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160413122614.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 131114s2013 it | s |||| 0|ita d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788847054745
-- 978-88-470-5474-5
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-88-470-5474-5
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
Subject category code UYA
Source bicssc
Subject category code COM014000
Source bisacsh
Subject category code COM031000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Luca, Aldo de.
Relator term author.
245 10 - TITLE STATEMENT
Title Teoria degli Automi Finiti
Medium [electronic resource] /
Statement of responsibility, etc. by Aldo de Luca, Flavio D’Alessandro.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Milano :
Name of producer, publisher, distributor, manufacturer Springer Milan :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2013.
300 ## - PHYSICAL DESCRIPTION
Extent XI, 323 pagg.
Other physical details online resource.
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 UNITEXT,
International Standard Serial Number 2038-5714 ;
Volume/sequential designation 68
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1 Teoria dei Semigruppi -- 2 Relazioni di Green -- 3 Semigruppi e monoidi liberi -- 4 Automi finiti -- 5 Equivalenza di automi -- 6 Espressioni razionali e Star-height -- 7 Relazioni razionali.
520 ## - SUMMARY, ETC.
Summary, etc. Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle parti fondamentali dell’Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell’ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro è anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi è riportata alla fine del volume.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Topical term or geographic name as entry element Computers.
Topical term or geographic name as entry element Mathematical logic.
Topical term or geographic name as entry element Computer science
General subdivision Mathematics.
Topical term or geographic name as entry element Applied mathematics.
Topical term or geographic name as entry element Engineering mathematics.
Topical term or geographic name as entry element Discrete mathematics.
Topical term or geographic name as entry element Combinatorics.
Topical term or geographic name as entry element Computer Science.
Topical term or geographic name as entry element Theory of Computation.
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
Topical term or geographic name as entry element Math Applications in Computer Science.
Topical term or geographic name as entry element Discrete Mathematics.
Topical term or geographic name as entry element Combinatorics.
Topical term or geographic name as entry element Applications of Mathematics.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name D’Alessandro, Flavio.
Relator term author.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9788847054738
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title UNITEXT,
International Standard Serial Number 2038-5714 ;
Volume number/sequential designation 68
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a>
912 ## -
-- ZDB-2-SMA
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type

No items available.