close
1.

図書
図書
1. Digest of papers : the Seventeenth International Symposium on Fault-Tolerant Computing : FTCS 17 : Fault-Tolerant Computing Symposium, July 6-8, 1987, Sheraton Station Square, Pittsburgh, Pennsylvania, USA (paper ; microfiche ; case)
sponsored by Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  xvi, 311 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Digest of papers : FTCS-10, October 1-3, 1980 : the 10th International Symposium on Fault-Tolerant Computing, Kyoto, Japan
[sponsored by the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society]
出版情報: New York : IEEE, c1980  381 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Digest of papers : 16th Annual International Symposium on Fault-Tolerant Computing Systems : FTCS 16, Vienna, Austria, 1-4 July, 1986 (: pbk ; : case)
sponsored by IEEE Computer Society's Technical Committee on Fault-Tolerant Computing, in cooperation with OCG Austria (Austrian Computer Society) ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986  xv, 432 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Digest of papers : FTCS 12th Annual International Symposium on Fault-Tolerant Computing, June 22-24, 1982, Miramar Sheraton Hotel, Santa Monica, California
sponsored by the IEEE Computer Society, Fault-Tolerant Technical Committee
出版情報: New York, N,Y, : The Institute of Electrical and Electronics Engineers, c1982  xv, 413p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. The Fourteenth International Conference on Fault-Tolerant Computing : digest of papers : FTCS-14, June 20-22, 1984, Hyatt Orlando Hotel, Kissimmee, Florida USA (: pbk. ; : case)
sponsored by the IEEE Computer Society's Technical Committee on Fault-Tolerant Computing
出版情報: Silver Spring, Md. : IEEE Computer Society Press, c1984  xix, 444 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 (: gw ; : us)
M. Joseph (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 229 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 331
所蔵情報: loading…
7.

図書
図書
7. The Eighteenth International Symposium on Fault-Tolerant Computing : digest of papers : FTCS-18, June 27-30, 1988, Keio Plaza Hotel, Tokyo, Japan = 第18回フォールトトレラントコンピューティング国際シンポジウム (pbk. ; microfiche ; case)
the Computer Society ... [et al.]
出版情報: Washington, D.C. : Computer Society Press, c1988  xxvi, 388 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Digest of papers : the Fifteenth Annual International Symposium on Fault-Tolerant Computing : FTCS 15, June 19-21, 1985, Horace H. Rackham Building, the University of Michigan, Ann Arbor, Michigan, USA (: pbk ; : hard)
sponsored by the IEEE Computer Society's Technical Committee on Fault-Tolerant Computing, in cooperation with Department of Electrical Engineering and Computer Science, the University of Michigan and IFIP Working Group 10.4 on Reliable Computing and Fault-Tolerance
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1985  xvii, 445 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Program Committee
A Model for Visualizing Large Answers in WWW Retrieval / O. Alonso ; R. Baeza-Yates
Query Evaluation in Almost Consistent Databases using Residues / M. Arenas ; L. Bertossi ; J. Chomicki
Formalising the Software Evaluation Process / J. Ares ; O. Dieste ; R. Garcia ; M. Lopez ; S. Rodriguez
Software Architectural Specification for Optimal Object Distribution / M. Bastarrica ; S. Demurjian ; A. Shvartsman
Specifying Active Databases in the Situation Calculus / J. Pinto ; R. Valdivia
Intelligent Management of Computer Networks: The GIR Proposal / A. Britto Jr. ; E. Paraiso ; E. Scalabrin ; C. Kaestner ; B. Avila
On a Tree-like Representation for Symbolic-Numeric Data and its use in Galois Lattice Method / M. Daniel-Vatonne ; C. Hemce
Workflow Modeling: Exception and Failure Handling Representation / N. Edelweiss ; M. Nicolao
Dynamic Programming as Frame for Efficient Parsing / M. Ferro ; D. Souto ; M. Pardo
The Use of Agents Techniques on Intelligent Tutoring Systems / L. Giraffa ; R. Viccari
Meta Data Support for Evolutionary Software Systems / R. Kutsche ; A. Sunbul
An Improvement of the Guajardo-Paar Method for Multiplication on Non-Supersingular Elliptic Curves / J. Lopez ; R. Dahab
Rationality Postulates for Relevance Relations / A. Maguitman ; G. Simari
Resurrecting Ada's Rendez-Vous in Java / L. Mateu ; J. Piquer ; J. Leon
Analyzing Performance of Cache Server Hierarchies / W. Meira Jr. ; E. Fonseca ; C. Murta ; V. Almeida
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA / C. Montez ; R. Oliveira ; J. Fraga
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design / C. Pons ; G. Baum ; M. Felder
Clipping: A Technique for Improving Retrieval Performance / B. Ribeiro-Neto ; G. Guimaraes ; I. Silva
Parallel Generation of Inverted Files for Distributed Text Collections / J. Kitajima ; G. Navarro ; C. Sant'Ana ; N. Ziviani
Evolutionary Algorithms for Constraint Satisfaction Problems / M. Riff
AMACA: A Multi-Agent Collaborative Architecture / J. Sagula ; M. Puricelli ; G. Bobeff ; G. Martin ; M. Milrad
Behavior of Keys in Random Databases / O. Seleznjev ; B. Thalheim
Automatic Verification of Hybrid Systems: An Audio Control Protocol / L. Sierra
Tool Support for Helping the use of Frameworks / R. Silva ; R. Price
Constraints in Generalization Structures in Conceptual Database Schemes / M. Varas ; R. Contreras ; D. Campos
Index of Authors
Foreword
Program Committee
A Model for Visualizing Large Answers in WWW Retrieval / O. Alonso ; R. Baeza-Yates
9.

図書
図書
9. The Nineteenth International Symposium on Fault-Tolerant Computing : digest of papers : FTCS-19 (: pbk. ; : case)
International Symposium on Fault-Tolerant Computing Systems ; IEEE Computer Society
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  xxii, 575 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986. 1st ed.
edited by W.J. Quirk
出版情報: Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986  viii, 193 p. ; 31 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