※一部利用できない機能があります
1.
図書 |
Brendan Fong, David I. Spivak
|
|||||||
2.
図書 |
Henk Barendregt, Wil Dekkers, Richard Statman
|
|||||||
3.
図書 |
Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Algorithms and Computation Theory (SIGACT)
|
|||||||
4.
図書 |
Morten Heine Sørensen, Paweł Urzyczyn
|
|||||||
5.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
|
|||||||
6.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
|||||||
7.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
|
|||||||
8.
図書 |
Tamal Bose ; with Francois Meyer contributing Chapter 10 and Mei-Qin Chen contributing the Appendix
|
|||||||
9.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
|||||||
10.
図書 |
David J. Pym and Eike Ritter
|
|||||||
11.
図書 |
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
|
|||||||
12.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
|
|||||||
13.
図書 |
Richard Johnsonbaugh, Marcus Schaefer
|
|||||||
14.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
|||||||
15.
図書 |
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
|
|||||||
16.
図書 |
edited by Ruy J.G.B. de Queiroz
|
|||||||
17.
図書 |
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
|
|||||||
18.
図書 |
Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.)
|
|||||||
19.
図書 |
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
|
|||||||
20.
図書 |
Ralf Herbrich
|
|||||||
21.
図書 |
Stephen Wolfram
|
|||||||
22.
図書 |
Kim B. Bruce
|
|||||||
23.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
|||||||
24.
図書 |
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
|||||||
25.
図書 |
Paul Callaghan ... [et al.] (eds.)
|
|||||||
26.
図書 |
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
|
|||||||
27.
図書 |
Stephen Huggett and David Jordan
|
|||||||
28.
図書 |
Jeffrey J. McConnell
|
|||||||
29.
図書 |
Doron A. Peled ; foreword by Edmund M. Clarke
|
|||||||
30.
図書 |
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
|||||||
31.
図書 |
edited by Henry Lieberman
|
|||||||
32.
図書 |
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
|||||||
33.
図書 |
Samson Abramsky (ed.)
|
|||||||
34.
図書 |
Herbert Kuchen, Kazunori Ueda (eds.)
|
|||||||
35.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
36.
図書 |
Richard Hartley, Andrew Zisserman
|
|||||||
37.
図書 |
edited by Gary T. Leavens, Murali Sitaraman
|
|||||||
38.
図書 |
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
|||||||
39.
図書 |
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
|||||||
40.
図書 |
Harold Simmons
|
|||||||
41.
図書 |
Bruno Poizat ; translated [from the French] by Moses Klein
|
|||||||
42.
図書 |
Michael Huth, Mark Ryan
|
|||||||
43.
図書 |
David Harel, Dexter Kozen, Jerzy Tiuryn
|
|||||||
44.
図書 |
Leo Bachmair (ed.)
|
|||||||
45.
図書 |
Jens Palsberg (ed.)
|
|||||||
46.
図書 |
John Lloyd ... [et al.] (eds.)
|
|||||||
47.
図書 |
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
|
|||||||
48.
図書 |
edited by Bernhard Schölkopf, Christopher J.C. Burges, Alexander J. Smola
|
|||||||
49.
図書 |
Heribert Vollmer
|
|||||||
50.
図書 |
Jozef Gruska
|
|||||||
51.
図書 |
C.K. Gupta, D. Sathiyamoorthy
|
|||||||
52.
図書 |
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
|
|||||||
53.
図書 |
Nimal Nissanke
|
|||||||
54.
図書 |
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
|
|||||||
55.
図書 |
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
|||||||
56.
図書 |
edited by Danny De Schreye
|
|||||||
57.
図書 |
Robert W. Sebesta
|
|||||||
58.
図書 |
edited by S. Barry Cooper, John K. Truss
|
|||||||
59.
図書 |
edited by S. Barry Cooper, John K. Truss
|
|||||||
60.
図書 |
Object-Oriented Programming Systems, Languages and Applications
|
|||||||
61.
図書 |
Peter J. Cameron
|
|||||||
62.
図書 |
Bart Jacobs
|
|||||||
63.
図書 |
Kosta Dosen
|
|||||||
64.
図書 |
Pierre Flener (ed.)
|
|||||||
65.
図書 |
edited by Ulrich Berger, Helmut Schwichtenberg
|
|||||||
66.
図書 |
eds. C.S. Calude, M.J. Dinneen
|
|||||||
67.
図書 |
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
|
|||||||
68.
図書 |
Jean-Yves Girard (ed.)
|
|||||||
69.
図書 |
edited by Edward R. Griffor
|
|||||||
70.
図書 |
Jouko Väänänen (ed.)
|
|||||||
71.
図書 |
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
|
|||||||
72.
図書 |
Paliath Narendran, Michael Rusinowitch (eds.)
|
|||||||
73.
図書 |
Stefan Jähnichen, (ed.)
|
|||||||
74.
図書 |
Aart Middeldorp, Taisuke Sato (eds.)
|
|||||||
75.
図書 |
Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
|
|||||||
76.
図書 |
David Robertson and Jaume Agustí
|
|||||||
77.
図書 |
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
|
|||||||
78.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
79.
図書 |
editors, Shun-ichi Amari, Nikola Kasabov
|
|||||||
80.
図書 |
A.N. Parshin, I.R. Shafarevich (eds.)
|
|||||||
81.
図書 |
Ken Arnold, James Gosling
|
|||||||
82.
図書 |
Andrew W. Appel
|
|||||||
83.
図書 |
Guy Cousineau, Michel Mauny
|
|||||||
84.
図書 |
John C. Reynolds
|
|||||||
85.
図書 |
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
|||||||
86.
図書 |
Melvin Fitting and Richard L. Mendelsohn
|
|||||||
87.
図書 |
sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages ACM/SIGPLAN
|
|||||||
88.
図書 |
Xavier Leroy, Atsushi Ohori (eds.)
|
|||||||
89.
図書 |
Eduardo Giménez, Christine Paulin-Mohring (eds.)
|
|||||||
90.
図書 |
Serge Demeyer, Jan Bosch (eds.)
|
|||||||
91.
図書 |
Franz Baader and Tobias Nipkow
|
|||||||
92.
図書 |
edited by Andrew D. Gordon and Andrew M. Pitts
|
|||||||
93.
図書 |
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]
|
|||||||
94.
図書 |
Steven Roman
|
|||||||
95.
図書 |
Marius van der Put, Michael F. Singer
|
|||||||
96.
図書 |
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
|
|||||||
97.
図書 |
David R. Hanson
|
|||||||
98.
図書 |
[sponsored by] ACM's Special Interest Group on Programming Languages (ACM/SIGPLAN)
|
|||||||
99.
図書 |
Hubert Comon (ed.)
|
|||||||
100.
図書 |
Dirk van Dalen, Marc Bezem (eds.)
|