Matches in Library of Congress for { <http://lccn.loc.gov/2006925476> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2006925476 contributor B10737420.
- 2006925476 contributor B10737421.
- 2006925476 created "c2006.".
- 2006925476 date "2006".
- 2006925476 date "c2006.".
- 2006925476 dateCopyrighted "c2006.".
- 2006925476 description "Includes bibliographical references and indexes.".
- 2006925476 extent "xxxii, 257 p. :".
- 2006925476 identifier "3540328696".
- 2006925476 identifier "9783540328698".
- 2006925476 identifier 2006925476-d.html.
- 2006925476 identifier 2006925476.html.
- 2006925476 isPartOf "Studies in computational intelligence, 1860-949X ; v. 20".
- 2006925476 issued "2006".
- 2006925476 issued "c2006.".
- 2006925476 language "eng".
- 2006925476 publisher "Berlin ; New York : Springer,".
- 2006925476 subject "511/.3/5 22".
- 2006925476 subject "Petri nets.".
- 2006925476 subject "QA267 .P45 2006".
- 2006925476 subject "Real-time control.".
- 2006925476 subject "Real-time data processing.".
- 2006925476 title "Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Półrola.".
- 2006925476 type "text".