Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2001

形態:

viii, 393 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2064 <BA00009279>

著者名:

ISBN:

9783540421979 [3540421971]

書誌ID:

BA52209940

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographies and index
主題:	Computable functions--Congresses; Computational complexity--Congresses; Computer complexity--Congresses; Computer science--Congresses; Mathematical analysis--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Computability and Complexity in Analysis Jens Blanck, Blanck, Jens, Brattka, Vasco, Hertling, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Proceedings, 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy (: pbk ; : case ; : microfiche) IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
2 電子ブック Handbook of Computability and Complexity in Analysis Brattka, Vasco, Hertling, Peter SpringerLink Books - AutoHoldings, Springer International Publishing	8 図書 Computational science and its applications - ICCSA 2006 : International Conference, Glasgow, UK, May 8-11, 2006 : proceedings (pt. 1 - pt. 5) ICCSA, Gavrilova, Marina Springer
3 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us) Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl) Springer-Verlag	9 図書 Computational science and its applications : ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004 : proceedings (pt. 1 - pt. 4) ICCSA, Laganà, Antonio Springer
4 図書 Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings Conference on Computability in Europe, Beckmann, Arnold, Berger, Ulrich, 1956-, Löwe, Benedikt, Tucker, John V. Springer	10 図書 Computational Science - ICCS 2002 : International Conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings (pt. 1 ; pt. 2 ; pt. 3) ICCS, Sloot, Peter, 1956-, Tan, C. J. Kenneth, Dongarra, J. J., Hoekstra, Alfons, 1963- Springer
5 図書 Computational science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings (pt. 1 - pt. 4) ICCS, Sloot, Peter, 1956-, Abramson, David, Bogdanov, Alexander V., Dongarra, J. J., Zomaya, Albert Y., Gorbachev, Yuriy … Springer	11 図書 Algorithms and complexity : 4th Italian Conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings Italian Conference on Algorithms and Complexity, Bongiovanni, Giancarlo, Gambosi, G. (Giorgio), 1955-, Petreschi, … Springer
6 図書 Computational science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004 : proceedings (pt. 1 - pt. 4) ICCS, Bubak, Marian, Albada, Geert Dick van, Sloot, Peter M.A., Dongarra, J. J. Springer	12 図書 Proceedings, Fourteenth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), May 4-6, 1999, Atlanta, … (: case ; : soft ; : microfiche) IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society

1

2

3

4

5

6

7

8

9

10

11

12