Matches in Library of Congress for { <http://lccn.loc.gov/2007935177> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2007935177 contributor B11064787.
- 2007935177 created "c2007.".
- 2007935177 date "2007".
- 2007935177 date "c2007.".
- 2007935177 dateCopyrighted "c2007.".
- 2007935177 description "Includes bibliographical references and index.".
- 2007935177 extent "xvi, 538 p. :".
- 2007935177 hasFormat "Also issued online".
- 2007935177 identifier "354075220X (pbk.)".
- 2007935177 identifier "9783540752202 (pbk.)".
- 2007935177 identifier 2007935177.html.
- 2007935177 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4700.
- 2007935177 isFormatOf "Also issued online".
- 2007935177 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2007935177 isPartOf "Lecture notes in computer science ; 4700.".
- 2007935177 isPartOf "Lecture notes in computer science, 0302-9743 ; 4700. Festschrift".
- 2007935177 isPartOf "Lecture notes in computer science. Festschrift.".
- 2007935177 issued "2007".
- 2007935177 issued "c2007.".
- 2007935177 language "eng".
- 2007935177 publisher "Berlin ; New York : Springer,".
- 2007935177 relation "Also issued online".
- 2007935177 subject "004/.33 22".
- 2007935177 subject "Bjørner, D. (Dines), 1937-".
- 2007935177 subject "Chaochen, Zhou.".
- 2007935177 subject "Formal methods (Computer science) Congresses.".
- 2007935177 subject "QA76.9.F67 F525 2007".
- 2007935177 subject "Real-time data processing Congresses.".
- 2007935177 title "Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).".
- 2007935177 type "text".