Matches in Library of Congress for { <http://lccn.loc.gov/2004103614> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2004103614 alternative "FORMATS 2003".
- 2004103614 contributor B9875776.
- 2004103614 contributor B9875777.
- 2004103614 created "2004.".
- 2004103614 date "2004".
- 2004103614 date "2004.".
- 2004103614 dateCopyrighted "2004.".
- 2004103614 description "Includes bibliographical references.".
- 2004103614 extent "viii, 280 p. :".
- 2004103614 hasFormat "Also issued online.".
- 2004103614 identifier "3540216715 (pbk.)".
- 2004103614 identifier 2004103614-d.html.
- 2004103614 identifier 2004103614.html.
- 2004103614 identifier openurl.asp?genre=issue&issn=0302-9743&volume=2791.
- 2004103614 isFormatOf "Also issued online.".
- 2004103614 isPartOf "Lecture notes in computer science, 0302-9743 ; 2791".
- 2004103614 issued "2004".
- 2004103614 issued "2004.".
- 2004103614 language "eng".
- 2004103614 publisher "Berlin : Springer,".
- 2004103614 relation "Also issued online.".
- 2004103614 subject "004.33 22".
- 2004103614 subject "Automata Congresses.".
- 2004103614 subject "Computer simulation Congresses.".
- 2004103614 subject "Formal methods (Computer science) Congresses.".
- 2004103614 subject "QA76.9.C65 F676 2003".
- 2004103614 subject "Temporal automata Congresses.".
- 2004103614 title "FORMATS 2003".
- 2004103614 title "Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / Kim G. Larsen, Peter Niebert (eds.).".
- 2004103614 type "text".