close
1.

図書

図書
ICCC/IFIP Conference on Electronic Publishing ; International Council for Computer Communication ; International Federation for Information Processing
出版情報: [s.l.] : [s.n.], [1997]  1 v. (various pagings) ; 30 cm
所蔵情報: loading…
2.

図書

図書
edited by Simon Lavington
出版情報: Amsterdam : North-Holland, 1980  xiii, 1070 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 8
所蔵情報: loading…
3.

図書

図書
edited by Eugene K. Harris, Toshio Yasaka
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xvi, 326 p. ; 23 cm
所蔵情報: loading…
4.

図書

図書
edited by J. Bečvář
出版情報: Berlin : New York : Springer-Verlag, 1975  x, 476 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 32
所蔵情報: loading…
5.

図書

図書
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  391 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 173
所蔵情報: loading…
6.

図書

図書
edited by Susan Finger, Tetsuo Tomiyama, Martti Mäntylä
出版情報: Boston : Kluwer Academic Publishers, c2000  xi, 326 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
Invited Talk / Part 2:
Supporting the Knowledge Life-Cycle / Blessing, L. ; Wallace, K.2.:
Ontology / Part 3:
Ontological Commitments in Knowledge-Based Design Software: A Progress Report / Salustri, F.A.3.:
Classification of Knowledge for Generating Engineering Models -A Case Study of Model Generation in Finite Element Analysis- / Sekiya, T. ; Tsumaya, A.4.:
Design History System: Data Models and Prototype Implementation / Shah, J.J. ; Rangaswamy, S. ; Qureshi, S. ; Urban, S.D.5.:
Knowledge Intensive Cad (Kic) / Part 4:
Modeling of Product Life-cycle Knowledge and Data for an Intelligent Concurrent Design System / Xue, D.6.:
Model Sharing among Agents in a Concurrent Product Development Team / Ozawa, M. ; Cutkosky, M.R. ; Howley, B.J.7.:
Design-to-Manufacture Information Transfer in the Context of Solid Freeform Fabrication Technologies / Rosen, D.W.8.:
An Application of the Knowledge Intensive Engineering Framework to Building Foundation Design / Yoshioka, M. ; Shamoto, Y.9.:
Knowledge Intensive Design (Kid) / Part 5:
Supporting Conceptual Design: A Model for Reflective-Interactive Design / Chan, B. ; Finger, S.10.:
A Knowledge Based Engineering Application to Support Weight Distribution Analysis for IRL Cars / Susca, L. ; Mandorli, F. ; Rizzi, C. ; Cugini, U.11.:
Lens Barrel Design Based On Distributed Knowledge-Base / Bok, K. ; Myung, S. ; Han, S.-H.12.:
Knowledge Representation for Kic / Part 6:
Guiding Agent Learning in Design / Grecu, D.L. ; Brown, D.C.13.:
A KICAD Tool For Pro-Active Exploration Support To 'Design Synthesis For Multi-X' / Borg, J.C. ; Yan, X.-T. ; Juster, N.P.14.:
Author index
Keyword index
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
7.

図書

図書
edited by Gail Marshall and Mikko Ruohonen
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1998  xiii, 359 p. ; 24cm
所蔵情報: loading…
8.

図書

図書
edited by M.J. Pratt, R.D. Sriram and M.J. Wozny
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1997  x, 442 p. ; 25cm
所蔵情報: loading…
9.

図書

図書
edited by Riitta Smeds and Jens O. Riis
出版情報: London : Chapman & Hall, 1998  xii, 164 p. ; 24cm
所蔵情報: loading…
10.

図書

図書
edited by Allen S. Lee, Jonathan Liebenau and Janice I. DeGross
出版情報: London : Chapman & Hall, 1997  x, 571 p. ; 24cm
所蔵情報: loading…
11.

図書

