Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany. (Lecture Notes in Computer Science ; 5635)

Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany.

(Lecture Notes in Computer Science ; 5635)

Call No. (NDL): M17-10-1586
Bibliographic ID of National Diet Library: 000010619859

Material type: 図書

Author: Ambos-Spies, K. (Klaus)ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xiv, 510 p. : ill. ; 24 cm.

NDC: -

Notes on use

Note (General)：: Papers.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642030727 (ISBN-13 : pbk.)
3642030726 (pbk.)
ISSN (series): 0302-9743
Title: Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany.
Series Title: Lecture Notes in Computer Science ; 5635
Title Heading: Lecture notes in computer science ; 5635.
Author Heading: Ambos-Spies, K. (Klaus)
Löwe, Benedikt.
Merkle, Wolfgang.
Conference on Computability in Europe (5th : 2009 : Heidelberg, Germany)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xiv, 510 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computable functions -- Congresses.
Computer science -- Mathematics -- Congresses.
Computational complexity -- Congresses.
Berechenbarkeit -- Kongress -- Heidelberg <2009>
DDC: 510n/a
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-1586
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010619859
http://id.ndl.go.jp/bib/000010619859
OCLC No.: 427321493
https://www.worldcat.org/oclc/427321493
Bibliographic Record Category (NDL): 215