close
1.

図書

図書
edited by Tadanori Mizuno [et al.]
出版情報: London : Chapman & Hall, 1997  vii, 550 p. ; 24 cm
所蔵情報: loading…
2.

図書

図書
edited by Stan Budkowski, Ana Cavalli, Elie Najm
出版情報: Boston : Kluwer Academic Publishers, 1998  viii, 467 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 6
所蔵情報: loading…
3.

図書

図書
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…
4.

図書

図書
edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
出版情報: Boston : Kluwer Academic, c1999  xii, 436 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 10
所蔵情報: loading…
目次情報: 続きを見る
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1:
Preface
Languages / Part 1:
Piccola - A Small Compositional Language / O. Nierstrasz
An Algebra of Actors / M. Gaspari ; G. Zavattaro
Developing Object-Based Distributed Systems / M. Bonsangue, et al.
Semantics I. Reasoning About Histories in Object-Based Distributed Systems / F.S. de BoerPart 2:
Mobile Nets / N. Busi
Observation Equivalences for the Semantics of Inheritance / C. Balzarotti, et al.
Java and Coordination / Part 3:
Tools for Integrating Formal Methods into the Java Software Development Process / S. Sankar
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA / K. Drira, et al.
Specifying Component-Based Java Applications / S. Cimato
Object Composition and Reuse / Part 4:
Object Composition: A Case Study / D. Ramazani ; G. V. Bochmann
Specifying Reusable Controllers for Software Components / J.M. Troya ; A. Vallecillo
Composition and Interaction for Behavioural Specifications / S. Veglioni ; F. Parisi-Presicce
Telecommunications / Part 5:
Distributed Feature Composition: An Architecture for Telecommunication Services / P. Zave
Pattern Application vs. Inheritance in SDL / B. Gepert, et al.
Engineering Telecommunication Services with SDL / R. Sinnott ; M. Kolberg
SDL in Rigorous Object-Oriented Analysis / R.G. Clark ; A.M.D. Moreira
Formal Methods / Part 6:
A Junction Between State Based and Behavioural Specification / H. Bowman ; J. Derrick
Protocol Assuring Universal Language / R. van Rein ; M. Fokkinga
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations / K. Stoelen
Assessing Service Properties with Regard to a Requested QoS: The Service Metric / C. Linnhoff-Popien ; D. Thissen
Combining Design Methods for Service Development / M. Born, et al.
Emerging Standards / Part 7:
LSCs: Breathing Life Into Message Sequence Charts / W. Damm ; D. Harel
Modular Reasoning for Actor Specification Diagrams / S.F. Smith ; C.L. Talcott
Towards a Formal Operational Semantics of UML Statechart Diagrams / D. Latella, et al.
Semantics II. Foundations for Wide-Area Systems / L. CardelliPart 8:
Calculi for Concurrent Objects / C. Laneev
Infinite Types for Distributed Object Interfaces / E. Najm, et al.
Static Safety Analysis for Non-Uniform Service Availability in Actors / J.L. Colaco, et al.
A Logic for the Specification of Multi-Object Systems / J. Broersen ; R. Wieringa
Semantics III. Distributed and Concurrent Objects Based on Linear Logic / N. Kobayashi ; A. YonezawaPart 9:
Composition in Multiparadigm Specification Techniques / L. Blair ; G. Blair
Formal Development of Object-Based Systems in a Temporal Logic Setting / E. Canver ; F.W. von Henke
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1:
Preface
Languages / Part 1:
5.

図書

