close
1.

図書
図書
1. SPAA 2000 : Twelfth annual ACM symposium on parallel algorithms and architectures, July 9-12, 2000, Bar Harbor, Maine
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2000  vii, 224 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002  xvi, 813 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy (: pbk ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  x, 279 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Ron Book Prize for Best Student Paper
Time-Space Tradeoff Lower Bounds for Non-Uniform Computation / P. Beame
Time-Space Tradeoffs for Nondeterministic Computation / L. Fortnow ; D. van Melkebeek
A Lower Bound for the Shortest Path Problem / K. Mulmuley ; P. Shah
Time-Space Lower Bounds for SAT on Uniform and Non-Uniform Machines / I. Tourlakis
BP (f) = O (L (f)[superscript 1+varepsilon]) / O. Giel
The Communication Complexity of Enumeration, Elimination, and Selection / A. Ambainis ; H. Buhrman ; W. Gasarch ; B. Kalyanasundaram ; L. Torenvliet
The Query Complexity of Order-Finding / R. Cleve
On the Complexity of Some Problems on Groups Input as Multiplication Tables / D. Barrington ; P. Kadau ; K-J. Lange ; P. McKenzie
The Complexity of Tensor Calculus / C. Damm ; M. Holzer
The Complexity of Verifying the Characteristic Polynomial and Testing Similarity / T. Hoang ; T. Thierauf
A Dual Version of Reimer's Inequality and a Proof of Rudich's Conjecture / J. Kahn ; M. Saks ; C. Smyth
Computational Complexity and Phase Transitions / G. Istrate
An Application of Matroid Theory to the SAT Problem / O. Kullmann
New Bounds for the Language Compression Problem / S. Laplante ; P. Miltersen
Combinatorial Interpretation of Kolmogorov Complexity / A. Romashchenko ; A. Shen ; N. Vereshchagin
Independent Minimum Length Programs to Translate between Given Strings / N. Vereschagin ; M. Vyugin
A Survey of Optimal PCP Characterizations of NP / L. Trevisan
Easiness Assumptions and Hardness Tests: Trading Time for Zero Error / V. Kabanets
Dimension in Complexity Classes / J. Lutz
Average Case Complexity of Unbounded Fanin Circuits / A. Jakoby ; R. Reischuk
On the Hardness of 4-Coloring a 3-Colorable Graph / V. Guruswami ; S. Khanna
Deciding the K-Dimension is PSPACE-Complete / M. Schaefer
Integer Circuit Evaluation is PSPACE-Complete / K. Yang
A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition / P. Duris ; J. Hromkovic ; K. Inoue
On the Complexity of Intersecting Finite State Automata / G. Karakostas ; R. Lipton ; A. Viglas
On the Complexity of the Monotonicity Verification / A. Voronenko
What Complexity and Cryptography Can Teach Each Other / R. Impagliazzo
Quantum Kolmogorov Complexity / A. Berthiaume ; W. van Dam
On the Complexity of Quantum ACC / F. Green ; S. Homer ; C. Pollett
Three Approaches to the Quantitative Definition of Information in an Individual Pure Quantum State / P. Vitanyi
Characterization of Non-Deterministic Quantum Query and Quantum Communication Complexity / R. de Wolf
Author Index
Preface
Committees
Ron Book Prize for Best Student Paper
4.

図書
図書
4. SPAA 2003 : fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego. California, USA
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS(European Association for Theoretical Computer Science)
出版情報: New York : Association for Computing Machinery, c2003  x, 366 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. SPAA 2002 : Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2002  viii, 294 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. RECOMB 2002 : proceedings of the sixth Annual International Conference on Computational Biology, April 18-21, 2002, Washington, DC, USA
Gene Myers ... [et al.], editors ; sponsored by Association for Computing Machinery, SIGACT ; with support from Celera ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  viii, 331 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. RECOMB 2003 : proceedings of the seventh Annual International Conference on Research in Computational Molecular Biology, April 10-13, 2003, Berlin, Germany
editors, Webb Miller ... [et al.] ; under the patronage of Edelgard Bulmahn ; sponsored by Association for Computing Machinery & SIGACT ; with support from the German Federal Ministry for Education and Research ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  x, 341 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the ACM Workshop on XML Security 2002 (in conjuction with 9th ACM Conference on Computer and Communications Secutiry), Fairfax, VA, USA, November 22, 2002
sponsored by ACM SIGACT
出版情報: New York : Association for Computing Machinery, c2003  vi, 106 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. Proceedings of the ACM Workshop onPrivacy in the Electronic Society, November 21, 2002, Washington, DC, USA (in conjuction with 9th ACM Conference on Computer and Communications Secutiry)
sponsored by ACM SIGACT ; edited by Sabrina Da Capitani di Vimercati and Pierangela Samarati
出版情報: New York : Association for Computing Machinery, c2003  vi, 110 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. POMC '02 : proceedings of the second ACM International Workshop on Principles of Mobile Computing, October 30-31, 2002, Toulouse, France : in conjunction with the International Symposium on Distributed Computing (DISC 2002) and the fourth European Dependable Computing Conference (EDCC-4)
sponsored by ACM SIGACT
出版情報: New York : Association for Computing Machinery, c2002  vi, 106 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