Matches in Library of Congress for { <http://lccn.loc.gov/2005937088> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2005937088 contributor B10403550.
- 2005937088 contributor B10403551.
- 2005937088 created "c2005.".
- 2005937088 date "2005".
- 2005937088 date "c2005.".
- 2005937088 dateCopyrighted "c2005.".
- 2005937088 description "Includes bibliographical references and index.".
- 2005937088 extent "ix, 303 p. :".
- 2005937088 identifier "3540309462 (soft cover : alk. paper)".
- 2005937088 identifier "9783540309468 (soft cover : alk. paper)".
- 2005937088 identifier 2005937088-d.html.
- 2005937088 isPartOf "Lecture notes in computer science, 0302-9743 ; 3829".
- 2005937088 issued "2005".
- 2005937088 issued "c2005.".
- 2005937088 language "eng".
- 2005937088 publisher "Berlin ; New York : Springer,".
- 2005937088 subject "003/.3 22".
- 2005937088 subject "Automata Congresses.".
- 2005937088 subject "Computer simulation Congresses.".
- 2005937088 subject "Formal methods (Computer science) Congresses.".
- 2005937088 subject "QA76.9.C65 F676 2005".
- 2005937088 subject "Temporal automata Congresses.".
- 2005937088 title "Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).".
- 2005937088 type "text".