1.

図書
図書
1. An invitation to applied category theory : seven sketches in compositionality (: hbk. ; : pbk.)
Brendan Fong, David I. Spivak
出版情報: Cambridge : Cambridge University Press, c2019
所蔵情報: loading…
2.

図書
図書
2. Lambda calculus with types
Henk Barendregt, Wil Dekkers, Richard Statman
出版情報: New York : Association for Symbolic Logic , Cambridge : Cambridge University Press, 2013
シリーズ名: Perspectives in logic
所蔵情報: loading…
3.

図書
図書
3. Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 11-13, 2006, Charleston, South Carolina, USA
Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Algorithms and Computation Theory (SIGACT)
出版情報: New York, N.Y. : Association for Computing Machinery, c2006
所蔵情報: loading…
4.

図書
図書
4. Lectures on the Curry-Howard isomorphism
Morten Heine Sørensen, Paweł Urzyczyn
出版情報: Amsterdam : Elsevier, 2006
シリーズ名: Studies in logic and the foundations of mathematics ; v. 149
所蔵情報: loading…
5.

図書
図書
5. Proceedings : 21th Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…
6.

図書
図書
6. Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 12-14, 2005, Long Beach, California, USA
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2005
シリーズ名: SIGPLAN notices
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
8.

図書
図書
8. Digital signal and image processing (: cloth ; : WIE)
Tamal Bose ; with Francois Meyer contributing Chapter 10 and Mei-Qin Chen contributing the Appendix
出版情報: Hoboken, N.J. : J. Wiley, c2004
所蔵情報: loading…
9.

図書
図書
9. Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Venice, Italy, January 14-16, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2004
所蔵情報: loading…
10.

図書
図書
10. Reductive logic and proof-search : proof theory, semantics, and control (: hbk)
David J. Pym and Eike Ritter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2004
シリーズ名: Oxford logic guides ; 45
所蔵情報: loading…
11.

図書
図書
11. A modern perspective on type theory : from its origins until today
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
出版情報: Boston : Kluwer Academic, c2004
シリーズ名: Applied logic series ; v. 29
所蔵情報: loading…
12.

図書
図書
12. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
13.

図書
図書
13. Algorithms
Richard Johnsonbaugh, Marcus Schaefer
出版情報: Upper Saddle River, NJ : Pearson Education, 2003
所蔵情報: loading…
14.

図書
図書
14. Conference record of POPL 2003 : the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
15.

図書
図書
15. Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP '03), August 25-29, 2003, Uppsala, Sweden
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
16.

図書
図書
16. Logic for concurrency and synchronisation
edited by Ruy J.G.B. de Queiroz
出版情報: Dordrecht : Kluwer Academic, c2003
シリーズ名: Trends in logic : studia logica library ; v. 18
所蔵情報: loading…
17.

図書
図書
17. Proceedings of the fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '03), Uppsala, Sweden,August 27-29, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
18.

図書
図書
18. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings
Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2914
所蔵情報: loading…
19.

図書
図書
19. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
20.

図書
図書
20. Learning kernel classifiers : theory and algorithms (: hc)
Ralf Herbrich
出版情報: Cambridge, Mass. : MIT Press, c2002
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
21.

図書
図書
21. A new kind of science
Stephen Wolfram
出版情報: Champaign, IL : Wolfram Media, c2002
所蔵情報: loading…
22.

図書
図書
22. Foundations of object-oriented languages : types and semantics (: hc)
Kim B. Bruce
出版情報: Cambridge, Mass. ; London : MIT Press, c2002
所蔵情報: loading…
23.

図書
図書
23. Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, 16-18 January 2002
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002
所蔵情報: loading…
24.

図書
図書
24. OOPSLA 2002 : 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, conference proceedings, November 4-8, 2002, Washington State Convention and Trade Center, Seattle, Washington, USA
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : the Associaton for Computing Machinery, c2002
所蔵情報: loading…
25.

図書
図書
25. Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Paul Callaghan ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2277
所蔵情報: loading…
26.

図書
図書
26. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
27.

図書
図書
27. A topological aperitif
Stephen Huggett and David Jordan
出版情報: New York : Springer-Verlag, c2001 , London : Springer-Verlag, c2001
所蔵情報: loading…
28.

図書
図書
28. Analysis of algorithms : an active learning approach
Jeffrey J. McConnell
出版情報: Boston : Jones and Bartlett, c2001
所蔵情報: loading…
29.

図書
図書
29. Software reliability methods
Doron A. Peled ; foreword by Edmund M. Clarke
出版情報: New York : Springer, c2001
シリーズ名: Undergraduate texts in computer science
所蔵情報: loading…
30.

図書
図書
30. Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, The Royal Society, London, 17-19 January 2001
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2001
所蔵情報: loading…
31.

