close
1.

図書

図書
S. Ramesh, G. Sivakumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  xi, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1346
所蔵情報: loading…
2.

図書

図書
Giuseppe DiBattista (ed.)
出版情報: Berlin : Springer Verlag, c1997  xii, 448 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1353
所蔵情報: loading…
目次情報: 続きを見る
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
three dimensional representations
orthogonal representations
clustering and labeling problems
packing problems
general methodologies
systems and applications
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
3.

図書

図書
André Danthine, Christophe Diot, eds
出版情報: Berlin ; New York : Springer, c1997  xii, 180 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1356
所蔵情報: loading…
4.

図書

図書
Roland Chin, Ting-Chuen Pong (eds.)
出版情報: Berlin ; New York : Springer, c1997  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1351-1352
所蔵情報: loading…
目次情報: 続きを見る
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
The papers are organized in topical sections on biometry
physics-based vision
color vision
robot vision and navigation
OCR and applications
low-level processing
active vision
face and hand posture recognition
segmentation and grouping
computer vision and virtual reality
motion analysis and object recognition and modeling
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
5.

図書

図書
Olaf Burkart
出版情報: Berlin : Springer, c1997  x, 163 p.; 24 cm
シリーズ名: Lecture notes in computer science ; 1354
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Sequential Processes / 1.1:
Model Checking / 1.2:
Equivalence Checking / 1.3:
Organisation of This Book / 1.4:
Background / 2:
Fixpoint Theory / 2.1:
Ordered Sets / 2.2.1:
Fixpoint Theorems / 2.2.2:
Relations and Rewrite Systems / 2.3:
Relations / 2.3.1:
Rewrite Systems / 2.3.2:
Context-Free Languages / 2.4:
Processes and Labelled Transition Graphs / 2.5:
Behavioural Equivalences / 2.5.1:
Normedness and Determinism / 2.5.2:
Context-Free Processes / 2.6:
Syntax and Semantics / 2.6.1:
Normedness / 2.6.2:
Self-bisimulations / 2.6.3:
Pushdown Processes / 3:
Expressiveness / 3.1:
PDPA Laws / 3.4:
Pushdown Normal Form / 3.5:
Parallel Composition / 3.6:
Example / 3.6.1:
Parallel Decomposition and 2-PDNF / 3.7:
Related work / 3.8:
Context-Free Graphs / 3.8.1:
Prefix Transition Graphs / 3.8.2:
Pushdown Transition Graphs / 3.8.3:
Equational graphs / 3.8.4:
MSOL Definable Hypergraphs / 3.8.5:
BPA with the state operator / 3.8.6:
The Modal µ-Calculus / 4:
Syntax / 4.2.1:
Semantics / 4.2.2:
Continuity / 4.2.3:
Alternation Depth / 4.2.4:
Assertion-Based Semantics / 4.3:
A Motivating Example / 4.3.1:
Definition of Assertion-Based Semantics / 4.3.2:
Properties of Assertion-Based Semantics / 4.3.3:
Verifying Behavioural Properties / 4.4:
Hierarchical Equational µ-Formulas / 4.4.1:
The Model Checking Algorithm / 4.4.2:
A Working Example / 4.4.3:
Expressiveness of the modal µ-calculus / 4.5:
The Bisimulation Equivalence Problem / 5:
Separability / 5.3:
Deciding Bisimilarity of Normed BPA / 5.4:
A Bound for Separability / 5.5:
The Algorithm / 5.6:
Bisimulation Bases / 5.6.1:
The Computation of an Initial Base / 5.6.2:
The Branching Algorithm / 5.6.3:
Summary of the Decision Procedure / 5.6.4:
Summary and Perspectives / 6:
Summary of the Main Results / 6.1:
Perspectives / 6.2:
Regularity of Context-Free Processes / 6.2.1:
Index
Introduction / 1:
Sequential Processes / 1.1:
Model Checking / 1.2:
6.

図書

