Matches in Library of Congress for { <http://lccn.loc.gov/2011936633> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2011936633 contributor B12421562.
- 2011936633 contributor B12421563.
- 2011936633 created "c2011.".
- 2011936633 date "2011".
- 2011936633 date "c2011.".
- 2011936633 dateCopyrighted "c2011.".
- 2011936633 extent "xii, 244 p. :".
- 2011936633 identifier "9783642242878 (pbk. : alk. paper)".
- 2011936633 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2011936633 isPartOf "Lecture notes in computer science, 0302-9743 ; 6945".
- 2011936633 issued "2011".
- 2011936633 issued "c2011.".
- 2011936633 language "eng".
- 2011936633 publisher "Berlin ; New York : Springer,".
- 2011936633 subject "Computer systems Verification Congresses.".
- 2011936633 subject "Configurations Congresses.".
- 2011936633 subject "Decidability (Mathematical logic) Congresses.".
- 2011936633 subject "QA76.76.V47 R58 2011".
- 2011936633 title "Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / Giorgio Delzanno, Igor Potapov (eds.).".
- 2011936633 type "text".