Matches in Library of Congress for { <http://lccn.loc.gov/2003045501> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2003045501 contributor B9535583.
- 2003045501 contributor B9535584.
- 2003045501 contributor B9535585.
- 2003045501 created "c2003.".
- 2003045501 date "2003".
- 2003045501 date "c2003.".
- 2003045501 dateCopyrighted "c2003.".
- 2003045501 extent "xvi, 604 p. :".
- 2003045501 identifier "3540008985 (softcover : alk. paper)".
- 2003045501 identifier 2003045501-d.html.
- 2003045501 isPartOf "Lecture notes in computer science, 0302-9743 ; 2619".
- 2003045501 issued "2003".
- 2003045501 issued "c2003.".
- 2003045501 language "eng".
- 2003045501 publisher "Berlin ; New York : Springer,".
- 2003045501 subject "005.1 21".
- 2003045501 subject "Computer software Development Congresses.".
- 2003045501 subject "QA76.9.S88 T33 2003".
- 2003045501 subject "System design Congresses.".
- 2003045501 title "Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).".
- 2003045501 type "text".