図書
Yuri Okunev
出版情報: Boston : Artech House, c1997  xx, 360 p. ; 24 cm
シリーズ名: The Artech House signal processing library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Principles of Digital Transmission by Phase-Modulated Signals / Chapter 1:
Digital Transmission System and Modem Functions / 1.1:
Phase and Phase-Difference Modulation / 1.2:
Classification of Methods of Phase-Modulated Signal Receiving / 1.3:
First-Order and Second-Order Phase-Difference Modulation and Invariance Properties / 1.4:
Multiposition Phase-Modulated Signals / 1.5:
Signal-Code Structures Based on Phase-Modulated Signals / 1.6:
References
General Algorithms for PDM Signal Formation and Processing / Chapter 2:
Invariance Property of Signal Discrete-Difference Transformation / 2.1:
General Algorithms for Signal Formation and Processing at a High-Order Difference Modulation / 2.2:
High-Order Phase-Difference Modulation / 2.3:
Optimum Keying Codes for Multiphase PM and PDM Signals / 2.4:
General Algorithms of Demodulation and Decoding of Multiphase PDM Signals / 2.5:
Coherent Processing of PM and PDM Signals / Chapter 3:
Essence and Application of Coherent Processing / 3.1:
Coherent Demodulators of PM Signals / 3.2:
Coherent Demodulators of First-Order PDM Signals / 3.3:
Coherent Reception of High-Order PDM Signals / 3.4:
Coherent Reception of Amplitude-Phase-Modulated Signals / 3.5:
Methods and Units for Selecting Coherent Reference Oscillations (Carrier Recovery Techniques) / 3.6:
Optimum Incoherent Processing of PDM Signals / Chapter 4:
Essence and Application of Incoherent Signal Processing / 4.1:
Optimum Incoherent Reception of First-Order PDM Signals / 4.2:
Modifications of the Optimum Incoherent Demodulators of First-Order PDM Signals / 4.3:
Optimum Incoherent Reception of Second-Order PDM Signals / 4.4:
Optimum Multisymbol Incoherent Reception of PDM Signals / 4.5:
Autocorrelated Processing of PDM Signals / Chapter 5:
Essence and Application of Autocorrelated Signal Processing / 5.1:
Optimum Autocorrelated (Energy) Demodulators of First-Order PDM Signals / 5.2:
Optimum Autocorrelated (Energy) Demodulators of Second-Order PDM Signals / 5.3:
Carrier-Frequency-Invariant Autocorrelated Demodulators of PDM Signals / 5.4:
Autocorrelated Reception of PDM Signals at Fast Variations of a Carrier Frequency / 5.5:
Noise Immunity of Phase and Phase-Difference Modulation Systems / Chapter 6:
Noise Immunity Performance / 6.1:
Foundations of Noise Immunity Theory: Binary PM and PDM Systems / 6.2:
Four-Phase PM and PDM Systems / 6.3:
Multiphase PM and PDM Systems / 6.6:
Carrier-Frequency-Invariant Demodulators of Second-Order PDM Signals / 6.7:
Quasicoherent Reception of Phase and Phase-Difference Modulation Signals / 6.8:
Conclusion
Hilbert Transform / Appendix:
List of Abbreviations and Symbols
Bibliography
About the Author
Index
Preface
Introduction
Principles of Digital Transmission by Phase-Modulated Signals / Chapter 1:
7.

図書

図書
Dennis A. Foster
出版情報: Cambridge ; New York : Cambridge University Press, 1997  viii, 180 p. ; 24 cm
シリーズ名: Cambridge studies in American literature and culture ; 112
所蔵情報: loading…
目次情報: 続きを見る
Introduction: the problem with pleasure / 1:
The sublime community / 2:
Re-Poe Man: Poe's un-American sublime / 3:
Too resurgent: liquidity and consumption in Henry James / 4:
Alphabetic pleasures: The Names / 5:
J. G. Ballard's empire of the senses: perversion and the failure of authority / 6:
Fatal West: W. S. Burrough's perverse destiny / 7:
Conclusion: agency in the perverse / 8:
Notes
Bibliography
Index
Introduction: the problem with pleasure / 1:
The sublime community / 2:
Re-Poe Man: Poe's un-American sublime / 3:
8.

図書

図書
William R. LaCourse
出版情報: New York : J. Wiley, 1997  xvii, 324 p. ; 24 cm
シリーズ名: Techniques in analytical chemistry series
所蔵情報: loading…
目次情報: 続きを見る
Historical Perspective
Electrochemical Fundamentals
Amperometric Detection in HPLC
Pulsed Amperometric Detection in HPLC
Integrated Pulsed Amperometric Detection and Other Advanced Potential-Time Waveforms
Pulsed Voltammetry: Waveform Optimization
Applications of PED
Instrumental Considerations
Future Aspects of PED
Appendices
Index
Historical Perspective
Electrochemical Fundamentals
Amperometric Detection in HPLC
9.

