close
1.

図書

図書
Sponsored by the Materials Research Society of Japan and the Magnetics Society of Japan ; in cooperation with the Institute of Electrical Engineers of Japan ... [et al.]
出版情報: Tokyo : Magnetics Society of Japan, c1998  xvi, 455 p. ; 30 cm
シリーズ名: Journal of the Magnetics Society of Japan ; vol. 22, supplement, no. S1(1998)
所蔵情報: loading…
2.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1988  ix, 679 p. ; 31 cm.
所蔵情報: loading…
3.

図書

図書
co-sponsored by Japan Society of Applied Physics, IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers, IEEE EDS Japnan [i.e. Japan] Chapter, IEEE EDS Kansai Chapter
出版情報: Tokyo : Business Center for Academic Societies Japan , Piscataway, N.J. : IEEE Service Center, c2002  xiv, 284 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000  xiii, 240 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Organizing Committee
Program Committee
Reviewers
Tutorial
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1:
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2:
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
Panel--Software Complexity of the Net
Author Index
Introduction
Organizing Committee
Program Committee
5.

雑誌

雑誌
Institute of Electronics, Information and Communication Engineers, Japan. Technical Committee on Fault-Tolerant Systems ; 電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, [c1987]-1990  v. ; 28 cm
巻次年月次: Vol. E70, no. 1 (Jan. 1987)-v. E73, no. 12 (Dec. 1990)
所蔵情報: loading…
6.

図書

図書
Sponsored by the Japan Society of Applied Physics in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, : Business Center for Academic Societies Japan, c1985  v, 470 p. ; 31 cm
所蔵情報: loading…
7.

図書

図書
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Tokyo : Japan Society of Applied Physics, c1999  xxxix, 599 p. ; 30 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Sendai : Japan Society of Applied Physics, c2000  xxxvii, 565 p. ; 30 cm
所蔵情報: loading…
9.

図書

図書
sponsored by the IEEE Lasers and Electro-Optics Society, the IEICE/Electronics Society, and the Japan Society of Applied Physics
出版情報: Piscataway, NJ : IEEE Service Center, c1998  xviii, 275 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Tokyo : Japan Society of Applied Physics, c1997  xxxiii, 587 p. ; 30 cm
所蔵情報: loading…
11.

図書

図書
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society : in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: 東京 : 応用物理学会固体素子・材料コンファレンス, 1998.9  xvi, 510 p. ; 30 cm
所蔵情報: loading…
12.

図書

図書
sponsored by the IEEE Power Electronics Society and the IEICE Japan ; in cooperation with IEEJ and the IEI of Japan
出版情報: Piscataway, NJ : IEEE Service Center, c1998  2 v. (2136 p.) ; 30 cm
所蔵情報: loading…
13.

図書

図書
sponsored by the IEEE Communications Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers and the Acoustical Society of Japan
出版情報: New York : IEEE Communications Society, c1994  viii, 164 p. ; 30 cm
所蔵情報: loading…
14.

図書

図書
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1996  xxxv, 885 p. ; 30 cm
所蔵情報: loading…
15.

図書

図書
A.M. Goncharenko ... [et al.], chairs/editors ; organized by Division for Optical Problems of Information Technologies, Academy of Sciences of the Republic of Belarus, Joint USSR-USA Enterprise "TEMPO" ; sponsored by Academy of Sciences of the Republic of Belarus ... [et al.] ; endorsed by International Commission for Optics (ICO) ; in cooperation with Institute of Electronics, Information and Communication Engineers (IEICE Japan) ... [et al.]
出版情報: Bellingham, Wash. : SPIE, c1993  xi, 540 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 1807
所蔵情報: loading…
16.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1995  xxxx, 1104 p. ; 30 cm
所蔵情報: loading…
17.

雑誌

