Matches in Library of Congress for { <http://lccn.loc.gov/2010921913> ?p ?o. }
Showing items 1 to 41 of
41
with 100 items per page.
- 2010921913 contributor B12085786.
- 2010921913 contributor B12085787.
- 2010921913 contributor B12085788.
- 2010921913 created "c2010.".
- 2010921913 date "2010".
- 2010921913 date "c2010.".
- 2010921913 dateCopyrighted "c2010.".
- 2010921913 description "Includes bibliographical references and index.".
- 2010921913 extent "xvi, 468 p. :".
- 2010921913 format "text/html".
- 2010921913 hasFormat "Also issued online.".
- 2010921913 identifier "3642120016 (pbk. : acid-free paper)".
- 2010921913 identifier "9783642120015 (pbk. : acid-free paper)".
- 2010921913 identifier F?func=service&doc_library=BVB01&doc_number=018991072&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2010921913 identifier dokserv?id=3427663&prov=M&dok_var=1&dok_ext=htm.
- 2010921913 isFormatOf "Also issued online.".
- 2010921913 isPartOf "Advanced research in computing and software science".
- 2010921913 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2010921913 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2010921913 isPartOf "Lecture notes in computer science ; 6015.".
- 2010921913 isPartOf "Lecture notes in computer science, 0302-9743 ; 6015".
- 2010921913 isPartOf "Lecture notes in computer science. Advanced research in computing and software science.".
- 2010921913 issued "2010".
- 2010921913 issued "c2010.".
- 2010921913 language "eng".
- 2010921913 publisher "Berlin ; New York : Springer,".
- 2010921913 relation "Also issued online.".
- 2010921913 subject "005.12 22/ger".
- 2010921913 subject "Computer software Development Congresses.".
- 2010921913 subject "Model Checking. swd".
- 2010921913 subject "Programmanalyse. swd".
- 2010921913 subject "QA76.9.S88 T33 2010".
- 2010921913 subject "Softwareentwicklung. swd".
- 2010921913 subject "System analysis Congresses.".
- 2010921913 subject "System design Congresses.".
- 2010921913 subject "Systementwicklung. swd".
- 2010921913 subject "Theoretische Informatik. swd".
- 2010921913 title "Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / Javier Esparza, Rupak Majumdar (eds.).".
- 2010921913 type "Kongress.".
- 2010921913 type "Paphos (Ktima, 2010)".
- 2010921913 type "text".