図書

図書
Torsten Schaub
出版情報: Berlin ; New York : Springer, c1997  xi, 159 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Ingram Bloch
出版情報: New York : Plenum Press, c1997  x, 317 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Undamped and Undriven Oscillators and LC Circuits
The Effect of Damping
Sinusoidally Driven Oscillators and Circuit Loops
Sums of Sinusoidal Forces or EMF's - Fourier Analysis
Integration in the Complex Plane
Evaluation of Certain Fourier Integrals - Causality, Green's Functions
Electrical Networks
Nonlinear Oscillations
Coupled Oscillators without Damping - Lagrange's Equations
Matrices - Rotations - Eigenvalues and Eigenvectors - Normal Coordinates
Some Examples of Normal Coordinates
Finite One-Dimensional Periodic Systems
Difference Equations
Infinite One-Dimensional Periodic Systems - Characteristic Impedance
Continuous Systems
Wave Equation
Lagrangian Density
Hamilton's Principle
Applied Forces
Interacting Systems
Other Linear Problems
Nonlinear Waves
Answers to Selected Problems
Index
Undamped and Undriven Oscillators and LC Circuits
The Effect of Damping
Sinusoidally Driven Oscillators and Circuit Loops
11.

図書

図書
Don DeLillo
出版情報: New York, NY : Scribner, c1997  827 p. ; 25 cm
所蔵情報: loading…
12.

図書

図書
David Corne, Jonathan L. Shapiro, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  x, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1305
所蔵情報: loading…
13.

図書

図書
Charles Nicholas, James Mayfield (eds.)
出版情報: Berlin : Springer, c1997  xiv, 182 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1326
所蔵情報: loading…
14.

図書

図書
Yongfei Han, Tatsuaki Okamoto, Sihan Qing, (eds.)
出版情報: Berlin : Springer, c1997  x, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1334
所蔵情報: loading…
15.

図書

図書
Marian Bubak, Jack Dongarra, Jerzy Waśniewski, (eds.)
出版情報: Berlin : Springer, c1997  xv, 518 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1332
所蔵情報: loading…
16.

図書

図書
David W. Embley, Robert C. Goldstein (eds.)
出版情報: Berlin : Springer, c1997  xv, 477 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1331
所蔵情報: loading…
目次情報: 続きを見る
The 32 revised full papers presented in the book were carefully selected from a total of 93 submissions
Also included are two full invited papers
The volume is divided in topical sections on automated design
Temporal modeling, languages, activity modeling, applied modeling, object-oriented modeling
Theoretical issues in modeling, experience and applications, distributed systems, integration, and tools
The 32 revised full papers presented in the book were carefully selected from a total of 93 submissions
Also included are two full invited papers
The volume is divided in topical sections on automated design
17.

図書

図書
Gert Smolka (ed.)
出版情報: Berlin : Springer, c1997  xii, 561 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1330
所蔵情報: loading…
18.

図書

図書
David M. Anderson with an introduction by B. Joseph Pine II
出版情報: Chicago : Irwin Professional Pub., c1997  xvii, 293 p. ; 24 cm
所蔵情報: loading…
19.

図書

図書
David K. Ferry and Stephen M. Goodnick
出版情報: Cambridge, U.K. ; New York : Cambridge University Press, 1997  xi, 512 p. ; 26 cm
シリーズ名: Cambridge studies in semiconductor physics and microelectronic engineering ; 6
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Quantum confined systems / 2:
Transmission in nanostructures / 3:
Quantum dots and single electron phenomena / 4:
Interference in diffusive transport / 5:
Temperature decay of fluctuations / 6:
Non-equilibrium transport and nanodevices / 7:
Introduction / 1:
Quantum confined systems / 2:
Transmission in nanostructures / 3:
20.

図書