図書
sponsored by IEEE Computer Society Technical Committees on Distributed Processing, LSE-Operating Systems Lab., EPF Lausanne, Switzerland
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c1999  xii, 402 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
Referees
Reliability of Future Telephone Networks / R. Cooper
Mobile Computing / Session 1:
Information Dissemination in Partitionable Mobile Ad Hoc Networks / G. Karumanchi ; S. Muralidharan ; R. Prakash
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network / G. Anastasi ; A. Bartoli ; F. Spadoni
Improving Level of Service for Mobile Users using Context-Awareness / P. Couderc ; A. Kermarrec
Distributed Algorithms / Session 2:
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization / K. Schossmaier ; B. Weiss
Real-Time Fault-Tolerant Atomic Broadcast / C. Delporte-Gallet ; H. Fauconnier
A General Framework to Solve Agreement Problems / M. Hurfin ; R. Macedo ; M. Raynal ; F. Tronel
Formal Methods / Session 3:
Formal Hazard Analysis of Hybrid Systems in cTLA / P. Herrmann ; H. Krumm
Safecharts for Specifying and Designing Safety Critical Systems / H. Dammag ; N. Nissanke
Replication Techniques / Session 4:
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive / A. Deplanche ; P. Theaudiere ; Y. Trinquet
View Divergence Control of Replicated Data using Update Delay Estimation / T. Yamashita ; S. Ono
Highly Available Process Support Systems: Implementing Backup Mechanisms / C. Hagen ; G. Alonso
Scalability / Session 5:
Scalable Stability Detection using Logical Hypercube / R. Friedman ; S. Manor ; K. Guo
On Diffusing Updates in a Byzantine Environment / D. Malkhi ; Y. Mansour ; M. Reiter
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems / R. Golding ; E. Borowsky
Failure Analysis / Session 6:
A Component-based Approach to Reliability Analysis of Distributed Systems / S. Yacoub ; B. Cukic ; H. Ammar
Fault Injection based on a Partial View of the Global State of a Distributed System / M. Cukier ; R. Chandra ; D. Henke ; J. Pistole ; W. Sanders
Failure Data Analysis of a LAN of Windows NT based Computers / M. Kalyanakrishnam ; Z. Kalbarczyk ; R. Iyer
System Support / Session 7:
HAMFS File System / Y. Shinkai ; Y. Tsuchiya ; T. Murakami ; J. Williams
Logging and Recovery in Adaptive Software Distributed Shared Memory Systems / A. Kongmunvattana ; N. Tzeng
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems / N. Kandasamy ; J. Hayes ; B. Murray
Logging and Checkpointing / Session 8:
Issues in the Design of a Reflective Library for Checkpointing C++ Objects / M. Kasbekar ; C. Das ; S. Yajnik ; R. Klemm ; Y. Huang
Optimistic Recovery in Multi-threaded Distributed Systems / O. Damani ; A. Tarafdar ; V. Garg
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging / K. Ssu ; B. Yao ; K. Fuchs
Corba / Session 9:
CosNamingFT--A Fault-Tolerant CORBA Naming Service / L. Lung ; J. da Silva Fraga ; J. Farines ; M. Ogg ; A. Ricciardi
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications / P. Narasimhan ; L. Moser ; P. Melliar-Smith
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA / A. van Moorsel
Work in Progress (Fast Abstracts)
Resolving Distributed Deadlocks in the OR Request Model / J. Villadangos ; F. Farina ; J. Gonzalez de Mendivil ; J. Garitagoitia ; J. Bernabeu-Auban ; G. Vossen
An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels / E. Gendelman ; L. Bic ; M. Dillencourt
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems / P. Chevochot ; I. Puaut
An Agent Platform for Reliable Asynchronous Distributed Programming / L. Bellissard ; N. De Palma ; A. Freyssinet ; M. Herrmann ; S. Lacourte
Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogenous Fault-Tolerant ORBs / A. Vaysburd
A Distributed Algorithm for Deadlock Detection under OR-request Model / S. Lee ; Y. Lee
Design and Validation of a Distributed Industrial Control System's Nodes / J. Campelo ; F. Rodriguez ; P. Gil ; J. Serrano
Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System / L. Saidane ; F. Kamoun
Database Replication: If You Must be Lazy, be Consistent / J. Holliday ; D. Agrawal ; A. El Abbadi
A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture / T. Liu
Workshop on Reliable Middleware (Wremi)
Foreword
The Mainframe as a High-Available, Highly Scalable CORBA Platform / W. Froidevaux ; S. Murer ; M. Prater
A Method for Combining Replication with Caching / M. Little ; S. Shrivastava
Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier
Workshop on Electronic Commerce (Welcom)
XML Documents Production for an Electronic Platform of Requests for Proposals / F. Bapst ; C. Vanoirbeek
Service Provision and Composition in Virtual Business Communities / A. Marton ; G. Piccinelli ; C. Turfin
Quality of Service in Business-to-Business E-Commerce Applications / U. Fiedler ; B. Plattner
A Practical Guideline to the Implementation of Online Shops / A. Bartelt ; J. Meyer
Approaching a Formal Definition of Fairness in Electronic Commerce / F. Gartner ; H. Pagnia ; H. Vogt
Trust and Electronic Commerce--More than a Technical Problem / K. Konrad ; J. Barthel ; G. Fuchs
Authorization Methods for E-Commerce Applications / R. Oppliger
Gateways to Overcome Incompatibilities of Security Mechanisms / J. Zollner
Security Mechanisms for using Mobile Agents in Electronic Commerce / P. Marques ; L. Silva ; J. Silva
Accountable Anonymous Access to Services in Mobile Communication Systems / L. Buttyan ; J.-P. Hubaux
On the Provision of Replicated Internet Auction Services / F. Panzieri
The Usability Risk / A. Platt
Index of Authors
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
6.

