Matches in Library of Congress for { <http://lccn.loc.gov/2010933601> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2010933601 contributor B12093356.
- 2010933601 contributor B12093357.
- 2010933601 created "2010.".
- 2010933601 date "2010".
- 2010933601 date "2010.".
- 2010933601 dateCopyrighted "2010.".
- 2010933601 description "Includes bibliographical references and index.".
- 2010933601 extent "xi, 404 p. :".
- 2010933601 hasFormat "Also issued online.".
- 2010933601 identifier "3642156428 (pbk. : acid-free paper)".
- 2010933601 identifier "9783642156427 (pbk. : acid-free paper)".
- 2010933601 isFormatOf "Also issued online.".
- 2010933601 isPartOf "LNCS sublibrary. SL 2 Programming and software engineering.".
- 2010933601 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010933601 isPartOf "Lecture notes in computer science ; 6252.".
- 2010933601 isPartOf "Lecture notes in computer science, 0302-9743 ; 6252".
- 2010933601 issued "2010".
- 2010933601 issued "2010.".
- 2010933601 language "eng".
- 2010933601 publisher "Berlin ; New York : Springer,".
- 2010933601 relation "Also issued online.".
- 2010933601 subject "511.3/6028563 23".
- 2010933601 subject "Automatic theorem proving Congresses.".
- 2010933601 subject "QA76.9 .A96 2010".
- 2010933601 title "Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / Ahmed Bouajjani, Wei-Ngan Chin (eds.).".
- 2010933601 type "text".