Matches in Library of Congress for { <http://lccn.loc.gov/2010929188> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- 2010929188 alternative "CiE 2010".
- 2010929188 contributor B12090457.
- 2010929188 contributor B12090458.
- 2010929188 created "2010.".
- 2010929188 date "2010".
- 2010929188 date "2010.".
- 2010929188 dateCopyrighted "2010.".
- 2010929188 description "Includes bibliographical references and index.".
- 2010929188 extent "xvi, 450 p. :".
- 2010929188 identifier "3642139612 (pbk. : alk. paper)".
- 2010929188 identifier "9783642139611 (pbk. : alk. paper)".
- 2010929188 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2010929188 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues.".
- 2010929188 isPartOf "Lecture notes in computer science ; 6158. 0302-9743".
- 2010929188 isPartOf "Lecture notes in computer science, 0302-9743 ; 6158".
- 2010929188 issued "2010".
- 2010929188 issued "2010.".
- 2010929188 language "eng".
- 2010929188 publisher "Berlin ; New York : Springer,".
- 2010929188 subject "004.0151 22/ger".
- 2010929188 subject "Berechenbarkeit. swd".
- 2010929188 subject "Berechnungskomplexität. swd".
- 2010929188 subject "Beweistheorie. swd".
- 2010929188 subject "Computable functions Congresses.".
- 2010929188 subject "Computational complexity Congresses.".
- 2010929188 subject "Computer science Mathematics Congresses.".
- 2010929188 subject "Mathematische Logik. swd".
- 2010929188 subject "Prozessalgebra. swd".
- 2010929188 subject "QA9.59 .C67 2010".
- 2010929188 subject "Theoretische Informatik. swd".
- 2010929188 title "CiE 2010".
- 2010929188 title "Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / Fernando Ferreira ... [et al.] (eds.).".
- 2010929188 type "text".