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.).

Portion of title CiE 2010
SeriesLecture notes in computer science, 0302-9743 ; 6158
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 6158. 0302-9743 ^A466336
LNCS sublibrary. SL 1, Theoretical computer science and general issues. ^A1368241
General noteInternational conference proceedings.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010929188
ISBN9783642139611 (pbk. : alk. paper)
ISBN3642139612 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available