図書
edited by R. N. Horspool
出版情報: London : Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vi, 344 p. ; 24cm
所蔵情報: loading…
12.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the Institute of Electronics Information and Communication Engineers Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
edited by M. Maranzana
出版情報: Oxford : Pergamon for the International Federation of Automatic Control, 1998  vi, 131 p. ; 30cm
所蔵情報: loading…
目次情報: 続きを見る
Architecture, Systems
Cache-Based Checkpointing for Preemptive Real-Time Systems / J.V. Busquets-Mataix ; J.J. Serrano ; A. Wellings
On the Application of Fuzzy Logic in the Design of Supervisors for Real-Time Control Systems / A. Fernandez ; M. Marcos ; F. Artaza ; N. Iriondo ; D. Orive
Putting Hardware-Software Codesign into Practice / G. Schrott ; T. Tempelmeier
Real-Time Architecture for Neural Network Applications / A. Crespo ; H. Hassan ; G. Andreu ; J. Simo
Design, Applications
Action Diagrams / C. Dietz
Design of HRT Systems and Their Implementation in C / J.R. Nawrocki ; W. Complak ; A. Czajka
A Multiformalism Specification Framework with Statecharts and VDM / I. Traore ; A.E.K. Sahraoui
Object-Oriented Approach
Object-Oriented Design of Telecontrol Protocol / A. Bobkowska ; G. Cysewski ; T. Gromadzki ; H. L Yskawa
Expressing Real-Time Constraints in an Object-Oriented Approach / J.P. Babau ; J.L. Sourrouille
Object Orientation in the Real-Time System Lifecycle / D. Verber ; M. Colnaric ; A.H. Frigeri ; W.A. Halang
A Modular Approach to Real Time Programming Using Actors and Java / L. Nigro ; F. Pupo
A Formal Approach to Real-Time Object Oriented Software / S.E. Carvalho ; J.L. Fiadeiro ; E.H. Haeusler
Time-Stamped Event Histories: A Real-Time Programming Object / A. Shaw
Real-Time Programming: Extending PEARL with Interfaces and Active Objects / C.E. Pereira ; W. Halang
Timing Analysis, Scheduling
Timing Analysis of a Generic Robot Teleoperation Software Architecture / B. Alvarez ; A. Alonso ; J.A. de la Puente
Measuring the Performance of Real Time Systems / R. Gumzej
Timing Analysis of RL Programs / M. Lin ; J. Malec
A Temporal Analysis of Distributed Hard Real-Time Applications / S. Saad-Bouzefrane ; F. Cottet
Automatic Generation of Cyclic Schedules / J. Zamorano
Forums
Critical Issues in Object-Oriented Real-Time Systems-A Guided Panel Discussion / H.F. Wedde
Real-Time Computing Education: Responding to a Challenge of the Next Century / C. Pereira ; J. de la Puente ; J. Skubich ; J. van Katwijk ; H. Wedde ; J. Zalewski
Invited Paper
The SACRES Approach to Embedded Systems Applied to Aircraft Engine Controllers / P. Baufreton ; H. Granier ; X. Mehaut ; E. Rutten
Author Index
Architecture, Systems
Cache-Based Checkpointing for Preemptive Real-Time Systems / J.V. Busquets-Mataix ; J.J. Serrano ; A. Wellings
On the Application of Fuzzy Logic in the Design of Supervisors for Real-Time Control Systems / A. Fernandez ; M. Marcos ; F. Artaza ; N. Iriondo ; D. Orive
14.

図書

図書
edited by David Tinsley and David C. Johnson
出版情報: London : Chapman & Hall, 1998  x, 304p ; 24 cm
所蔵情報: loading…
15.

図書

図書
edited by Alex C.W. Fung ... [et al.]
出版情報: London ; Tokyo : Chapman & Hall, c1997  xi, 194 p. ; 23 cm
所蔵情報: loading…
16.

図書

