close
1.

図書
図書
1. Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980 (: gw ; : us)
edited by J. Encarnacao
出版情報: Berlin : Springer-Verlag, 1980  xiv, 459 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 89
所蔵情報: loading…
2.

図書
図書
2. 24th ACM/IEEE Design Automation Conference, Maiami Beach, Fla. : proceedings 1987 (: pbk ; : microfiche ; : casebound)
ACM/IEEE Design Automation Conference ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery
出版情報: New York : IEEE Computer Society, c1987  xx, 840 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Expert systems in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney (Jenolan Caves), Australia, 17-20 February, 1987
edited by John S. Gero
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  x, 533 p. ; 23 cm
所蔵情報: loading…
4.

図書
図書
4. Computer aided optimal design : structural and mechanical systems (: Germany ; : U.S.)
edited by Carlos A. Mota Soares
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xiii, 1029 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 27
所蔵情報: loading…
5.

図書
図書
5. Optimization in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Optimization of Computer-Aided Design, Lyon, France, 24-26 October, 1983
edited by John S. Gero
出版情報: Amsterdam; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  ix, 373p. ; 23 cm
所蔵情報: loading…
6.

図書
図書
6. 23rd ACM/IEEE Design Automation Conference, June 29-July 2, 1986 : proceedings (: pbk ; : microfiche ; : casebound)
ACM/IEEE Design Automation Conference ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery
出版情報: New York : IEEE Computer Society, c1986  xviii, 835 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. 26th ACM/IEEE Design Automation Conference, June 25-June 29, 1989, Las Vegas Convention Center : proceedings 1989 (: case)
ACM/IEEE Design Automation Conference ; IEEE Computer Society. Design Automation Technical Committee ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery
出版情報: Los Alamitos, Ca. : IEEE Computer Society, c1989  xxvi, 839 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. 1985 IEEE Microprocessor Forum : design productivity through engineering workstations, Atlantic City, New Jersey, April 2-4, 1985 (pbk. ; hard ; microfiche)
IEEE Microprocessor Forum ; Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1985  x, 181 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. 1986 IEEE Workstation Technology & Systems Conference : proceedings : Bally's Park Place Casino Hotel, Atlantic City, NJ, March 17-20, 1986 (pbk. ; microfiche ; hard)
IEEE Workstation Technology & Systems Conference ; Institute of Electrical and Electronics Engineers
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xiii, 143 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. 25th ACM/IEEE Design Automation Conference, June 12-June 15, 1988, Anaheim Convention Center : proceedings 1988 (: pbk. ; : microfiche ; : casebound)
ACM/IEEE Design Automation Conference ; IEEE Computer Society. Design Automation Technical Committee ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery
出版情報: New York : IEEE Computer Society, c1988  xxi, 730 p. ; 29 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