図書
edited by E. Kaldis, E. Liarokapis and K.A. Müller
出版情報: Dordrecht, Netherlands : Kluwer Academic, c1997  xii, 580 p. ; 25 cm
シリーズ名: NATO ASI series ; Series E, Applied sciences ; no. 343
所蔵情報: loading…
目次情報: 続きを見る
Foreword
About this ASI / E. Kaldis ; E. Liarokapis
Preface
10 years HTc
Introduction / 1.:
The discovery of HTc superconductivity and its decisive circumstances / J.G. Bednorz
General Aspects / 2.:
"s" and "d" wave symmetry components in high-temperature cuprate superconductors / K.A. Muller ; H. Keller
Theory aspects of high-temperature superconductivity / R. Micnas ; S. Robaszkiewicz
New Materials and Structures / 3.:
Novel two-dimensional perovskites / K.H. Wachtmann ; R. Broom ; D. Ariosa
Mechanisms generating layered cuprates and oxycarbonates: Classification / B. Raveau
Mercurocuprates: The highest transition temperature superconductors / P. Edwards ; G. B. Peacock ; J.B. Hodges ; A. Asab ; I. Gameson
High pressure crystal growth and properties of HgBa[subscript 2]Ca[subscript n-1]Cu[subscript n]O[subscript 2n+2+delta], Sr[subscript 1-x]CuO[subscript 2], CaCuO[subscript 2], Y[subscript 2]Ba[subscript 4]Cu[subscript 6+n]O[subscript 14+n] / J. Karpinski ; H. Schwer ; K. Conder ; R. Molinski ; G.I. Meijer ; E.M. Kopnin ; C. Rossel ; D. Zech ; J. Hoffer ; A. Wisniewski ; M. Baran
Non toxic HTSC materials. Substitution in the charge reservoir layer: "Cupro/carbonate" cuprates and related materials / M.A. Alario-Franco ; C. Chaillout ; J.-J. Capponi
Noncuprate layered perovskite superconductor / Y. Maeno ; S. Ikeda
Phase Separation, Electronic Inhomogeneities, and Related Problems / 4.:
General aspects / 4.1:
The two-component paradigm for superconductivity in the cuprates / D. Mihailovic
Charge reservoirs, phase separation and optical excitations in the two-component picture
The La-cuprate system / 4.2:
Structural phase transitions and superconductivity in lanthanum copper oxides / M.K. Crawford ; R.L. Harlow ; E.M. McCarron ; S.W. Tozer ; Q. Huang ; D.E. Cox ; Q. Zhu
Magnetic properties of single layer cuprates / D.C. Johnston ; F. Borsa ; P. Carretta ; J.H. Cho ; F.C. Chou ; M. Corti ; R.J. Gooding ; E. Lai ; A. Lascialfari ; L.L. Miller ; N.M. Salem ; B.J. Sue ; D.R. Torgeson ; D. Vaknin ; K.J. Vos ; J.L. Zarestky
Structural Phase transitions and incommensurate spin fluctuations in the La[subscript 2]CuO[subscript 4+y] system / B.O. Wells ; Y.S. Lee ; M.A. Kastner ; R.J. Christianson ; R.J. Birgeneau ; K. Yamada ; Y. Endoh ; G. Shirane
Phase separation and stripe-like modulation observation in Cu-doped La[subscript 2]CuO[subscript 4+delta] system / Z.X. Zhao ; X.L. Dong ; B.R. Zhao ; L. Li ; L.H. Zhao
The Bi-cuprate system / 4.3:
From a Homogeneous CuO[subscript 2] Plane to a Superlattice of Quantum Stripes / A. Bianconi
Lattice effect and d-electron delocalization effect around Tc in Bi-based high-Tc superconductors / Y. Li ; G.H. Cao ; R.Z. Ma
The Y-cuprate system and related compounds / 4.4:
Lattice instabilities, structural anomalies and phase transitions in Y[subscript 1-y]Ca[subscript y]Ba[subscript 2]Cu[subscript 3]O[subscript x] phases
Raman Scattering in the YBCO Compounds
Local structure studies of the underdoped transition in YBa[subscript 2]Cu[subscript 3]O[subscript x] / J. Rohler
Neutron spectroscopy of rare earths in superconducting materials / W. Haengeler ; J. Mesot ; U. Gasser ; P. Allenspach ; A. Furrer
Tm NMR and Cu NMR studies of phase separation in TmBaCuO compounds / M.A. Teplov ; O.N. Bakharev ; A.V. Dooglav ; A.V. Egorov ; E.V. Krjukov ; I.R. Mukhamedshin ; Yu.A. Sakhratov ; H.B. Brom ; J. Witteveen
Applications / 5.0:
Applications of high-T[subscript c] superconductors / H. Rietchel
Subject and Formula Index / 6.0:
Foreword
About this ASI / E. Kaldis ; E. Liarokapis
Preface
21.

図書

