close
1.

電子ジャーナル

EJ
出版情報: ACM Digital Library , UNITED STATES : Association for Computing Machinery
所蔵情報: loading…
2.

電子ジャーナル

EJ
出版情報: ACM Digital Library , New York, NY : Association for Computing Machinery
所蔵情報: loading…
3.

電子ジャーナル

EJ
出版情報: ACM Digital Library , NETHERLANDS : Springer US
所蔵情報: loading…
4.

電子ジャーナル

EJ
出版情報: ACM Digital Library , [New York] : ACM
所蔵情報: loading…
5.

電子ジャーナル

EJ
出版情報: ACM Digital Library , New York, N.Y. : Association for Computing Machinery
所蔵情報: loading…
6.

電子ジャーナル

EJ
出版情報: ACM Digital Library , [New York, N.Y.] : Association for Computing Machinery
所蔵情報: loading…
7.

電子ジャーナル

EJ
出版情報: ACM Digital Library , [New York, N.Y., etc.] : Association for Computing Machinery, Special Interest Group on Computer Science Education.
所蔵情報: loading…
8.

電子ジャーナル

EJ
出版情報: ACM Digital Library , UNITED STATES : Association for Computing Machinery
所蔵情報: loading…
9.

電子ジャーナル

EJ
出版情報: ACM Digital Library , New York, N.Y. : ACM Special Interest Group on Computer Architecture
所蔵情報: loading…
10.

電子ブック

EB
John Harrison
出版情報: Cambridge University Press Online Books , Cambridge University Press, 2009
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
What is logical reasoning? / 1.1:
Calculemus! / 1.2:
Symbolism / 1.3:
Boole's algebra of logic / 1.4:
Syntax and semantics / 1.5:
Symbolic computation and OCaml / 1.6:
Parsing / 1.7:
Prettyprinting / 1.8:
Propositional logic / 2:
The syntax of propositional logic / 2.1:
The semantics of propositional logic / 2.2:
Validity, satisfiability and tautology / 2.3:
The De Morgan laws, adequacy and duality / 2.4:
Simplification and negation normal form / 2.5:
Disjunctive and conjunctive normal forms / 2.6:
Applications of propositional logic / 2.7:
Definitional CNF / 2.8:
The Davis-Putnam procedure / 2.9:
Stålmarck's method / 2.10:
Binary decision diagrams / 2.11:
Compactness / 2.12:
First-order logic / 3:
First-order logic and its implementation / 3.1:
Parsing and printing / 3.2:
The semantics of first-order logic / 3.3:
Syntax operations / 3.4:
Prenex normal form / 3.5:
Skolemization / 3.6:
Canonical models / 3.7:
Mechanizing Herbrand's theorem / 3.8:
Unification / 3.9:
Tableaux / 3.10:
Resolution / 3.11:
Subsumption and replacement / 3.12:
Refinements of resolution / 3.13:
Horn clauses and Prolog / 3.14:
Model elimination / 3.15:
More first-order metatheorems / 3.16:
Equality / 4:
Equality axioms / 4.1:
Categoricity and elementary equivalence / 4.2:
Equational logic and completeness theorems / 4.3:
Congruence closure / 4.4:
Rewriting / 4.5:
Termination orderings / 4.6:
Knuth-Bendix completion / 4.7:
Equality elimination / 4.8:
Paramodulation / 4.9:
Decidable problems / 5:
The decision problem / 5.1:
The AE fragment / 5.2:
Miniscoping and the monadic fragment / 5.3:
Syllogisms / 5.4:
The finite model property / 5.5:
Quantifier elimination / 5.6:
Presburger arithmetic / 5.7:
The complex numbers / 5.8:
The real numbers / 5.9:
Rings, ideals and word problems / 5.10:
Gröbner bases / 5.11:
Geometric theorem proving / 5.12:
Combining decision procedures / 5.13:
Interactive theorem proving / 6:
Human-oriented methods / 6.1:
Interactive provers and proof checkers / 6.2:
Proof systems for first-order logic / 6.3:
LCF implementation of first-order logic / 6.4:
Propositional derived rules / 6.5:
Proving tautologies by inference / 6.6:
First-order derived rules / 6.7:
First-order proof by inference / 6.8:
Interactive proof styles / 6.9:
Limitations / 7:
Hilbert's programme / 7.1:
Tarski's theorem on the undefinability of truth / 7.2:
Incompleteness of axion systems / 7.3:
Gödel's incompleteness theorem / 7.4:
Definability and decidability / 7.5:
Church's theorem / 7.6:
Further limitative results / 7.7:
Retrospective: the nature of logic / 7.8:
Mathematical background / Appendix 1:
OCaml made light of / Appendix 2:
Parsing and printing of formulas / Appendix 3:
References
Index
Preface
Introduction / 1:
What is logical reasoning? / 1.1:
11.