図書

図書
sponsored by University of Southern California Information Science Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xii, 359 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
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
8.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 356 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; with the support of University of Science Technology and Medicine of Tunis, Faculty of Sciences of Tunes...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 346 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsors IEEE Computer Society Technical Committees on Distributed Processing, Fault-Tolerant Computing, and Operating Systems. In Collaboration with Center for Advanced Computing and Communication.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xi, 191 p. ; 28 cm
所蔵情報: loading…
11.

図書

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

図書

図書
sponsors,IEEE Computer Society Technical Committee on Distributed Processing, HPDC Laboratory at Syracuse University...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiii, 377 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 297 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
edtied by I.M. MacLeod and W.H. Kwon
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1997  viii, 175 p. ; 30 cm
所蔵情報: loading…
15.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  x, 328 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
sponsored by the University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  viii, 233 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
editors, K. Li, T. S. Abdelrahman, E. Luque
出版情報: Anaheim, CA : IASTED/ACTA Press, c1996  iv, 546 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
editors, K. Li ... [et al.]
出版情報: Anaheim, CA : IASTED/ACTA Press, c1997  xiv, 588 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
editors, Yi Pan, Selim G. Akl, and Keqin Li
出版情報: Anaheim, CA : IASTED/ACTA Press, [1998]  v, 722 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
sponsored by Argonne National Laboratory, HPDC Laboratory at Syracuse University, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  xii, 371 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
edited by F. De Paoli and I.M. MacLeod
出版情報: Oxford ; Tarrytown, N.Y. : International Federation of Automatic Control by Pergamon, c1999  vi, 169 p. ; 30 cm
所蔵情報: loading…
22.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1999  xiii, 192 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
23.

図書

図書
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  x, 285 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
editor, S. Q. Zheng
出版情報: Anaheim, CA : IASTED/ACTA Press, c1999  2 v. (ix, 1079 p.) ; 28 cm
所蔵情報: loading…
26.

図書

図書
in honor of C.V. Ramamoorthy ; sponsored by IEEE Computer Society Technical Committees on Distributed Processing ; in cooperation with Purdue University, The Ohio State University
出版情報: Los Alamitos, CA : IEEE Computer Society, c1998  xiv, 494 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
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…
28.

図書

図書
edited by Jerome Rolia, Jacob Slonim and John Botsford
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi, 325 p. ; 24 cm
所蔵情報: loading…
29.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1997  xii, 197 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  xvii, 596 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
edited by Innes Jelly, Ian Gorton and Peter Croll
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  xi,325p ; 25cm
所蔵情報: loading…
32.

図書

図書
edited by Reinhard Gotzhein and Jan Bredereke
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii, 516 p. ; 25 cm
所蔵情報: loading…
33.

図書

図書
edited by A.E.K. Sahraoui and J.A. de la Puente
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1995  vii, 177 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Temporal Properties in DCCS / Chapter headings: Architecture for DCCS:
Methodologies for DCCS Design I
Scheduling Methods for DCCS
Methodologies for DCCS II
Temporal Properties in DCCS II
Dependability Issues in DCCS
System Analysis
Real-Time Communication
Applications
Temporal Properties in DCCS / Chapter headings: Architecture for DCCS:
Methodologies for DCCS Design I
Scheduling Methods for DCCS
34.

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 772 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, IEEE Computer Society Technical Committee on Operating Systems, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  x, 229 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 174 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 243 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 618 p. ; 29 cm
所蔵情報: loading…
39.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1996  xi, 344 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ... [et al.] ; in cooperation with Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xviii, 642 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1995  viii, 276 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
edited by S.V. Raghavan and Bijendra N. Jain
出版情報: London : Chapman & Hall, 1995  vi, 371 p. ; 25 cm
所蔵情報: loading…
43.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1995  xiv, 239 p. ; 28 cm
所蔵情報: loading…
44.

図書

図書
edited by Kerry Raymond and Liz Armstrong
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995  xii, 516 p. ; 24 cm
所蔵情報: loading…
45.

図書

図書
sponsored by IEEE Technical Committee on Distributed Processing Northeast Parallel Architectures Center (NPAC) at Syracuse University ; in cooperation with ACM SIGCOMM Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xiv, 246 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xi, 531 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
48.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 724 p. ; 29 cm
所蔵情報: loading…
49.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  viii, 175 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
edited by Manfred Broy
出版情報: Berlin ; New York : Springer, c1996  viii, 467 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 152
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