図書
edited by Lydia L. Sohn, Leo P. Kouwenhoven and Gerd Schön
出版情報: Dordrecht, Netherlands : Kluwer Academic Publishers, c1997  x, 677 p. ; 25 cm
シリーズ名: NATO ASI series ; Series E . Applied sciences ; no. 345
所蔵情報: loading…
目次情報: 続きを見る
Preface / L.P. Kouwenhoven ; G. Schon ; L.L. Sohn
Introduction to Mesoscopic Electron Transport
Geometric Phases in Mesoscopic Systems - from the Aharonov-Bohm Effect to Berry Phases / A. Stern
Delocalization, Inelastic Scattering and Transport Due to Interactions / Y. Imry
Electron Transport in Quantum Dots / C.M. Markus ; P.L. McEuen ; S. Tarucha ; R.M. Westervelt ; N.S. Wingreen
Magnetotunneling Spectroscopy: Studying Self-Organized Quantum Dots and Quantum Chaology / L. Eaves
Shot Noise in Mesoscopic Systems / M.J.M. de Jong ; C.W.J. Bennakker
Admittance and Nonlinear Transport in Quantum Wires, Point Contacts, and Resonant Tunneling Barriers / M. Buttiker ; T. Christen
Transport Theory of Interacting Quantum Dots / H. Schoeller
Transport in a One-Dimensional Luttinger Liquid / M.P.A. Fisher ; L.I. Glazman
The Proximity Effect in Mesoscopic Diffusive Conductors / D. Esteve ; H. Pothier ; S. Gueron ; N.O. Birge ; M. H. Devoret
Mesoscopic Effects in Superconductivity / R. Fazio
Ultrasmall Superconductors / D.C. Ralph ; C.T. Black ; J.M. Hergenrother ; J.G. Lu ; M. Tinkham
The Superconducting Proximity Effect in Semiconductor-Superconductor Systems: Ballistic Transport, Low Dimensionality and Sample Specific Properties / B.J. van Wees ; H. Takayanagi
Scanning Probe Microscopes and Their Applications / C. T. Black ; M. Eriksson ; M. Crommie ; H. Hess
Quantum Point Contacts Between Metals / J.M. van Ruitenbeek
Conductance Quantization in Metallic Nanowires / N. Garcia ; J.L. Kosta-Kramer ; A. Gil ; M.I. Marques ; A. Correia
Quantum Optics / Y. Yamamoto
Topics in Quantum Computers / D.P. DiVincenzo
Preface / L.P. Kouwenhoven ; G. Schon ; L.L. Sohn
Introduction to Mesoscopic Electron Transport
Geometric Phases in Mesoscopic Systems - from the Aharonov-Bohm Effect to Berry Phases / A. Stern
22.

図書

図書
Jesús M.F. Castillo, Manuel González
出版情報: Berlin : Springer, c1997  xii, 267 p. ; 24 cm
シリーズ名: Lecture notes in mathematics ; 1667
所蔵情報: loading…
23.

図書

図書
Christian Retoré (ed.)
出版情報: Berlin ; New York : Springer, c1997  viii, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1328 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書

図書
Constantine Polychronopoulos ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1997  xii, 416 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1336
所蔵情報: loading…
25.

図書

図書
Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)
出版情報: Berlin ; New York : Springer, c1997  xii, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1337
所蔵情報: loading…
26.

図書

図書
Nabeel A. Murshed, Flávio Bortolozzi, (eds.)
出版情報: Berlin ; New York : Springer, c1997  ix, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1339
所蔵情報: loading…
目次情報:
The volume presents 19 revised full papers selected from 30 submissions as well as eight full-paper invited contributions by internationally leading authorities
The invited papers give a unique survey of the state of the art in the area
The selected papers are organized in sections on low level processing, document processing and retrieval, handwriting recognition, signature verification, and application systems
The volume presents 19 revised full papers selected from 30 submissions as well as eight full-paper invited contributions by internationally leading authorities
The invited papers give a unique survey of the state of the art in the area
The selected papers are organized in sections on low level processing, document processing and retrieval, handwriting recognition, signature verification, and application systems
27.

図書

