close
1.

図書
図書
1. あなたの英語診断辞書 : 英語における日本人共通の誤り
松本安弘, 松本アイリン共著
出版情報: 東京 : 北星堂書店, 1976.6  vii, 14, 995p ; 19cm
所蔵情報: loading…
2.

図書
図書
2. 現代スラング英和辞典
[Harold Wentworth, Stuart Berg Flexner編] ; R. C. ゴリス, 大久保雪美訳編
出版情報: 東京 : 秀文インターナショナル, 1986.5  37, 1288p ; 19cm
所蔵情報: loading…
3.

図書
図書
3. Business process management : 7th international conference, BPM 2009, Ulm, Germany, September 8-10, 2009 : proceedings
Umeshwar Dayal ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 5701
所蔵情報: loading…
4.

図書
図書
4. オルダス・ハックスリー
新井明著訳
出版情報: 東京 : 英潮社新社, 1983.12  9, 191, 69p ; 19cm
シリーズ名: 講座・イギリス文学作品論 ; 第16巻
所蔵情報: loading…
5.

図書
図書
5. Public swimming pools : a manual of operation
Frederick V. Kroeber
出版情報: South Brunswick : A. S. Barnes, c1976  212 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Pocket companion thesaurus
出版情報: Harlow : Longman, 1982  363p ; 20cm
所蔵情報: loading…
7.

図書
図書
7. Treatment, recovery, and disposal processes for radioactive wastes : recent advances
edited by J.I. Duffy
出版情報: Park Ridge, N.J. : Noyes Data Corp., 1983  xii, 287 p. ; 25 cm
シリーズ名: Pollution technology review ; no. 95
Chemical technology review ; no. 216
所蔵情報: loading…
8.

図書
図書
8. The architecture of videotex systems
Jan Gecsei
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  xvii, 276 p., [2] leaves of plates ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Machines that think : the best science fiction stories about robots and computers
[edited by] Isaac Asimov, Patricia S. Warrick and Martin H. Greenberg
出版情報: London : Allen Lane, 1984  627p ; 23cm.
所蔵情報: loading…
10.

図書
図書
10. Creating effective documentation for computer programs
G. Prentice Hastings, Kathryn J. King
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  xii, 214 p. ; 25 cm
所蔵情報: loading…
11.

図書
図書
11. An introduction to two-dimensional quantum field theory with (0, 2) supersymmetry
Ilarion V. Melnikov
出版情報: [Cham] : Springer, c2019  xv, 482 p. ; 24 cm
シリーズ名: Lecture notes in physics ; v. 951
所蔵情報: loading…
12.

図書
図書
12. Basic methods, scales and fixed points, radiation
edited by H. Preston-Thomas, T.P. Murray, R.L. Shepard
出版情報: Pittsburgh : Instrument Society of America, c1972  767, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 1
所蔵情報: loading…
13.

図書
図書
13. Resistance, electronic and magnetic thermometry, controls and calibration, bridges
edited by L.G. Rubin ... [et al.]
出版情報: Pittsburgh : Instrument Society of America, c1972  773-1519, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 2
所蔵情報: loading…
14.

図書
図書
14. Thermocouples, biology and medicine, Geophysics and space
edited by D.I. Finch ... [et al.]
出版情報: Pittsburgh : Instrument Society of America, c1972  1525-2383, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 3
所蔵情報: loading…
15.

図書
図書
15. 攝大乗論 全
宇井伯壽校訂
出版情報: 東京 : 岩波書店, 1935.7  2, 6, 144p ; 23cm
シリーズ名: 攝大乘論研究 / 宇井伯壽著 ; 別冊
所蔵情報: loading…
16.

図書
図書
16. The autobiography of Benjamin Franklin
with introduction and notes by Masami Nishikawa
出版情報: Tokyo : Kenkyusha, 1947.10  xx, 353 p. ; 18 cm
シリーズ名: 英米文學叢書 ; 6, 45
所蔵情報: loading…
17.

図書
図書
17. Two or three Graces and other stories
by Aldous Huxley ; with introduction and notes by Eizo Ohashi
出版情報: Tokyo : Kenkyusha, 1952.2  xx, 370 p., port ; 18 cm
シリーズ名: 英米文學叢書 ; 55, 224
所蔵情報: loading…
18.

図書
図書
18. スタンダード佛和辭典
鈴木信太郎 [ほか] 著
出版情報: 東京 : 大修館書店, 1957  11, 1587, 31p ; 27cm
所蔵情報: loading…
19.

図書
図書
19. Rationelle Produktion : Methodik, Grundregeln und praktische Beispiele. 2., geänderte und erw. Aufl
Kurt Pentzlin
出版情報: Kassel : K. Basch, 1950  199 p. ; 22 cm
所蔵情報: loading…
20.

図書
図書
20. Oil fuel applications
A.T. Henly
出版情報: London : C. Lockwood, 1956  ix, 250 p. ; 23 cm
所蔵情報: loading…
21.

