Matches in Library of Congress for { <http://lccn.loc.gov/2010932429> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2010932429 contributor B12092608.
- 2010932429 contributor B12092609.
- 2010932429 created "2010.".
- 2010932429 date "2010".
- 2010932429 date "2010.".
- 2010932429 dateCopyrighted "2010.".
- 2010932429 description "Includes bibliographical references and index.".
- 2010932429 extent "x, 255 p. :".
- 2010932429 hasFormat "Also issued online.".
- 2010932429 identifier "3642152961 (pbk.)".
- 2010932429 identifier "9783642152962 (pbk.)".
- 2010932429 isFormatOf "Also issued online.".
- 2010932429 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2010932429 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2010932429 isPartOf "Lecture notes in computer science ; 6246.".
- 2010932429 isPartOf "Lecture notes in computer science, 0302-9743 ; 6246".
- 2010932429 issued "2010".
- 2010932429 issued "2010.".
- 2010932429 language "eng".
- 2010932429 publisher "Berlin ; New York : Springer,".
- 2010932429 relation "Also issued online.".
- 2010932429 subject "004.01/51 23".
- 2010932429 subject "Computer simulation Congresses.".
- 2010932429 subject "Formal methods (Computer science) Congresses.".
- 2010932429 subject "QA76.9.C65 F676 2010".
- 2010932429 subject "Temporal automata Congresses.".
- 2010932429 title "Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).".
- 2010932429 type "text".