Matches in Library of Congress for { <http://lccn.loc.gov/2012946474> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2012946474 alternative "FORMATS 2012.".
- 2012946474 contributor B12703683.
- 2012946474 contributor B12703684.
- 2012946474 created "c2012.".
- 2012946474 date "2012".
- 2012946474 date "c2012.".
- 2012946474 dateCopyrighted "c2012.".
- 2012946474 description "Includes bibliographical references and author index.".
- 2012946474 extent "x, 266 p. :".
- 2012946474 identifier "3642333648 (pbk. : alk. paper)".
- 2012946474 identifier "9783642333644 (pbk. : alk. paper)".
- 2012946474 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues.".
- 2012946474 isPartOf "Lecture notes in computer science ; 7595.".
- 2012946474 issued "2012".
- 2012946474 issued "c2012.".
- 2012946474 language "eng".
- 2012946474 publisher "Berlin ; New York : Springer,".
- 2012946474 subject "004.01/51 23".
- 2012946474 subject "Computer simulation Congresses.".
- 2012946474 subject "Formal methods (Computer science) Congresses.".
- 2012946474 subject "QA76.9.C65 F676 2012".
- 2012946474 subject "System analysis Congresses.".
- 2012946474 subject "Temporal automata Congresses.".
- 2012946474 title "FORMATS 2012.".
- 2012946474 title "Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / Marcin Jurdziński, Dejan Ničković (eds.).".
- 2012946474 type "text".