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…