図書
Franz Pichler, Roberto Moreno-Díaz, (Eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1997  xi, 626 p., [1] p. of plates ; 24 cm
シリーズ名: Lecture notes in computer science ; 1333
所蔵情報: loading…
目次情報:
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
28.

図書

図書
František Plášil, Keith G. Jeffery, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  xiv, 570 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1338
所蔵情報: loading…
29.

図書

図書
Rolf H. Möhring (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  x, 376 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1335
所蔵情報: loading…
目次情報:
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
30.

図書

図書
Yutaka Ishikawa ... [et al.] (eds.)
出版情報: Berlin : Springer, c1997  xi, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1343
所蔵情報: loading…
31.

図書

図書
Fritz K. Kneubühl
出版情報: New York : Springer, 1997  xiv, 523 p. ; 25 cm
所蔵情報: loading…
32.

図書

図書
Marc van Kreveld ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiv, 287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1340
所蔵情報: loading…
33.

図書

図書
Abdul Sattar, (ed.)
出版情報: Berlin ; New York : Springer Verlag, c1997  xvii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1342 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiv, 430 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1341
所蔵情報: loading…
35.

図書

図書
Ehoud Ahronovitz, Christophe Fiorio (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1347
所蔵情報: loading…
36.

図書

図書
Ulrich L. Rohde
出版情報: New York : Wiley, c1997  xvii, 638 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Loop Fundamentals
Noise and Spurious Response of Loops
Special Loops
Loop Components
Digital PLL Synthesizers
High-Performance Hybrid Synthesizer
Appendices
Index
Loop Fundamentals
Noise and Spurious Response of Loops
Special Loops
37.

図書

図書
R.K. Shyamasundar, K. Ueda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1345
所蔵情報: loading…
38.

図書

図書
Arch C. Luther
出版情報: Boston : Artech House, c1997  xvi, 405 p. ; 24 cm
シリーズ名: The Artech House audiovisual library
所蔵情報: loading…
39.

図書

図書
Michael Johnson (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  x, 594 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1349
所蔵情報: loading…
目次情報:
The volume presents 48 revised full papers selected from an unusually high number of submissions
One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development
The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations
The volume presents 48 revised full papers selected from an unusually high number of submissions
One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development
The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations
40.

図書

図書
Hon Wai Leong, Hiroshi Imai, Sanjay Jain (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xv, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1350
所蔵情報: loading…
41.

図書

図書
Sam Steel, Rachid Alami, (eds.)
出版情報: Berlin : Springer, c1997  ix, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1348 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

図書

図書
Soon-Yong Choi, Dale O. Stahl, Andrew B. Whinston
出版情報: Indianapolis, Ind. : Macmillan Technical Pub., c1997  xxix, 626 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Electronic Commerce and the Internet / 1:
Characteristics of Digital Products and Processes / 2:
Internet Infrastructure and Pricing / 3:
Quality Uncertainty and Market Efficiency / 4:
Economic Aspects of Copyright Protection / 5:
Signaling Quality and Product Information / 6:
Consumers' Search for Information / 7:
Product Choices and Discriminatory Pricing / 8:
Financial Intermediaries and Electronic Commerce / 9:
Electronic Payment Systems / 10:
Business and Policy Implications of Electronic Commerce / 11:
Future Directions for Economic Research / 12:
Electronic Commerce and the Internet / 1:
Characteristics of Digital Products and Processes / 2:
Internet Infrastructure and Pricing / 3:
43.

図書

図書
Michael Darnell (ed.)
出版情報: Berlin : Springer, c1997  ix, 334 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1355
所蔵情報: loading…
44.

図書

図書
H. William Dettmer
出版情報: Milwaukee, Wis. : ASQC Quality Press, c1997  xxiii, 378 p. ; 27 cm
所蔵情報: loading…
45.

図書

図書
Krishna C. Gupta
出版情報: New York : Springer, c1997  xii, 178 p. ; 25 cm
シリーズ名: Mechanical engineering series
所蔵情報: loading…
46.

図書

図書
Mehdi Jazayeri, Helmut Schauer (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 532 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1301
所蔵情報: loading…
47.

図書

図書
Enric Plaza, Richard Benjamins (eds.)
出版情報: Berlin : Springer, c1997  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1319 . Lecture notes in artificial intelligence
所蔵情報: loading…
48.

図書

図書
Marc Leman (ed.)
出版情報: Berlin : Springer, c1997  ix, 524 p. 1CD ; 24 cm.
シリーズ名: Lecture notes in computer science ; 1317. Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
Ming Li, Akira Maruoka (eds.)
出版情報: Berlin : Springer, c1997  xi, 460 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1316 . Lecture notes in artificial intelligence
所蔵情報: loading…
50.

図書

図書
Clement Leung (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  x, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1306
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