電子ブック

EB
Ronen Feldman, James Sanger
出版情報: Cambridge University Press Online Books , Cambridge University Press, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction to text mining / 1:
Core text mining operations / 2:
Text mining preprocessing techniques / 3:
Categorization / 4:
Clustering / 5:
Information extraction / 6:
Probabilistic models for Information extraction / 7:
Preprocessing applications using probabilistic and hybrid approaches / 8:
Presentation-layer considerations for browsing and query refinement / 9:
Visualization approaches / 10:
Link analysis / 11:
Text mining applications / 12:
Appendix
Bibliography
Introduction to text mining / 1:
Core text mining operations / 2:
Text mining preprocessing techniques / 3:
12.

電子ブック

EB
Gautam Shroff
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computing Platforms / Part I:
Enterprise computing: a retrospective / 1:
The internet as a platform / 2:
Software as a service and cloud computing / 3:
Enterprise architecture: role and evolution / 4:
Cloud Platforms / Part II:
Cloud computing platforms / 5:
Cloud computing economics / 6:
Cloud Technologies / Part III:
Web services, AJAX and mashups / 7:
Virtualization technology / 8:
Multi-tenant software / 9:
Cloud Development / Part IV:
Data in the cloud / 10:
MapReduce and extensions / 11:
Dev 2.0 platforms / 12:
Software Architecture / Part V:
Enterprise software: ERP, SCM, CRM / 13:
Custom enterprise applications and Dev 2.0 / 14:
Workflow and business processes / 15:
Enterprise analytics and search / 16:
Enterprise Cloud Computing / Part VI:
Enterprise cloud computing ecosystem / 17:
Roadmap for enterprise cloud computing / 18:
List of abbreviations
References
Index
Preface
Computing Platforms / Part I:
Enterprise computing: a retrospective / 1:
13.

電子ブック

EB
John Shawe-Taylor, Nello Cristianini
出版情報: Cambridge University Press Online Books , Cambridge : Cambridge University Press, 2004
所蔵情報: loading…
目次情報: 続きを見る
List of code fragments
Preface
Basic concepts / Part I:
Pattern analysis / 1:
Patterns in data / 1.1:
Pattern analysis algorithms / 1.2:
Exploiting patterns / 1.3:
Summary / 1.4:
Further reading and advanced topics / 1.5:
Kernel methods: an overview / 2:
The overall picture / 2.1:
Linear regression in a feature space / 2.2:
Other examples / 2.3:
The modularity of kernel methods / 2.4:
Roadmap of the book / 2.5:
Properties of kernels / 2.6:
Inner products and positive semi-definite matrices / 3.1:
Characterisation of kernels / 3.2:
The kernel matrix / 3.3:
Kernel construction / 3.4:
Detecting stable patterns / 3.5:
Concentration inequalities / 4.1:
Capacity and regularisation: Rademacher theory / 4.2:
Pattern stability for kernel-based classes / 4.3:
A pragmatic approach / 4.4:
Elementary algorithms in feature space / 4.5:
Means and distances / 5.1:
Computing projections: Gram-Schmidt, QR and Cholesky / 5.2:
Measuring the spread of the data / 5.3:
Fisher discriminant analysis I / 5.4:
Pattern analysis using eigen-decompositions / 5.5:
Singular value decomposition / 6.1:
Principal components analysis / 6.2:
Directions of maximum covariance / 6.3:
The generalised eigenvector problem / 6.4:
Canonical correlation analysis / 6.5:
Fisher discriminant analysis II / 6.6:
Methods for linear regression / 6.7:
Pattern analysis using convex optimisation / 6.8:
The smallest enclosing hypersphere / 7.1:
Support vector machines for classification / 7.2:
Support vector machines for regression / 7.3:
On-line classification and regression / 7.4:
Ranking, clustering and data visualisation / 7.5:
Discovering rank relations / 8.1:
Discovering cluster structure in a feature space / 8.2:
Data visualisation / 8.3:
Constructing kernels / 8.4:
Basic kernels and kernel types / 9:
Kernels in closed form / 9.1:
ANOVA kernels / 9.2:
Kernels from graphs / 9.3:
Diffusion kernels on graph nodes / 9.4:
Kernels on sets / 9.5:
Kernels on real numbers / 9.6:
Randomised kernels / 9.7:
Other kernel types / 9.8:
Kernels for text / 9.9:
From bag of words to semantic space / 10.1:
Vector space kernels / 10.2:
Kernels for structured data: strings, trees, etc. / 10.3:
Comparing strings and sequences / 11.1:
Spectrum kernels / 11.2:
All-subsequences kernels / 11.3:
Fixed length subsequences kernels / 11.4:
Gap-weighted subsequences kernels / 11.5:
Beyond dynamic programming: trie-based kernels / 11.6:
Kernels for structured data / 11.7:
Kernels from generative models / 11.8:
P-kernels / 12.1:
Fisher kernels / 12.2:
Proofs omitted from the main text / 12.3:
Notational conventions / Appendix B:
List of pattern analysis methods / Appendix C:
List of kernels / Appendix D:
References
Index
List of code fragments
Preface
Basic concepts / Part I:
14.

電子ブック

EB
Jeff Edmonds
出版情報: Cambridge University Press Online Books , Cambridge University Press, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Iterative Algorithms and Loop Invariants / Part 1:
Iterative Algorithms: Measures of Progress and Loop Invariants / 1:
A Paradigm Shift: A Sequence of Actions vs. a Sequence of Assertions / 1.1:
The Steps to Develop an Iterative Algorithm / 1.2:
More about the Steps / 1.3:
Different Types of Iterative Algorithms / 1.4:
Typical Errors / 1.5:
Exercises / 1.6:
Examples Using More-of-the-Input Loop Invariants / 2:
Coloring the Plane / 2.1:
Deterministic Finite Automaton / 2.2:
More of the Input vs. More of the Output / 2.3:
Abstract Data Types / 3:
Specifications and Hints at Implementations / 3.1:
Link List Implementation / 3.2:
Merging with a Queue / 3.3:
Parsing with a Stack / 3.4:
Narrowing the Search Space: Binary Search / 4:
Binary Search Trees / 4.1:
Magic Sevens / 4.2:
VLSI Chip Testing / 4.3:
Iterative Sorting Algorithms / 4.4:
Bucket Sort by Hand / 5.1:
Counting Sort (a Stable Sort) / 5.2:
Radix Sort / 5.3:
Radix Counting Sort / 5.4:
Euclid's GCD Algorithm / 6:
The Loop Invariant for Lower Bounds / 7:
Recursion / Part 2:
Abstractions, Techniques, and Theory / 8:
Thinking about Recursion / 8.1:
Looking Forward vs. Backward / 8.2:
With a Little Help from Your Friends / 8.3:
The Towers of Hanoi / 8.4:
Checklist for Recursive Algorithms / 8.5:
The Stack Frame / 8.6:
Proving Correctness with Strong Induction / 8.7:
Some Simple Examples of Recursive Algorithms / 9:
Sorting and Selecting Algorithms / 9.1:
Operations on Integers / 9.2:
Ackermann's Function / 9.3:
Recursion on Trees / 9.4:
Tree Traversals / 10.1:
Simple Examples / 10.2:
Generalizing the Problem Solved / 10.3:
Heap Sort and Priority Queues / 10.4:
Representing Expressions with Trees / 10.5:
Recursive Images / 11:
Drawing a Recursive Image from a Fixed Recursive and a Base Case Image / 11.1:
Randomly Generating a Maze / 11.2:
Parsing with Context-Free Grammars / 12:
Optimization Problems / Part 3:
Definition of Optimization Problems / 13:
Graph Search Algorithms / 14:
A Generic Search Algorithm / 14.1:
Breadth-First Search for Shortest Paths / 14.2:
Dijkstra's Shortest-Weighted-Path Algorithm / 14.3:
Depth-First Search / 14.4:
Recursive Depth-First Search / 14.5:
Linear Ordering of a Partial Order / 14.6:
Exercise / 14.7:
Network Flows and Linear Programming / 15:
A Hill-Climbing Algorithm with a Small Local Maximum / 15.1:
The Primal-Dual Hill-Climbing Method / 15.2:
The Steepest-Ascent Hill-Climbing Algorithm / 15.3:
Linear Programming / 15.4:
Greedy Algorithms / 15.5:
Examples of Greedy Algorithms / 16.1:
Example: The Job/Event Scheduling Problem / 16.2.1:
Example: The Interval Cover Problem / 16.2.2:
Example: The Minimum-Spanning-Tree Problem / 16.2.3:
Recursive Backtracking / 16.3:
Recursive Backtracking Algorithms / 17.1:
The Steps in Developing a Recursive Backtracking / 17.2:
Pruning Branches / 17.3:
Satisfiability / 17.4:
Dynamic Programming Algorithms / 17.5:
Start by Developing a Recursive Backtracking / 18.1:
The Steps in Developing a Dynamic Programming Algorithm / 18.2:
Subtle Points / 18.3:
The Question for the Little Bird / 18.3.1:
Subinstances and Subsolutions / 18.3.2:
The Set of Subinstances / 18.3.3:
Decreasing Time and Space / 18.3.4:
Counting the Number of Solutions / 18.3.5:
The New Code / 18.3.6:
Examples of Dynamic Programs / 19:
The Longest-Common-Subsequence Problem / 19.1:
Dynamic Programs as More-of-the-Input Iterative Loop Invariant Algorithms / 19.2:
A Greedy Dynamic Program: The Weighted Job/Event Scheduling Problem / 19.3:
The Solution Viewed as a Tree: Chains of Matrix Multiplications / 19.4:
Generalizing the Problem Solved: Best AVL Tree / 19.5:
All Pairs Using Matrix Multiplication / 19.6:
Designing Dynamic Programming Algorithms via Reductions / 19.7:
Reductions and NP-Completeness / 20:
Satisfiability Is at Least as Hard as Any Optimization Problem / 20.1:
Steps to Prove NP-Completeness / 20.2:
Example: 3-Coloring Is NP-Complete / 20.3:
An Algorithm for Bipartite Matching Using the Network Flow Algorithm / 20.4:
Randomized Algorithms / 21:
Using Randomness to Hide the Worst Cases / 21.1:
Solutions of Optimization Problems with a Random Structure / 21.2:
Appendix / Part 4:
Existential and Universal Quantifiers / 22:
Time Complexity / 23:
The Time (and Space) Complexity of an Algorithm / 23.1:
The Time Complexity of a Computational Problem / 23.2:
Logarithms and Exponentials / 24:
Asymptotic Growth / 25:
Steps to Classify a Function / 25.1:
More about Asymptotic Notation / 25.2:
Adding-Made-Easy Approximations / 26:
The Technique / 26.1:
Some Proofs for the Adding-Made-Easy Technique / 26.2:
Recurrence Relations / 27:
Some Proofs / 27.1:
A Formal Proof of Correctness / 28:
Exercise Solutions / Part 5:
Conclusion
Index
Preface
Introduction
Iterative Algorithms and Loop Invariants / Part 1:
15.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : IEEE Computer Society
所蔵情報: loading…
16.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : Institute of Electrical and Electronics Engineers
所蔵情報: loading…
17.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : IEEE Computer Society
所蔵情報: loading…
18.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : Institute of Electrical and Electronics Engineers
所蔵情報: loading…
19.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : Institute of Electrical and Electronics Engineers
所蔵情報: loading…
20.

電子ジャーナル

EJ
出版情報: IEEE Xplore Journals (IEL) , UNITED STATES : Institute of Electrical and Electronics Engineers
所蔵情報: loading…
21.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , ENGLAND : Pergamon
所蔵情報: loading…
22.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Oxford : Elsevier Advanced Technology
所蔵情報: loading…
23.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Kidlington, Oxford, UK : Elsevier Advanced Technology
所蔵情報: loading…
24.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Amsterdam : Elsevier
所蔵情報: loading…
25.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Amsterdam : North-Holland
所蔵情報: loading…
26.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Amsterdam : North-Holland
所蔵情報: loading…
27.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Lausanne, Switzerland : North-Holland
所蔵情報: loading…
28.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Amsterdam, : North-Holland
所蔵情報: loading…
29.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
30.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , New York : Pergamon
所蔵情報: loading…
31.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , NETHERLANDS : Elsevier Science
所蔵情報: loading…
32.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , London : Academic Press
所蔵情報: loading…
33.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Duluth, MN : Academic Press
所蔵情報: loading…
34.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
35.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , Oxford, UK : Elsevier
所蔵情報: loading…
36.

電子ジャーナル

EJ
出版情報: Elsevier SD Backfile Complete , [Michigan?] : Elsevier Science
所蔵情報: loading…
37.

