Matches in Library of Congress for { <http://lccn.loc.gov/2010932672> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2010932672 contributor B12092788.
- 2010932672 contributor B12092789.
- 2010932672 coverage "Brünn <2010> swd".
- 2010932672 created "2010.".
- 2010932672 date "2010".
- 2010932672 date "2010.".
- 2010932672 dateCopyrighted "2010.".
- 2010932672 description "Includes bibliographical references and index.".
- 2010932672 extent "x, 197 p. :".
- 2010932672 hasFormat "Also issued online.".
- 2010932672 identifier "3642153488 (pbk. : alk. paper)".
- 2010932672 identifier "9783642153488 (pbk. : alk. paper)".
- 2010932672 isFormatOf "Also issued online.".
- 2010932672 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2010932672 isPartOf "Lecture notes in computer science, 0302-9743 ; 6227".
- 2010932672 issued "2010".
- 2010932672 issued "2010.".
- 2010932672 language "eng".
- 2010932672 publisher "Berlin ; New York : Springer,".
- 2010932672 relation "Also issued online.".
- 2010932672 spatial "Brünn <2010> swd".
- 2010932672 subject "511.35".
- 2010932672 subject "Computer systems Verification Congresses.".
- 2010932672 subject "Configurations Congresses.".
- 2010932672 subject "Decidability (Mathematical logic) Congresses.".
- 2010932672 subject "Erreichbarkeit swd".
- 2010932672 subject "Erreichbarkeitsmenge swd".
- 2010932672 subject "QA76.76.V47 R58 2010".
- 2010932672 subject "Zustandsgraph swd".
- 2010932672 title "Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings / Antonín Kučera, Igor Potapov (eds.).".
- 2010932672 type "Kongress swd".
- 2010932672 type "text".