The Unknown Component Problem (Record no. 729)

000 -LEADER
fixed length control field 03710nam a22005535i 4500
001 - CONTROL NUMBER
control field 978-0-387-68759-9
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20141014113431.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 111114s2012 xxu| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387687599
-- 978-0-387-68759-9
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-0-387-68759-9
Source of number or code doi
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7888.4
072 #7 - SUBJECT CATEGORY CODE
Subject category code TJFC
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC008010
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Villa, Tiziano.
Relator term author.
245 14 - TITLE STATEMENT
Title The Unknown Component Problem
Medium [electronic resource] :
Remainder of title Theory and Applications /
Statement of responsibility, etc by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston, MA :
Name of publisher, distributor, etc Springer US,
Date of publication, distribution, etc 2012.
264 #1 -
-- Boston, MA :
-- Springer US,
-- 2012.
300 ## - PHYSICAL DESCRIPTION
Extent XVI, 312 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1. Synopsis -- 2. Equations over Languages and Finate Automata -- 3. Equations over Finite State Machines -- 4. Equations Over w-Automata -- 5. A Survey of Relevant Literature -- 6. Implementation of Automata Manipulations -- 7. Manipulations of FSMs Represented as Sequential Circuits -- 8. The Software Package BALM -- 9. Fundamental Operations in BALM -- 10. Computation of Flexibility in Sequential Networks -- 11. Computation of Sequential Flexibility in Netlists by Windowing -- 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing -- 13. Language Solving Using Simulation Relations -- 14. Exploitation of Flexibility in Sequential Networks -- 15. Supervisory Control -- 16. Testing -- 17. Synthesis of Strategies for Games -- 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications -- 19. Conclusions and Open Problems.
520 ## - SUMMARY, ETC.
Summary, etc The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Circuits and Systems.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic Design.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electrical Engineering.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yevtushenko, Nina.
Relator term author.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Brayton, Robert K.
Relator term author.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Mishchenko, Alan.
Relator term author.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Petrenko, Alexandre.
Relator term author.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sangiovanni-Vincentelli, Alberto.
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
Display text Printed edition:
International Standard Book Number 9780387345321
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-0-387-68759-9
912 ## -
-- ZDB-2-ENG
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books

No items available.


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha