Matches in Library of Congress for { <http://lccn.loc.gov/2009931537> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- 2009931537 contributor B11727950.
- 2009931537 contributor B11727951.
- 2009931537 created "c2009.".
- 2009931537 date "2009".
- 2009931537 date "c2009.".
- 2009931537 dateCopyrighted "c2009.".
- 2009931537 description "Includes bibliographical references and index.".
- 2009931537 extent "xii, 355 p. :".
- 2009931537 hasFormat "Also issued online.".
- 2009931537 identifier "3642034659".
- 2009931537 identifier "9783642034657".
- 2009931537 identifier 2009931537-d.html.
- 2009931537 isFormatOf "Also issued online.".
- 2009931537 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2009931537 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2009931537 isPartOf "Lecture notes in computer science ; 5684.".
- 2009931537 isPartOf "Lecture notes in computer science, 0302-9743 ; 5684".
- 2009931537 issued "2009".
- 2009931537 issued "c2009.".
- 2009931537 language "eng".
- 2009931537 publisher "Berlin ; New York : Springer,".
- 2009931537 relation "Also issued online.".
- 2009931537 spatial "Kuala Lumpur <2009>".
- 2009931537 subject "004n/a".
- 2009931537 subject "Electronic data processing Congresses.".
- 2009931537 subject "Information theory Congresses.".
- 2009931537 subject "Model Checking Kongress Kuala Lumpur <2009>".
- 2009931537 subject "Nebenläufigkeit Kongress Kuala Lumpur <2009>".
- 2009931537 subject "QA75.5 .I135 2009".
- 2009931537 subject "Softwareentwicklung Entwurfsmuster Formale Methode Kongress Kuala Lumpur <2009>".
- 2009931537 subject "Systementwicklung Formale Methode Kongress Kuala Lumpur <2009>".
- 2009931537 subject "Theoretische Informatik Kongress Kuala Lumpur <2009>".
- 2009931537 title "Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / Martin Leucker, Carroll Morgan (eds.).".
- 2009931537 type "text".