図書
図書
21. А.С. Пушкин в изобразительном искусстве
[оформление художника С. Пожарского]
出版情報: Москва : Гос. изд-во изобразительного искусства, 1961  1 v. ; 30 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the second Tihany symposium on radiation chemistry
edited by János Dobó and Péter Hedvig
出版情報: Budapest : Akadémiai Kiadó, Publishing House of the Hungarian Academy of Sciences, 1967  xvi, 813 p. ; 22 cm
所蔵情報: loading…
23.

図書
図書
23. Fourth symposium on naval hydrodynamics : Propulsion hydroelasticity August 27-31, 1962 Washington, D.C.
[Bennett L. Silverstein, editor]
出版情報: Washington, D.C. : Office of Naval Research, [1962]  x, 1082 p. ; 26 cm
所蔵情報: loading…
24.

図書
図書
24. Applied architectural acoustics
Michael Rettinger
出版情報: New York : Chemical Pub., 1947  xi, 189 p. ; 23 cm
所蔵情報: loading…
25.

図書
図書
25. Specifications
H. Griffith Edwards
出版情報: New York : Van Nostrand, c1953  xii, 311 p., ill., 24 cm
シリーズ名: A technical series on building construction
所蔵情報: loading…
26.

図書
図書
26. Acetylene chemistry
Julius Walter Reppe
出版情報: New York : Meyer, 1949.  vii, 209 leaves ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Ten thousand working days
Robert Schrank
出版情報: Cambridge, Mass. : MIT Press, c1978  xiv, 243, [2] p. ; 24 cm
所蔵情報: loading…
28.

図書
図書
28. Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
29.

図書
図書
29. LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings
Sergio Rajsbaum (ed.)
出版情報: Berlin : Springer, c2002  xiii, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2286
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
Erd&odacute;s Magic / Joel Spencer
Open Problems in Computational Geometry / Jorge Urrutia
Quantum Algorithms / Umesh Vazirani
Testing and Checking of Finite State Systems / Mihalis Yannakakis
From Algorithms to Cryptography / Fabrizio Luccio ; Linda Pagli
Dihomotopy as a Tool in State Space Analysis / Éric Goubault ; Martin Raussen
Regular Contributions
Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan ; Ömer Eğecioğlu
An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marília D.V. Braga ; João Meidanis
Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny
Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy ; Jacques Sakarovitch
Weakly Iterated Block Products of Finite Monoids / Howard Straubing ; Denis Thérien
The Hidden Number Problem in Extension Fields and Its Applications / María Isabel González Vasco ; Mats Näslund ; Igor E. Shparlinski
The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis
Random Partitions with Non Negative rth Differences / Rod Canfield ; Sylvie Corteel ; Pawel Hitczenko
Beta-Expansions for Cubic Pisot Numbers / Frédérique Bassino
Facility Location Constrained to a Polygonal Domain / Prosenjit Bose ; Qingda Wang
A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann ; Niels Schmitt
A Metric Index for Approximate String Matching / Edgar Chávez ; Gonzalo Navarro
On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter
On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil ; Feodor F. Dragan ; Ekkehard Köhler
k-pseudosnakes in Large Grids / Martín Matamala ; Erich Prisner ; Ivan Rapaport
L(2, 1)-Coloring Matrogenic Graphs / Tiziana Calamoneri ; Rossella Petreschi
Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiú ; Artur Alves Pessoa ; Eduardo Sany Laber
Ancestor Problems on Pure Pointer Machines / Enrico Pontelli ; Desh Ranjan
Searching in Random Partially Ordered Sets / Renato Carmo ; Jair Donadelli ; Yoshiharu Kohayakawa ; Eduardo Laber
Packing Arrays / Brett Stevens ; Eric Mendelsohn
Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota ; Wojciech Szpankowski
An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan ; S. Cenk &Sbdot;ahinalp
Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest ; Anca Muscholl
Improved Exact Algorithms for Max-Sat / Jianer Chen ; Iyad A. Kanj
Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel ; Mariangiola Dezani-Ciancaglini
Parameters in Pure Type Systems / Roel Bloo ; Fairouz Kamareddine ; Twan Laan ; Rob Nederpelt
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rūsiņš Freivalds ; Carl H. Smith
Verification of Embedded Reactive Fiffo Systems / Frédéric Herbreteau ; Franck Cassez ; Alain Finkel ; Olivier Roux ; Grégoire Sutre
Electronic Jury Voting Protocols / Alejandro Hevia ; Marcos Kiwi
Square Roots Modulo p / Gonzalo Tornaría
Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod ; Soohyun Oh ; Andréa W. Richa
Signals for Cellular Automata in Dimension 2 or Higher / Jean-Christophe Dubacq ; Véronique Terrier
Holographic Trees / Paolo Boldi ; Sebastiano Vigna
On the Spanning Ratio of Gabriel Graphs and β-skeletons / Luc Devroye ; William Evans ; David Kirkpatrick
In-Place Planar Convex Hull Algorithms / Hervé Brönnimann ; John Iacono ; Jyrki Katajainen ; Pat Morin ; Jason Morrison ; Godfried Toussaint
The Level Ancestor Problem Simplified / Michael A. Bender ; Martín Farach-Colton
Flow Metrics / Claudson F. Bornstein ; Santosh Vempala
On Logical Descriptions of Regular Languages
Computing Boolean Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy ; Xiaomin Chen
Inapproximability Results on Stable Marriage Problems / Magnús Halldórsson ; Kazuo Iwama ; Shuichi Miyazaki ; Yasufumi Morita
Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai ; Tami Tamir
On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand ; Thomas Erlebach
Massive Quasi-Clique Detection / James Abello ; Mauricio G.C. Resende ; Sandra Sudarsky
Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber ; Rolf Niedermeier
Author Index
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
30.

