Matches in Library of Congress for { <http://lccn.loc.gov/2006932409> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- 2006932409 alternative "FORMATS 2006".
- 2006932409 contributor B10742527.
- 2006932409 contributor B10742528.
- 2006932409 created "c2006.".
- 2006932409 date "2006".
- 2006932409 date "c2006.".
- 2006932409 dateCopyrighted "c2006.".
- 2006932409 description "Includes bibliographical references and index.".
- 2006932409 extent "xi, 367 p. :".
- 2006932409 hasFormat "Also issued online.".
- 2006932409 identifier "3540450262 (pbk.)".
- 2006932409 identifier "9783540450269 (pbk.)".
- 2006932409 identifier 2006932409-d.html.
- 2006932409 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4202.
- 2006932409 isFormatOf "Also issued online.".
- 2006932409 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2006932409 isPartOf "Lecture notes in computer science, 0302-9743 ; 4202".
- 2006932409 issued "2006".
- 2006932409 issued "c2006.".
- 2006932409 language "eng".
- 2006932409 publisher "Berlin ; New York : Springer,".
- 2006932409 relation "Also issued online.".
- 2006932409 subject "004.01/51 22".
- 2006932409 subject "Automates mathématiques, Théorie des Congrès.".
- 2006932409 subject "Automates temporels Congrès.".
- 2006932409 subject "Computer simulation Congresses.".
- 2006932409 subject "Formal methods (Computer science) Congresses.".
- 2006932409 subject "Méthodes formelles (Informatique) Congrès.".
- 2006932409 subject "QA76.9.C65 F676 2006".
- 2006932409 subject "Temporal automata Congresses.".
- 2006932409 title "FORMATS 2006".
- 2006932409 title "Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.).".
- 2006932409 type "text".