図書
edited by Ben-Zion Barta, Arthur Tatnall, and Peter Juliff
出版情報: London ; Tokyo : Chapman & Hall, 1997  vi, 234 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Broadening software engineering courses to include organisational and behavioural factors
Management's knowledge of information technology
Linking management and information systems through case analysis of International Business Operations
Information technology for managers: Australian generic MBA programs
Contracts in the IT education of managers
Information technology in China
Training educational managers to use information systems: a three-phase approach
Educating to bridge the knowledge gap: hybrid management undergraduate education 1985-1995
Course management for novice IT professionals
The whys and whats of an IT specialisation within a generalist management tertiary education
MIS in the MBA is broken! Do we want to fix it or ditch it?
The nexus between management and information technology - attitudes and influence of the professional bodies
Information technology curriculum for engineering management qualification
Not economic informatics but informatic economics - the development of the subject Economic Informatics in the commercial colleges in North-Rhine Westphalia, Germany
Business users and the information systems development process: a need to know basis
Business simulations: dynamic, computer based case studies for management development
IT curriculum in business education content and market analysis
Realising information technology in the health sector - the management education agenda
Information technology studies in higher business and management education in Finland
How teaching through IT modifies the teaching curriculum
Chief Information Officers - new roles and emerging duties
Building executive information systems - visual basic for management students
IT education for hospitality managers
Managerial skills in technical professionals - an exploration of IT project leadership
The hybrid manager: achievement within a world wide dimension
Critical systems development - ramifications for management
Discussion group: the changing role of management
Discussion group: teaching and learning using the www
Broadening software engineering courses to include organisational and behavioural factors
Management's knowledge of information technology
Linking management and information systems through case analysis of International Business Operations
17.

図書

図書
edited by Pierangela Samarati and Ravi S. Sandhu
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1997  vi, 310 p. ; 25 cm
所蔵情報: loading…
18.

図書

図書
edited by Don Passey and Brian Samways
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  xxv, 382 p. ; 24 cm
所蔵情報: loading…
19.

図書

図書
edited by T.Y. Lin and Shelly Qian
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vi, 391p ; 24cm
所蔵情報: loading…
20.

図書

図書
edited by Hartmut König, Kurt Geihs and Thomas Preuß
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,294p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee members and invited speakers
List of references
Invited talk - abstract
Management of distributed applications / Part one:
Agents and internet applications / Part two:
Short paper session I / Part three:
Working session
Invited talk II - Abstract
CORBA 1 / Part four:
CORBA 2 / Part five:
Short paper session II / Part six:
Language support for distributed applications design / Part seven:
Security and reliability aspects / Part eight:
Index of contributors
Keyword index
Preface
Committee members and invited speakers
List of references
21.

図書

図書
edited by Sushil Jajodia ... [et al.]
出版情報: London : Chapman & Hall, 1997  366 p. ; 24 cm
シリーズ名: Integrity and internal control in information systems : IFIP TC-11 WG11.5 First Working Conference on Integrity and Internal Control in Information Systems 4-5 December 1997, Zürich, Switzerland ; vol.1
所蔵情報: loading…
22.

図書

図書
edited by Andrew Campbell and Klara Nahrstedt
出版情報: London : Chapman & Hall, 1997  xli, 406 p. ; 24cm
所蔵情報: loading…
23.

図書

図書
edited by Norio Okino, Hiroyuki Tamura and Susumu Fujii
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1998  viii, 482 p. ; 24 cm
所蔵情報: loading…
24.

図書

図書
edited by Richard S. Bird and Lambert Meertens
出版情報: London : Chapman & Hall, 1997  vi, 440 p. ; 24 cm
所蔵情報: loading…
25.

図書

図書
edited by Ronald F. Boisvert
出版情報: London ; Tokyo : Chapman & Hall, 1997  vii, 384 p. ; 24 cm
所蔵情報: loading…
26.

図書

図書
edited by Fred Mulder and Tom van Weert
出版情報: London : Chapman & Hall, 1998  vi, 251 p. ; 24 cm
所蔵情報: loading…
27.

図書

図書
edited by Toshiharu Hasegawa, Hideaki Takagi and Yutaka Takahashi
出版情報: London ; Tokyo : Chapman & Hall, 1998  vi, 392 p. ; 24 cm
所蔵情報: loading…
28.

図書

図書
edited by Dina Berkeley ... [et al.]
出版情報: London : Chapman & Hall, 1998  xi, 265 p. ; 24 cm
所蔵情報: loading…
29.

図書

図書
Alistair Sutcliffe, Juergen Ziegler, Peter Johnson
出版情報: Boston : Kluwer Academic Publishers, c1998  ix, 212 p. ; 25 cm
所蔵情報: loading…
30.

図書

図書
edited by Ralf Denzer, David A. Swayne and Gerald Schimak
出版情報: London ; Tokyo : Chapman & Hall, 1997  viii, 360 p. ; 24 cm
所蔵情報: loading…
31.

図書

図書
edited by David Gries, Willem-Paul de Roever
出版情報: London : Chapman & Hall, c1998  viii, 486 p. ; 24 cm
所蔵情報: loading…
32.