電子ジャーナル

EJ
出版情報: Oxford University Press Journals Current , Oxford, England : Oxford University Press
所蔵情報: loading…
38.

電子ジャーナル

EJ
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Springer London
所蔵情報: loading…
39.

電子ジャーナル

EJ
出版情報: SpringerLink Journals - AutoHoldings , [Dordrecht] : Springer US
所蔵情報: loading…
40.

電子ジャーナル

EJ
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Springer US
所蔵情報: loading…
41.

電子ジャーナル

EJ
出版情報: SpringerLink Journals - AutoHoldings , JAPAN : Ohmsha
所蔵情報: loading…
42.

電子ジャーナル

EJ
出版情報: SpringerLink Journals - AutoHoldings , NETHERLANDS : Springer US
所蔵情報: loading…
43.

電子ジャーナル

EJ
出版情報: Miscellaneous Ejournals , JAPAN : Institute of Electronics, Information and Communication Engineers
所蔵情報: loading…
44.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Kidlington, Oxford, UK : Elsevier Advanced Technology
所蔵情報: loading…
45.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , ENGLAND : Pergamon
所蔵情報: loading…
46.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , [Michigan?] : Elsevier Science
所蔵情報: loading…
47.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , ENGLAND : Pergamon
所蔵情報: loading…
48.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Oxford : Elsevier Advanced Technology
所蔵情報: loading…
49.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Amsterdam : Elsevier
所蔵情報: loading…
50.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Amsterdam : North-Holland
所蔵情報: loading…
51.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Amsterdam : North-Holland
所蔵情報: loading…
52.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Lausanne, Switzerland : North-Holland
所蔵情報: loading…
53.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Amsterdam, : North-Holland
所蔵情報: loading…
54.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier Science
所蔵情報: loading…
55.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , London : Academic Press
所蔵情報: loading…
56.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Duluth, MN : Academic Press
所蔵情報: loading…
57.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
58.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , Oxford, UK : Elsevier
所蔵情報: loading…
59.

電子ジャーナル

EJ
出版情報: Elsevier SD , [Michigan?] : Elsevier Science
所蔵情報: loading…
60.

電子ジャーナル

EJ
出版情報: Elsevier SD , NETHERLANDS : Elsevier Science
所蔵情報: loading…
61.

電子ジャーナル

EJ
出版情報: Elsevier SD , ENGLAND : Pergamon
所蔵情報: loading…
62.

電子ジャーナル

EJ
出版情報: Elsevier SD , NETHERLANDS : Elsevier
所蔵情報: loading…
63.

電子ジャーナル

EJ
出版情報: Elsevier SD , London : Academic Press
所蔵情報: loading…
64.

電子ジャーナル

EJ
出版情報: Elsevier SD , NETHERLANDS : Elsevier
所蔵情報: loading…
65.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
66.

電子ジャーナル

EJ
出版情報: Elsevier ScienceDirect Journals Complete , New York : Pergamon
所蔵情報: loading…
67.

電子ジャーナル

EJ
出版情報: Elsevier SD , Oxford : Elsevier Advanced Technology
所蔵情報: loading…
68.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , Palo Alto, Calif. : Hewlett Packard Company
所蔵情報: loading…
69.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , San Francisco, USA : PC World Communications, Inc.
所蔵情報: loading…
70.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , New York, NY : Ziff Davis Media Inc.
所蔵情報: loading…
71.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , Boston, MA : WV Pub. Co.
所蔵情報: loading…
72.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , Weston, CT : Information Today, Inc.
所蔵情報: loading…
73.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , JAPAN : Ohmsha
所蔵情報: loading…
74.

電子ジャーナル

EJ
出版情報: Elsevier SD , Kidlington, Oxford, UK : Elsevier Advanced Technology
所蔵情報: loading…
75.

電子ジャーナル

EJ
出版情報: Elsevier SD , ENGLAND : Pergamon
所蔵情報: loading…
76.

電子ジャーナル

EJ
出版情報: EBSCOhost Academic Search Premier , [Farmingdale, NY] : Gernsback Publications
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