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…
11.

図書
図書
11. Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 258
所蔵情報: loading…
12.

図書
図書
12. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…
13.

図書
図書
13. OOPSLA '99, conference proceedings : Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 1-5, 1999, Colorado Convention Center, Denver, Colorado USA (: pbk ; : ACM)
Object-Oriented Programming Systems, Languages and Applications
出版情報: Reading, Mass. : Addison Wesley Longman , New York, N.Y. : Association Computing Machinery, c1999
所蔵情報: loading…
14.

図書
図書
14. Sets, logic, and categories (: pbk)
Peter J. Cameron
出版情報: London ; Berlin ; Heidelberg : Springer, 1999
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
15.

図書
図書
15. Categorical logic and type theory
Bart Jacobs
出版情報: Amsterdam : Elsevier Science, 1999
シリーズ名: Studies in logic and the foundations of mathematics ; v. 141
所蔵情報: loading…
16.

図書
図書
16. Cut elimination in categories
Kosta Dosen
出版情報: Dordrecht ; Boston : Kluwer Academic, c1999
シリーズ名: Trends in logic : studia logica library ; v. 6
所蔵情報: loading…
17.

図書
図書
17. Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers
Pierre Flener (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1559
所蔵情報: loading…
18.

図書
図書
18. Computational logic
edited by Ulrich Berger, Helmut Schwichtenberg
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; v. 165
所蔵情報: loading…
19.

図書
図書
19. Combinatorics, computation & logic '99 : proceedings of DMTCS'99 and CATS'99 Auckland, New Zealand, 18-21 january 1999
eds. C.S. Calude, M.J. Dinneen
出版情報: Singapore ; Tokyo : Springer, c1999
シリーズ名: Australian computer science communications ; v. 21, no. 3
所蔵情報: loading…
20.

図書
図書
20. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
出版情報: Providence, R.I. : American Mathematical Society, c1999
シリーズ名: Contemporary mathematics ; v. 235
所蔵情報: loading…
21.

図書
図書
21. Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Jean-Yves Girard (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1581
所蔵情報: loading…
22.

図書
図書
22. Handbook of computability theory
edited by Edward R. Griffor
出版情報: Amsterdam : Elsevier, 1999
シリーズ名: Studies in logic and the foundations of mathematics ; v. 140
所蔵情報: loading…
23.

図書
図書
23. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Jouko Väänänen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1754
所蔵情報: loading…
24.

図書
図書
24. Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
25.

図書
図書
25. Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings
Paliath Narendran, Michael Rusinowitch (eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1631
所蔵情報: loading…
26.

図書
図書
26. Compiler construction : 8th international conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Stefan Jähnichen, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1575
所蔵情報: loading…
27.

図書
図書
27. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
28.

図書
図書
28. Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings
Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1584
所蔵情報: loading…
29.

図書
図書
29. Software blueprints : lightweight uses of logic in conceptual modelling
David Robertson and Jaume Agustí
出版情報: New York, N.Y. : ACM Press , Reading, MA : Addison-Wesley, 1999
所蔵情報: loading…
30.

図書
図書
30. Model checking
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
出版情報: Cambridge, Mass. : MIT Press, c1999
所蔵情報: loading…
31.

図書
図書
31. Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy (: case ; : soft)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999
所蔵情報: loading…
32.

図書
図書
32. Brain-like computing and intelligent information systems
editors, Shun-ichi Amari, Nikola Kasabov
出版情報: Singapore : Springer, c1998
所蔵情報: loading…
33.

図書
図書
33. Transcendental numbers (: gw)
A.N. Parshin, I.R. Shafarevich (eds.)
出版情報: Berlin : Springer-Verlag, c1998
シリーズ名: Encyclopaedia of mathematical sciences / editor-in-chief, R.V. Gamkrelidze ; v. 44 . Number theory ; 4
所蔵情報: loading…
34.

図書
図書
34. The Java programming language. 2nd ed
Ken Arnold, James Gosling
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1998
シリーズ名: The Java series
所蔵情報: loading…
35.

図書
図書
35. Modern compiler implementation in ML (: hdk.)
Andrew W. Appel
出版情報: Cambridge : Cambridge University Press, 1998
所蔵情報: loading…
36.

図書
図書
36. The functional approach to programming (: hbk ; : pbk)
Guy Cousineau, Michel Mauny
出版情報: Cambridge : Cambridge University Press, 1998
所蔵情報: loading…
37.

図書
図書
37. Theories of programming languages
John C. Reynolds
出版情報: Cambridge ; New York : Cambridge University Press, 1998
所蔵情報: loading…
38.

図書
図書
38. Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 19-21 January 1998 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998
所蔵情報: loading…
39.

図書
図書
39. First-order modal logic
Melvin Fitting and Richard L. Mendelsohn
出版情報: Dordrecht ; Boston : Kluwer Academic, c1998
シリーズ名: Synthese library ; v. 277
所蔵情報: loading…
40.

図書
図書
40. OOPSLA '98 : Conference proceedings : Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, October 18-22, 1998 (pbk : alk. paper : ACM ; Addison-Wesley)
sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages ACM/SIGPLAN
出版情報: New York : N.Y. : the Associaton for Computing Machinery, Inc., c1998 , Reading : Mass. : Addison-Wesley Publishing Company
シリーズ名: SIGPLAN notices ; v. 33, no. 10, Oct. 1998
所蔵情報: loading…
41.

図書
図書
41. Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings
Xavier Leroy, Atsushi Ohori (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1473
所蔵情報: loading…
42.

図書
図書
42. Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
Eduardo Giménez, Christine Paulin-Mohring (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1512
所蔵情報: loading…
43.

図書
図書
43. Object-oriented technology : ECOOP'98 workshop reader : ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998 : proceedings
Serge Demeyer, Jan Bosch (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1543
所蔵情報: loading…
44.

図書
図書
44. Term rewriting and all that
Franz Baader and Tobias Nipkow
出版情報: Cambridge : Cambridge University Press, 1998
所蔵情報: loading…
45.

図書
図書
45. Higher order operational techniques in semantics
edited by Andrew D. Gordon and Andrew M. Pitts
出版情報: New York : Cambridge University Press, c1998
シリーズ名: Publications of the Newton Institute ; 12
所蔵情報: loading…
46.

図書
図書
46. Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana (: softbound ; : casebound)
organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from College of Arts and Sciences, Indiana University, Bloomington ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998
所蔵情報: loading…
47.

図書
図書
47. Introduction to coding and information theory (: hbk)
Steven Roman
出版情報: New York ; Tokyo : Springer, c1997
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
48.

図書
図書
48. Galois theory of difference equations
Marius van der Put, Michael F. Singer
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in mathematics ; 1666
所蔵情報: loading…
49.

図書
図書
49. Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Paris, France, 15-17 January 1997 (ACM)
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1997
所蔵情報: loading…
50.

図書
図書
50. C interfaces and implementations : techniques for creating reusable software (: pbk)
David R. Hanson
出版情報: Reading, Mass. : Addison-Wesley, c1997
シリーズ名: Addison-Wesley professional computing series
所蔵情報: loading…