Matches in Library of Congress for { <http://lccn.loc.gov/2004112582> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2004112582 contributor B9883013.
- 2004112582 contributor B9883014.
- 2004112582 contributor B9883015.
- 2004112582 created "c2004.".
- 2004112582 date "2004".
- 2004112582 date "c2004.".
- 2004112582 dateCopyrighted "c2004.".
- 2004112582 description "Includes bibliographical references and index.".
- 2004112582 extent "x, 395 p. :".
- 2004112582 identifier "3540231676".
- 2004112582 identifier 2004112582-d.html.
- 2004112582 isPartOf "Lecture notes in computer science, 0302-9743 ; 3253".
- 2004112582 issued "2004".
- 2004112582 issued "c2004.".
- 2004112582 language "eng".
- 2004112582 publisher "Berlin ; New York : Springer,".
- 2004112582 subject "003/.3 22".
- 2004112582 subject "Computer simulation Congresses.".
- 2004112582 subject "Formal methods (Computer science) Congresses.".
- 2004112582 subject "Machine theory Congresses.".
- 2004112582 subject "QA76.9.C65 F676 2004".
- 2004112582 subject "Robots Congresses.".
- 2004112582 subject "Temporal automata Congresses.".
- 2004112582 title "Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (eds.).".
- 2004112582 type "text".