1.

図書
図書
1. Advances in kernel methods : support vector learning
edited by Bernhard Schölkopf, Christopher J.C. Burges, Alexander J. Smola
出版情報: Cambridge, Mass. : MIT Press, c1999
所蔵情報: loading…
2.

図書
図書
2. Introduction to circuit complexity : a uniform approach
Heribert Vollmer
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
3.

図書
図書
3. Quantum computing (: pbk)
Jozef Gruska
出版情報: London : McGraw-Hill, c1999
シリーズ名: Advanced topics in computer science series
所蔵情報: loading…
4.

図書
図書
4. Fluid bed technology in materials processing
C.K. Gupta, D. Sathiyamoorthy
出版情報: Boca Raton : CRC Press, c1999
所蔵情報: loading…
5.

図書
図書
5. Type and effect systems : behaviours for concurrency
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
出版情報: London : Imperial College Press, c1999
所蔵情報: loading…
6.

図書
図書
6. Formal specification : techniques and applications
Nimal Nissanke
出版情報: London : Springer, c1999
所蔵情報: loading…
7.

図書
図書
7. Principles of program analysis
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
所蔵情報: loading…
8.

図書
図書
8. Conference record of POPL '99 : the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, 20-22 January 1999 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998
所蔵情報: loading…
9.

図書
図書
9. Logic programming : proceedings of the 1999 International Conference on Logic Programming
edited by Danny De Schreye
出版情報: Cambridge : MIT Press, c1999
シリーズ名: Logic programming
所蔵情報: loading…
10.

図書
図書
10. Concepts of programming languages. 4th ed
Robert W. Sebesta
出版情報: Reading, Mass. : Addison-Wesley, c1999
所蔵情報: loading…