Matches in Library of Congress for { <http://lccn.loc.gov/2004046612> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2004046612 contributor B9850064.
- 2004046612 contributor B9850065.
- 2004046612 created "2004.".
- 2004046612 date "2004".
- 2004046612 date "2004.".
- 2004046612 dateCopyrighted "2004.".
- 2004046612 description "Includes bibliographical references and index.".
- 2004046612 extent "xiv, 608 p. :".
- 2004046612 identifier "354021299X (alk. paper)".
- 2004046612 identifier 2004046612-d.html.
- 2004046612 isPartOf "Lecture notes in computer science, 0302-9743 ; 2988".
- 2004046612 issued "2004".
- 2004046612 issued "2004.".
- 2004046612 language "eng".
- 2004046612 publisher "Berlin ; New York : Springer-Verlag,".
- 2004046612 subject "005.1/2 22".
- 2004046612 subject "Computer software Development Congresses.".
- 2004046612 subject "QA76.9.S88 T33 2004".
- 2004046612 subject "System design.".
- 2004046612 title "Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).".
- 2004046612 type "text".