雑誌
電子情報通信学会[編]
出版情報: 東京 : 電子情報通信学会, 1991.4-2003.3 ; 26-30cm
巻次年月次: SST91-1〜7 ([19]91)-SST99-134〜151 ([19]99) ; SST2000-1〜6 (2000)-SST2002-184〜218 (2002)
所蔵情報: loading…
18.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2007-2013
巻次年月次: USN2007-1〜21 (2007.5)-USN2012-56-USN2012-75 (2013.1.24〜25) = Vol. 107, no. 53 (2007.5.)-v. 112, no. 406 (2013.1.24〜25)
所蔵情報: loading…
19.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2009.5-  冊 ; 30cm
巻次年月次: LOIS2009-1–LOIS2009-8 (2009)-
所蔵情報: loading…
20.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2010.6-  冊 ; 30cm
巻次年月次: IBISML2010-1-IBISML2010-28 (2010.6)-
所蔵情報: loading…
21.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2012.6-  冊 ; 30cm
巻次年月次: SC2012-1-SC2012-4 (2012.6.11)-
所蔵情報: loading…
22.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2014.4-  冊 ; 30cm
巻次年月次: WPT2014-1-WPT2014-23 (2014.4.17~18)-
所蔵情報: loading…
23.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2014.5-  冊 ; 30cm
巻次年月次: MICT2014-1-MICT2014-21 (2014.5.29〜30)-
所蔵情報: loading…
24.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2014.5-  冊 ; 30cm
巻次年月次: SR2014-1-SR2014-19 (2014.5.22〜23)-
所蔵情報: loading…
25.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, 1987.5-2002.2  冊 ; 26cm
巻次年月次: FTS87-1〜7 ([19]87)-FTS99-75〜84 ([19]99) ; FTS2000-1〜12 (2000)-FTS2001-77〜88 (2001)
所蔵情報: loading…
26.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, 1987.3-1989.3  10冊 ; 26cm
巻次年月次: NLC86-21〜25 (1987.3.6)-NLC88-29〜32 (1989.3.11)
所蔵情報: loading…
27.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, 1987.6-  冊 ; 26-30cm
巻次年月次: SS87-1〜6 ([19]87)-SS99-69〜73 ([19]99) ; SS2000-1〜5 (2000)-
所蔵情報: loading…
28.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, 2002.5-2009.2  冊 ; 30cm
巻次年月次: OIS2002-1〜6 (2002)-OIS2008-75〜94 (2008)
所蔵情報: loading…
29.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, 2002.5-  冊 ; 30cm
巻次年月次: 2002-1〜8 (2002)-
所蔵情報: loading…
30.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2003.8-  冊
巻次年月次: PN2003-1〜8 (2003.9)-
所蔵情報: loading…
31.

雑誌

雑誌
電子情報通信学会
出版情報: 東京 : 電子情報通信学会, c2004.4-  冊
巻次年月次: SIP2004-1〜8 (2004.4)-
所蔵情報: loading…
32.

雑誌

雑誌
電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, 1991  1 v. ; 29 cm
巻次年月次: Vol. E74, no. 1 (Jan. 1991)-v. E74, no. 12 (Dec. 1991)
所蔵情報: loading…
33.

雑誌

雑誌
電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, c1992-2014  v. ; 29 cm
巻次年月次: Vol. E75-A, no. 1 (Jan. 1992)-v. E97-A, no. 3 (Mar. 2014)
所蔵情報: loading…
34.

雑誌

雑誌
Institute of Electronics, Information and Communication Engineers ; 電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, 1992-2014
巻次年月次: Vol. E75-B, no. 1 (Jan. 1992)-v. E97-B, no. 3 (Mar. 2014)
所蔵情報: loading…
35.

雑誌

雑誌
Institute of Electronics, Information and Communication Engineers, ; 電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, 1992-2014
巻次年月次: Vol. E75-D, no. 1 (Jan. 1992)-v. E97-D, no. 3 (Mar. 2014)
所蔵情報: loading…
36.

雑誌