図書
図書
31. Your wish is my command : programming by example
edited by Henry Lieberman
出版情報: San Francisco : Morgan Kaufmann Publishers, c2001
シリーズ名: The Morgan Kaufmann series in interactive technologies
所蔵情報: loading…
32.

図書
図書
32. OOPSLA 2001, Tampa Bay : Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 14-18, 2001,Tampa Convention Center, Tampa bay, Florida, USA (: ACM)
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York : the Associaton for Computing Machinery, [2001]
シリーズ名: SIGPLAN notices ; v. 36, no. 11, Nov., 2001
所蔵情報: loading…
33.

図書
図書
33. Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Samson Abramsky (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c2001
シリーズ名: Lecture notes in computer science ; 2044
所蔵情報: loading…
34.

図書
図書
34. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Herbert Kuchen, Kazunori Ueda (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2024
所蔵情報: loading…
35.

図書
図書
35. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
36.

図書
図書
36. Multiple view geometry in computer vision
Richard Hartley, Andrew Zisserman
出版情報: Cambridge : Cambridge University Press, c2000
所蔵情報: loading…
37.

図書
図書
37. Foundations of component-based systems
edited by Gary T. Leavens, Murali Sitaraman
出版情報: Cambridge : Cambridge University Press, 2000
所蔵情報: loading…
38.

図書
図書
38. Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, 19-21 January 2000
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000
所蔵情報: loading…
39.

図書
図書
39. OOPSLA 2000 : conference proceedings : objects for the new millennium : Conference on Object-Oriented Programming, Systems, Languages, and Applications, Minneapolis Convention Center, Minneapolis, Minnesota, USA, October 15-19, 2000 (: AWL ; : ACM)
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: Reading : Mass. : Addison Wesley Longman , New York : the Associaton for Computing Machinery, c2000
シリーズ名: SIGPLAN notices ; v. 35, no. 10, Oct., 2000
所蔵情報: loading…
40.

図書
図書
40. Derivation and computation : taking the Curry-Howard correspondence seriously
Harold Simmons
出版情報: Cambridge ; New York : Cambridge University Press, 2000
シリーズ名: Cambridge tracts in theoretical computer science ; 51
所蔵情報: loading…
41.

図書
図書
41. A course in model theory : an introduction to contemporary mathematical logic
Bruno Poizat ; translated [from the French] by Moses Klein
出版情報: New York ; Tokyo : Springer, c2000
シリーズ名: Universitext
所蔵情報: loading…
42.

図書
図書
42. Logic in computer science : modelling and reasoning about systems (: hard ; : pbk)
Michael Huth, Mark Ryan
出版情報: Cambridge : Cambridge University Press, 2000
所蔵情報: loading…
43.

図書
図書
43. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: Foundations of computing
所蔵情報: loading…
44.

図書
図書
44. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Leo Bachmair (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1833
所蔵情報: loading…
45.

図書
図書
45. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: loading…
46.

図書
図書
46. Computational logic - CL 2000 : first International Conference, London, UK, July 24-28, 2000 : proceedings
John Lloyd ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1861 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書
図書
47. Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California (: case ; : pbk)
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000
所蔵情報: loading…
48.

図書
図書
48. 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…
49.

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

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

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

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

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

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

図書
図書
55. 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…
56.

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

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

図書
図書
58. 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…
59.

図書
図書
59. 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…
60.

図書
図書
60. 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…
61.

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

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

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

図書
図書
64. 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…
65.

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

図書
図書
66. 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…
67.

図書
図書
67. 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…
68.

図書
図書
68. 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…
69.

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

図書
図書
70. 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…
71.

図書
図書
71. 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…
72.

図書
図書
72. 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…
73.

図書
図書
73. 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…
74.

図書
図書
74. 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…
75.

図書
図書
75. 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…
76.

図書
図書
76. 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…
77.

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

図書
図書
78. 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…
79.

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

図書
図書
80. 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…
81.

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

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

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

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

図書
図書
85. 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…
86.

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

図書
図書
87. 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…
88.

図書
図書
88. 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…
89.

図書
図書
89. 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…
90.

図書
図書
90. 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…
91.

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

図書
図書
92. 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…
93.

図書
図書
93. 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…
94.

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

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

図書
図書
96. 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…
97.

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

図書
図書
98. OOPSLA '97, Conference proceedings : object technology, naturally : Conference on Object-Oriented Programming Systems, Languages, and Applications, October 5-9, 1997 - 12th annual conference (: Addison-Welsley ; : ACM)
[sponsored by] ACM's Special Interest Group on Programming Languages (ACM/SIGPLAN)
出版情報: Reading, Mass. : Addison-Wesley , New York : ACM Press, c1997
シリーズ名: SIGPLAN notices ; v. 32, no. 10
所蔵情報: loading…
99.

図書
図書
99. Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings (: pbk)
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: loading…
100.

図書
図書
100. Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…