Matches in Library of Congress for { <http://lccn.loc.gov/2012938642> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2012938642 alternative "FMOODS 2012.".
- 2012938642 contributor B12700501.
- 2012938642 contributor B12700502.
- 2012938642 contributor B12700503.
- 2012938642 created "2012.".
- 2012938642 date "2012".
- 2012938642 date "2012.".
- 2012938642 dateCopyrighted "2012.".
- 2012938642 description "Includes bibliographical references and author index.".
- 2012938642 extent "xii, 267 p. :".
- 2012938642 identifier "3642307922 (pbk. : alk. paper)".
- 2012938642 identifier "9783642307928 (pbk. : alk. paper)".
- 2012938642 identifier "9783642307935 (e-ISBN)".
- 2012938642 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2012938642 isPartOf "Lecture notes in computer science ; 7273.".
- 2012938642 isPartOf "Lecture notes in computer science, 0302-9743 ; 7273.".
- 2012938642 issued "2012".
- 2012938642 issued "2012.".
- 2012938642 language "eng".
- 2012938642 publisher "Heidelberg ; New York : Springer,".
- 2012938642 subject "004.01/51 23".
- 2012938642 subject "Electronic data processing Distributed processing Congresses.".
- 2012938642 subject "Formal methods (Computer science) Congresses.".
- 2012938642 subject "QA76.9.D5 I573 2012".
- 2012938642 title "FMOODS 2012.".
- 2012938642 title "Formal techniques for distributed systems : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / Holger Giese, Grigore Roşu (eds.).".
- 2012938642 type "text".