雑誌
Institute of Electronics, Information and Communication Engineers, ; 電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, 1992-2014
巻次年月次: Vol. E75-C, no. 1 (Jan. 1992)-v. E97-C, no. 3 (Mar. 2014)
所蔵情報: loading…
37.

図書

図書
sponsored by the IEICE of Japan (Technical Group on Power Engineering in Electronics and Communications), the IEEE Communications Society and the IEEE Power Electronics Society
出版情報: Piscataway, NJ : IEEE, c1991  xvi, 734 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1991  xvi, 770 p. ; 30 cm.
所蔵情報: loading…
39.

図書

図書
cosponsored by the Institute of Electronics, Information and Communication Engineers, the Japan Society of Applied Physics, Optoelectronic Industry and Technology Development Association ; in cooperation with the IEEE Lasers and Electro-Optics Society
出版情報: Tokyo : Order from: Business Center for Academic Societies Japan, [1992]  xx, 276 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1992  xxviii, 772 p. ; 30 cm.
所蔵情報: loading…
41.

図書

図書
Sponsored by the Japan Society of Applied Physics in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, : Business Center for Academic Societies Japan, c1989  viii, 605 p. ; 31 cm
所蔵情報: loading…
42.

図書

図書
Sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1990  xiii, 1247 p. ; 31 cm.
所蔵情報: loading…
43.

図書

図書
sponsored by the Japan Society of Applied Physics (JSAP), the Institute of Electronics, Information, and Communication Engineers (IEICE), Optoelectronic Industry and Technology Development Association (OIDTA) ; in cooperation with the Institute of Electrical and Electronics Engineers (IEEE, LEO-S) ... [et al.]
出版情報: Tokyo, Japan : Publication Office, Japanese Journal of Applied Physics, 1987  253 p. ; 30 cm
シリーズ名: Japanese Journal of Applied Physics : Supplement ; Vol.26 (Supplement 26-4)
所蔵情報: loading…
44.

図書

図書
sponsored by the Japan Society of Applied Physics (JSAP), the Institute of Electronics, Information, and Communication Engineers (IEICE), Optoelectronic Industry and Technology Development Association (OIDTA) ; in cooperation with the Institute of Electrical and Electronics Engineers (IEEE, LEO-S) ... [et al.]
出版情報: Tokyo, Japan : Publication Office, Japanese Journal of Applied Physics, 1989  382 p. ; 30 cm
シリーズ名: Japanese Journal of Applied Physics : Supplement ; Vol.28 (Supplement 3)
所蔵情報: loading…
45.

図書

図書
sponsored by the IEEE Power Electronics Society and the IEICE of Japan
出版情報: New York : Institute of Electrical and Electronics Engineers, c1988  2 v. ; 28 cm
所蔵情報: loading…
46.

図書

図書
[sponsors, Institute of Electrical and Electronics Engineers, Union Radio Scientifique Internationale, the Institute of Electronics, Information, and Communication Engineers of Japan]
出版情報: Piscataway : IEEE Service Center, c1993  4 v. ; 28 cm
所蔵情報: loading…
47.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1993  xxxiv, 1097 p. ; 30 cm.
所蔵情報: loading…
48.

図書

図書
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1994  xxxvi, 1010 p. ; 30 cm.
所蔵情報: loading…
49.

図書

図書
organized by Société des Electriciens de des Electroniciens ; sponsored by Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: [s.l.] : [s.l.], [1991]  4 v. ; 28 cm
所蔵情報: loading…
50.

図書

図書
伊藤隆司編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 2013.5  vii, 357p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 序論
第2章 : バイポーラトランジスタの動作機構
第3章 : MOSトランジスタの動作機構
第4章 : ULSIデバイス構造
第5章 : 微細加工技術
第6章 : 材料プロセス技術
第7章 : 信頼性と検査技術
第8章 : ULSIの新展開
第1章 : 序論
第2章 : バイポーラトランジスタの動作機構
第3章 : MOSトランジスタの動作機構
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