図書

図書
edited by Yannis Ioannidis and Wolfgang Klas
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vii, 380 p. ; 24 cm
所蔵情報: loading…
33.

図書

図書
edited by Raouf Boutaba and Abdelhakim Hafid
出版情報: London : Chapman & Hall on behalf of the International Federation for Imformation Processing, 1998  vi, 280 p. ; 24 cm
所蔵情報: loading…
34.

図書

図書
[sponsored by the IEEE Communications Society Committee on Network Operations and Management and the IFIP Working Group 6.6 on Network Management]
出版情報: Piscataway, NJ : IEEE Service Center, c1998  3 v. (xix, 889 p.) ; 28 cm
所蔵情報: loading…
35.

図書

図書
edited by M. Papageorgiou and A. Pouliezos
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon, 1997  3 v. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected chapter headings:Plenary
Keynote Address / Paper I:
Air Traffic
Incident Detection / Management I:
Multi-Mode Transportation
Vehicle Control
Dynamic Route Guidance
Freight and Fleet
Urban Traffic Control I
Marine Systems I
Public Transport Planning
Global Optimization Applications
Rail Traffic Modeling
Neural Network Applications I
Motorway Traffic Control
Travel Time Estimation and Prediction
Traffic Assignment
Travel and Traffic Information
Selected chapter headings:Plenary
Keynote Address / Paper I:
Air Traffic
36.

図書

図書
edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Vladimir Marik
出版情報: Boston : Kluwer Academic Publishers, c1998  xxii, 632 p. ; 25 cm
所蔵情報: loading…
37.

図書

図書
edited by Tom McMaster ... [et al.]
出版情報: London ; New York : Chapman & Hall on behalf of the International Federation for Information Processing, 1997  xxi, 380 p. ; 24 cm
所蔵情報: loading…
38.

図書

図書
edited by A. Storr, Dennis Jarvis
出版情報: London : Chapman & Hall, 1996  196 p. ; 24 cm
所蔵情報: loading…
39.

図書

図書
edited by Alaistair Sutcliffe, David Benyon and Frans van Assche
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vi, 273 p. ; 24 cm
所蔵情報: loading…
40.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, Gessellschaft fuer Informatik
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xiv, 422 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
edited by Robert Meersman and Leo Mark
出版情報: London : Chapman & Hall, 1997  vii, 613 p ; 24 cm
所蔵情報: loading…
42.

図書

図書
edited by Luis M. Camarinha-Matos
出版情報: London ; Tokyo : Chapman & Hall, 1997  viii, 535 p. ; 25 cm
所蔵情報: loading…
43.

図書

図書
edited by Nobuyoshi Terashima and Edward Altman
出版情報: London ; New York : Chapman & Hall, 1996  xii, 572 p. ; 25 cm
所蔵情報: loading…
44.

図書

図書
edited by José L. Encarnação and Jan M. Rabaey
出版情報: London ; New York : Chapman & Hall, 1996  ix, 342 p. ; 24 cm
所蔵情報: loading…
45.

図書

図書
edited by Ralf Denzer, Gerald Schimak and David Russell
出版情報: London : Chapman & Hall, 1996  x, 286 p. ; 24cm
所蔵情報: loading…
46.

図書

図書
edited by Demetres D. Kouvatsos
出版情報: London ; New York : Chapman & Hall, 1996-1997  2 v. ; 24 cm
所蔵情報: loading…
47.

図書

図書
edited by Jørgen Nørgaard and Villy Bæk Iversen
出版情報: London ; New York : Chapman & Hall, 1996  x, 307 p. ; 24 cm
所蔵情報: loading…
48.

図書

図書
edited by Sjaak Brinkkemper, Kalle Lyytinen and Richard J. Welke
出版情報: London : Chapman & Hall, 1996  vi, 324 p. ; 24 cm
所蔵情報: loading…
49.

図書

図書
edited by Tetsuo Tomiyama, Martti Mäntylä and Susan Finger
出版情報: London : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996  viii, 338 p. ; 24cm
所蔵情報: loading…
50.

図書

図書
edited by Guy Doumeingts and Jim Browne
出版情報: London : Chapman & Hall, 1997  x, 395 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