図書
図書
30. Genetic Programming : 5th European conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings
James A. Foster ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 335 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2278
所蔵情報: loading…
31.

図書
図書
31. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
32.

図書
図書
32. Discrete Geometry for Computer Imagery : 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002 : proceedings
Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.)
出版情報: Berlin : Springer, c2002  xi, 438 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2301
所蔵情報: loading…
33.

図書
図書
33. Trends in Network and Pervasive Computing : ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, proceedings
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I：
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II：
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III：
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV：
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V：
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI：
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
34.

図書
図書
34. Fluid mechanics of turbomachinery. 1st ed
by George F. Wislicenus
出版情報: New York : McGraw-Hill, 1947  xv, 613 p. ; 21 cm
所蔵情報: loading…
35.

図書
図書
35. Advanced lectures on machine learning : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002 : revised lectures
Shahar Mendelson, Alexander J. Smola (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  257 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2600 . Lecture notes in artificial intelligence
所蔵情報: loading…
36.

図書
図書
36. The Year book of technical education and careers in industry (1957 - 1967)
edited by H.C. Dent
出版情報: London : Adam & Charles Black, [1957]-  v. ; 20-21cm
所蔵情報: loading…
37.

図書
図書
37. Kernresonanz im Festkörper
von Ines Ebert und Gerhard Seifert
出版情報: Leipzig : Akademische Verlagsgesellschaft Geest & Portig, 1966  410 p. ; 22 cm
シリーズ名: Technisch-physikalische Monographien ; Bd. 18
所蔵情報: loading…
38.

図書
図書
38. Cryptographic hardware and embedded systems - CHES 2002 : 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002 : revised papers
Burton S. Kaliski, Jr., Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2523
所蔵情報: loading…
39.

図書
図書
39. Numerical methods and applications : 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002 : revised papers
Ivan Dimov ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 574 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2542
所蔵情報: loading…
40.

図書
図書
40. Riemannian geometry
Luther Pfahler Eisenhart
出版情報: Princeton : Princeton Univ. Press, [n. d.].  vii, 306 p. ; 24 cm
所蔵情報: loading…
41.

図書
図書
41. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
John Dean, Andrée Gravel (eds.)
出版情報: Berlin : Springer, c2002  xiv, 255 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2255
所蔵情報: loading…
42.

図書
図書
42. Развитие функциональных стилей современного русского языка
[редакторы, Т.Г. Винокур и Д.Н. Шмелев]
出版情報: Москва : Изд-во "Наука", 1968  229 p. ; 22 cm
所蔵情報: loading…
43.

図書
図書
43. ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Didier Bert ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xii, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2272
所蔵情報: loading…
44.

図書
図書
44. Digital and image geometry : advanced lectures
Gilles Bertrand, Atsushi Imiya, Reinhard Klette (eds.)
出版情報: Berlin ; New York : Springer, c2001  viii, 453 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2243
所蔵情報: loading…
45.

図書
図書
45. Пособие по чтению художественной литературы со стилистическим комментарием : стилистический анализ языка художественного произведения
А.Н. Васильева
出版情報: Москва : Изд-во Московского университета, 1970  277 p. ; 22 cm
所蔵情報: loading…
46.

図書
図書
46. Автоматика и вычислительная техника (10 - 15)
Institut ėlektroniki i vychislitelʹnoĭ tekhniki (Akademii︠a︡ nauk Latviĭskoĭ SSR)
出版情報: Рига : Изд-во "Зинатне", 1965-  v. ; 23 cm
所蔵情報: loading…
47.

図書
図書
47. People in regions. Teacher's ed
Irene Zabawski
出版情報: Morristown : Silver Burdett, c1976  T32, 288 p. ; 26 cm
シリーズ名: Silver Burdett social science
所蔵情報: loading…
48.

図書
図書
48. The American revolution : a history
Gordon S. Wood
出版情報: New York : Modern Library, 2002  xxv, 190 p. ; 20 cm
シリーズ名: A Modern Library chronicles book
所蔵情報: loading…
49.

図書
図書
49. Schulbau von Heute für Morgen
Wilhelm Berger
出版情報: Göttingen : Musterschmidt, c1960  186 p. ; 23 x 20 cm
所蔵情報: loading…
50.

図書
図書
50. Aufgabensammlung zur Thermodynamik des Wärme- und Stoffaustausches in der Verfahrenstechnik
von Werner Matz
出版情報: Darmstadt : D. Steinkopff, 1953  xii, 138 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