大阪大学OPAC

01625726102

理工学図-書庫1層図書

Frontiers in parallel computing / editors, Vijay P. Bhatkar...[et. al]

12600001411

理工学図-書庫1層図書

1994 International Conference on Plasma Physics : joint conference of the 10th Kiev International Conference on Plasma Theory, 10th International Congress on Waves and Instabilities in Plasmas, combined with VI Latin American Workshop on Plasma Physics, Foz do IguaC̦u-Pr-Brazil, Hotel Bourbon, Octorber 31-November 4, 1994 : Proceedings contributed papers / editors, P.H. Sakanaka, E. Del Bosco, M.V. Alves

pt. 3

||3609/NE

12500051938

理工学図-書庫1層図書

工業分析 / 工業計測技術大系編集委員会編

上

||3609/ML

01625725807

理工学図-書庫1層図書

材料強弱及彈性學 : 一般理論及主として機械工學的應用 / 南日實著

||3609/M

00225938703

理工学図-書庫1層図書

Current issues in parsing technology / edited by Masaru Tomita

||3610/J

12600002344

理工学図-書庫1層図書

工業分析 / 工業計測技術大系編集委員会編

下

||3610/ML

01625726201

理工学図-書庫1層図書

Physics of plasmas close to thermonuclear conditions : proceedings of the course held in Varenna, Italy 27 August--8 September 1979 / edited by B. Coppi ... [et al.]

v. 1

||3610/NE

08125069131

理工学図-書庫1層図書

Designs, graphs, codes and their links / P.J. Cameron and J.H. van Lint

: hard

||3611/J

12600002351

理工学図-書庫1層図書

機器分析 / 工業計測技術大系編集委員会編

||3611/ML

01625726508

理工学図-書庫1層図書

Physics of plasmas close to thermonuclear conditions : proceedings of the course held in Varenna, Italy 27 August--8 September 1979 / edited by B. Coppi ... [et al.]

v. 2

||3611/NE

08125069149

理工学図-書庫1層図書

The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli

[v. 1], Specification : us

||3612/J

12600001437

理工学図-書庫1層図書

変位・厚サ測定 / 工業計測技術大系編集委員会編

||3612/ML

01625726607

理工学図-書庫1層図書

The technology of controlled nuclear fusion : proceedings of the fourth Topical Meeting, October 14-17, 1980, King of Prussia, Pennsylvania / edited by F.H. Tenney and C.C. Hopkins

vol.1

||3612/NE

08225050171

理工学図-書庫1層図書

On-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991 / Lyle A. McGeoch, Daniel D. Sleator, editors

: ACM

||3613/J

12600001429

理工学図-書庫1層図書

湿度・水分測定 / 工業計測技術大系編集委員会編

||3613/ML

01625726300

理工学図-書庫1層図書

The technology of controlled nuclear fusion : proceedings of the fourth Topical Meeting, October 14-17, 1980, King of Prussia, Pennsylvania / edited by F.H. Tenney and C.C. Hopkins

vol.2

||3613/NE

08225050189

理工学図-書庫1層図書

Concurrency in Ada / Alan Burns and Andy Wellings

||3614/J

12600068808

理工学図-書庫1層図書

指示・記録・調節

||3614/ML

01625726409

理工学図-書庫1層図書

The technology of controlled nuclear fusion : proceedings of the fourth Topical Meeting, October 14-17, 1980, King of Prussia, Pennsylvania / edited by F.H. Tenney and C.C. Hopkins

vol.3

||3614/NE

08225050197

理工学図-書庫1層図書

Proceedings of the 8th Symposium on Fusion Technology, Leeuwenhorst Congress Centre, Noordwijkerhout(The Netherlands), June 17-21, 1974 / organized by FOM-Instituut voor Plasmafysica, Jutphaas(The Netherlands)

||3615/NE

07925013505

理工学図-書庫1層図書

Exploiting mental imagery with computers in mathematics education / edited by Rosamund Sutherland, John Mason

||3615/J

12600068816

理工学図-書庫1層図書

信号変換とデータ処理

||3615/ML

01625726706

理工学図-書庫1層図書

Advances in human-computer interaction : human comfort and security / S. Pfleger, J. Gonçalves, K. Varghese, eds

||3616/J

12600068782

理工学図-書庫1層図書

工業計測概説/資料 / 工業計測技術大系編集委員会編

||3616/ML

01625726805

理工学図-書庫1層図書

Proceedings of the 9th Symposium on Fusion Technology, Garmisch-Partenkirchen(FRG), June 14-18, 1976 / organized by IPP -- Institut fûr Plasmaphysik, Garching(FRG)

||3616/NE

07925013513

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

1 : Monday 8th July 1991

||3617/NE

12500011296

理工学図-書庫1層図書

Computer science : a breadth-first approach with C / John Impagliazzo, Paul Nagin

pbk.

||3617/J

12600068790

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

2 : Tuesday morning, 9th July 1991

||3618/NE

12500011304

理工学図-書庫1層図書

Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter and John C. Mitchell

||3618/J

12600042092

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

3 : Tuesday afternoo, 9th July 1991

||3619/NE

12500011312

理工学図-書庫1層図書

Finite automata, formal logic, and circuit complexity / Howard Straubing

: us

||3619/J

12600042720

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

4 : Wednesday, 10th July 1991

||3620/NE

12500011320

理工学図-書庫1層図書

Parallel processing for artificial intelligence / edited by L.N. Kanal, ... [et al.]

v. 1

||3620/J

12600042704

理工学図-書庫1層図書

計測工学 / 宮崎孔友著

||3620/ML

07325015704

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

5 : Thursday morning, 11th July 1991

||3621/NE

12500011338

理工学図-書庫1層図書

Parallel processing for artificial intelligence / edited by L.N. Kanal, ... [et al.]

v. 2

||3621/J

12600042712

理工学図-書庫1層図書

XX International Conference on Phenomena in Ionized Gases, Il Ciocco (Barga, Italy) 8th-12th July 1991 : contributed papers / editors, V. Palleschi, M. Vaselli ; sponsoring scientific institutions, Ministero dell'Università e della Ricerca Scientifica e Tecnologica ... [et al.]

6 : Thursday afternoon, 11th July 1991

||3622/NE

12500011346

理工学図-書庫1層図書

海洋環境調査法 / 日本海洋学会編集

||3622/N

08025017768

理工学図-書庫1層図書

Proof in VDM : a practitioner's guide / by Juan C. Bicarregui ... [et al.]

: gw

||3622/J

12600042076

理工学図-書庫1層図書

センサ工学 / 森村正直, 山崎弘郎編集

||3623/ML

08325041658

理工学図-書庫1層図書