close
1.

図書

図書
Pierre Boulanger, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1997  vii, 236 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2910
所蔵情報: loading…
2.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery, c1999  xxiv, 613 p. ; 28 cm
所蔵情報: loading…
3.

図書

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

図書

図書
edited by Magdy A. Bayoumi, Greham Jullien ; organized by the Center for Advanced computer Studies, University of Southwestern Louisiana ; co-sponsored by IEEE Circuits and Systems Society, IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xvi, 460 p.
所蔵情報: loading…
5.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Circuits and Systems Society ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers ; IEEE Electron Devices Society
出版情報: New York : Association for Computing Machinery, c1998  xxii, 704 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, University of Illinois Urbana Champaign ECE Department
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 189 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
Laurence Pierre, Thomas Kropf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1703
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Esterel and Jazz Two Synchronous Languages for Circuit Design / Gérard Berry
Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specifications / Peter Jansen
Proof of Microprocessors
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer / Ravi Hosabettu ; Ganesh Gopalakrishnan ; Mandayam Srivas
Formal Verification of Explicitly Parallel Microprocessors / Byron Cook ; John Launchbury ; John Matthews ; Dick Kieburtz
Superscalar Processor Verification Using Efficient Reductions of the Logic of Equality with Uninterpreted Functions to Propositional Logic / Miroslav Velev ; Randal Bryant
Model Checking
Model Checking TLA+ Specifications / Yuan Yu ; Panagiotis Manolios ; Leslie Lamport
Efficient Decompositional Model-Checking for Regular Timing Diagrams / Nina Amla ; E. Allen Emerson ; Kedar S. Namjoshi
Vacuity Detection in Temporal Model Checking / Orna Kupferman ; Moshe Vardi
Formal Methods and Industrial Applications
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard / Cindy Eisner
Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors / Y.Xu ; E.Cerny ; A.Silburt ; A.Coady ; Y.Liu ; P.Pownall
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics / Marius Bozga ; Oded Maler ; Stavros Tripakis
Abstraction and Compositional Techniques From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking / E.Allen Emerson ; Richard J. Trefler
Automatic Error Correction of Large Circuits Using Boolean Decomposi- tion and Abstraction / Dirk W. Hoffmann ; Thomas Kropf
Abstract BDDs: A Technique for Using Abstraction in Model Checking / Edmund Clarke ; Somesh Jha ; Yuan Lu ; Dong Wang
Theorem Proving Related Approaches
Formal Synthesis at the Algorithmic Level / Christian Blumenröhr ; Viktor Sabelfeld
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving / Mark Aagaard ; Thomas Melham ; John O'Leary
Verification of Infinite State Systems by Compositional Model Checking / K.L.McMillan
Symbolic Simulation/Symbolic Traversal
Formal Verification of Designs with Complex Control by Symbolic Simulation / Gerd Ritter ; Hans Eveking ; Holger Hinrichsen
Hints to Accelerate Symbolic Traversal / Kavita Ravi ; Fabio Somenzi
Specification Languages and Methodologies
Modeling and Checking Networks of Communicating Real-Time Processes / Jürgen Ruf
"Have I Written Enough Properties?" A Method of Comparison between Specification and Implementation / Sagi Katz ; Orna Grumberg ; Danny Geist
Program Slicing of Hardware Description Languages / E.Clarke ; M.Fujita ; S.P.Rajan ; T.Reps ; S.Shankar ; T.Teitelbaum
Posters
Results of the Verification of a Complex Pipelined Machine Model / Jun Sawada ; Warren A. Hunt, Jr
Hazard-Freedom Checking in Speed-Independent Systems / Husnu Yenigun ; Vladimir Levin ; Doron Peled ; Peter Beerel
Yet Another Look at LTL Model Checking / Klaus Schneider
Verification of Finite-State-Machine Refinements Using a Symbolic Methodology / Stefan Hendricx ; Luc Claesen
Refinement and Property Checking in High-Level Synthesis Using Attribute Grammars / George Economakos ; George Papakonstantinou
A Systematic Incrementalization Technique and Its Application to Hardware Design / Steven Johnson ; Yanhong Liu ; Yuchen Zhang
Bisimulation and Model Checking / Kathi Fisler ; Moshe Y. Vardi
Circular Compositional Reasoning about Liveness
Symbolic Simulation of Microprocessor Models Using Type Classes in Haskell / Nancy A. Day ; Jeffrey R. Lewis
Exploiting Retiming in a Guided Simulation Based Validation Methodology / Aarti Gupta ; Pranav Ashar ; Sharad Malik
Fault Models for Embedded Systems / Jens Chr. Godskesen
Validation of Object-Oriented Concurrent Designs by Model Checking / Michaela Huhn ; George Logothetis
Author Index
Invited Talks
Esterel and Jazz Two Synchronous Languages for Circuit Design / Gérard Berry
Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specifications / Peter Jansen
8.

図書

図書
sponsored by the Electrical and Electronic Packaging Division, ASME ; edited by Dereje Agonafer ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c1996  v, 123 p. ; 28 cm
シリーズ名: EEP ; vol. 18
所蔵情報: loading…
9.

図書

図書
edited by L. Boullart, M. Loccufier, and S.E. Mattsson
出版情報: Oxford ; Tarrytown, N.Y. : Published for the International Federation of Automatic Control by Pergamon, 1997  viii, 378 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected chapter headings: Plenary Paper
Hybrid Discrete-Event and Real-Time Systems
Symbolic and Numerical Computations / Part 1:
Special Architectures for CACSD
Control Systems Design
Software for CACSD
CACSD Support Environments
Planning and Manufacturing
System Modelling and Simulation
Robust Control / Part 2:
Intelligent Controller Design
Selected chapter headings: Plenary Paper
Hybrid Discrete-Event and Real-Time Systems
Symbolic and Numerical Computations / Part 1:
10.

図書

図書
edited by John S. Gero and Fay Sudweeks
出版情報: Dordrecht ; London : Kluwer Academic, c1998  x, 679 p. ; 25 cm
所蔵情報: loading…
11.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xxvi, 769 p. ; 28 cm
所蔵情報: loading…
12.

図書

図書
Franz Pichler, Roberto Moreno-Díaz, (Eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1997  xi, 626 p., [1] p. of plates ; 24 cm
シリーズ名: Lecture notes in computer science ; 1333
所蔵情報: loading…
目次情報:
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
13.

図書

図書
sponsored by IEICE (Institute of Electronics, Information and Communication Engineers) ... [et al.]
出版情報: Piscataway, New Jersey : IEEE, c1998  xxxvii, 606 p. ; 30 cm
所蔵情報: loading…
14.

図書

図書
Ganesh Gopalakrishnan, Phillip Windley, (eds.)
出版情報: Berlin ; New York : Springer, c1998  ix, 528 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1522
所蔵情報: loading…
目次情報: 続きを見る
Minimalist Proof Assistants: Interactions of Technology an Methodology in Formal System Level Verification / Kenneth L. McMillan
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution / Robert B. Jones ; Jens U. Skakkebaek ; David L. Dill
Bit-Level Abstraction in the Verification of Pipelined Microprocessors by Correspondence Checking / Miroslav N. Velev ; Randal E. Bryant
Solving Bit-Vector Equations / M.Oliver Moller ; Harald Rueß
The Formal Design of 1M-Gate ASICs / Asgeir Por Eiriksson
Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations / Justin E. Harlow III ; Franc Brglez
A Tutorial on Stalmarck's Proof Procedure for Propositional Logic Mary Sheeran and Gunnar Stalmarck
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods / Macha Nikolskaia ; Antoine Rauzy ; David James Sherman
Bisimulation Minimization in an Automata-Theoretic Verification Framework / Kathi Fisler ; Moshe Y. Vardi
Automatic Verification of Mixed-Level Logic Circuits / Keith Hanna
A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk / S. Tasiran ; S.P. Khatri ; S. Yovine ; R.K. Brayton ; A. Sangiovanni-Vincentelli
Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints / Fen Jin ; Henrik Hulgaard ; Eduard Cerny
Using MTBDDs for Composition and Model Checking of Real-Time Systems / Jurgen Ruf ; Thomas Kropf
Formal Methods in CAD from an Industrial Perspective / Carl-Johan H. Seger
A Methodology for Automatic Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool / Nazanin Mansouri ; Ranga Vemuri
Combined Formal Post- and Presynthesis Verification in High Level Synthesis / Thomas Lock ; Michael Mendler ; Matthias Mutz
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem / Abdel Mokkedem ; Ravi Hosabettu ; Ganesh Gopalakrishnan
A Performance Study of BDD-Based Model Checking / Bwolen Yang ; David R. O'Hallaron ; Armin Biere ; Olivier Coudert ; Geert Janssen ; Rajeev K. Ranjan ; Fabio Somenzi
Symbolic Model Checking Visualization / Gila Kamhi ; Limor Fix ; Ziv Binyamini
Input Elimination and Abstraction in Model-Checking / Sela Mador-Haim
Symbolic Simulation of the JEM1 Microprocessor / David A. Greve
Symbolic Simulation: An ACL2 Approach / J. Strother Moore
Verification of Data-Insensitive Circuits: An In-Order-Retirement Case Study / Amir Pnueli ; T. Arons
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification / Sergey Berezin ; Edmund Clarke ; Yunshan Zhu
Formally Verifying Data and Control with Weak Reachability Invariants / Jeffrey Su
Generalized Reversible Rules / C. Norris Ip
An Assume-Guarantee Rule for Checking Simulation / Thomas A. Henzinger ; Shaz Qadeer ; Sriram K. Rajamani ; Serdar Tasiran
Three Approaches to Hardware Verification: HOL, MDG, and VIS Compared / Sofiene Tahar ; Paul Curzon ; Jianping Lu
An Instruction Set Process Calculus / Shiu-Kai Chin ; Jang Dae Kim
Techniques for Implicit State Enumeration of EFSMs / James H. Kukula ; Tom R. Shiple ; Adnan Aziz
Model Checking on Product Structures / Klaus Schneider
BDDNOW: A Parallel BDD Package / Kim Milvang-Jensen ; Alan J. Hu
Model-Checking VHDL with CV / David Deharbe ; Subash Shankar ; Edmund M. Clarke
Alexandria: A Tool for Hierarchical Verification / Annette Bunker ; Trent N. Larson ; Michael D. Jones ; Phillip J. Windley
PV: An Explicit Enumeration Model-Checker / Ratan Nalumasu
Author Index
Minimalist Proof Assistants: Interactions of Technology an Methodology in Formal System Level Verification / Kenneth L. McMillan
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution / Robert B. Jones ; Jens U. Skakkebaek ; David L. Dill
Bit-Level Abstraction in the Verification of Pipelined Microprocessors by Correspondence Checking / Miroslav N. Velev ; Randal E. Bryant
15.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  ix, 179 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  viii, 151 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
editors, Zhang Qian-Ling, Tang Ting-Ao, Yu Huihua ; sponsored by Chinese Institute of Electronics ... [et al.]
出版情報: Shanghai : Shanghai Scientific and Technological Literature Pub. House, 1996  452 p. ; 30 cm
所蔵情報: loading…
18.

図書

図書
sponsored by the Committee on Analysis and Computation of the ASCE Structural Division ; edited by Franklin Y. Cheng
出版情報: New York : American Society of Civil Engineers, c1996  ix, 522 p. ; 22 cm
所蔵情報: loading…
19.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xxv, 703 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
edited by R. Soenen and G.J. Olling
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995  271 p. ; 25 cm
所蔵情報: loading…
21.

図書

図書
Ramayya Kumar, Thomas Kropf (eds.)
出版情報: Berlin : Springer, c1995  viii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 901
所蔵情報: loading…
22.

図書

図書
sponsored by the Japan Society of Applied Physics, IEEE Electron Devices Society, in cooperation with IEEE Asian Steering Committee for Trans. on CAD/ICAS, Institute of Electronics, Information and Communication Engineers
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan , Piscataway, NJ : Copies can be purchased from IEEE Service Center Single Publication Sales Unit, c1993  xi, 179 p. ; 30 cm
所蔵情報: loading…
23.

図書

図書
co-sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, CSE Department, University or Notre Dame, in cooperation with ACM SIGDA
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xiv, 259 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
sponsored by VLSI Society of India(VSI), Dept. of Electronics-Government of India in cooperation with the IEEE Cmputer Society's Technical Committees on Design Automation and VLSI, IEEE Circuits and Systems Society, ACM SIGDA
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xxvii, 425 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
edited by John S. Gero and Fay Sudweeks (associate editor)
出版情報: London : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996  vi,298p ; 24cm
所蔵情報: loading…
26.

図書

図書
edited by Franz J. Rammig and Flávio R. Wagner
出版情報: London : Chapman & Hall, c1995  vi,280p ; 24cm
所蔵情報: loading…
27.

図書

図書
edited by Donald E. Grierson, Prabhat Hajela
出版情報: Berlin ; New York : Springer, c1996  350 p. ; 24 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 149
所蔵情報: loading…
28.

図書

図書
Tuncer I. Ören, George J. Klir, (eds.)
出版情報: Berlin ; New York : Springer, c1996  ix, 437 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1105
所蔵情報: loading…
29.

図書

図書
A. Díaz de Ilarraza Sánchez, I. Fernández de Castro, (eds.)
出版情報: Berlin ; New York : Springer, c1996  xiv, 480 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1108
所蔵情報: loading…
30.

図書

図書
edited by John S. Gero and Fay Sudweeks
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1996  xi, 782 p. ; 25 cm
所蔵情報: loading…
31.

図書

図書
sponsored by VLSI Society of India, Deptartment of Electronics, Government of India ; in cooperation with IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xxxiv, 439 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
F. Pichler, R. Moreno-Díaz, R. Albrecht (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996  x, 538 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1030
所蔵情報: loading…
33.

図書

図書
Paolo E. Camurati, Hans Eveking (eds.)
出版情報: Berlin ; New York : Springer, c1995  viii, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 987
所蔵情報: loading…
34.

図書

図書
sponsored by Gesellschaft für Informatik e.V. ... [et al.]
出版情報: Los Alamitos : IEEE Computer Society Press, c1995  xxviii, 608 p. ; 29 cm
所蔵情報: loading…
35.

図書

図書
sponsored by IEEE Computer Society ... [et al.] ; edited by Don Thomas and Rolf Ernst
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  ix, 141 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by Gesellschaft für Informatik e.V. ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xxiii, 579 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
sponsored by IEEE Computer Society ... [et al.] ; in cooperation with ACM SIGDA
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xv, 274 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
sponsored by Iowa State University, IEEE Computer Society Technical Committee on VLSI, IEEE Circuits and Systems Society ; in cooperation with IEEE Signal Processing Society, ACM SIGDA
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiii, 300 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
Mandayam Srivas, Albert Camilleri (eds.)
出版情報: Berlin : Springer, c1996  ix, 470 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1166
所蔵情報: loading…
40.

図書

図書
edited by Franz J. Rammig, Ron Waxman
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1991  xii, 397 p. ; 23 cm
所蔵情報: loading…
41.

図書

図書
F. Pichler, R. Moreno Díaz (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 761 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 585
所蔵情報: loading…
42.

図書

図書
sponsored by the Modeling and Identification Technical Panel of the Dynamic Systems and Control Division, ASME ; edited by Jeffrey L. Stein
出版情報: New York, N.Y. : ASME, c1991  v, 89 cm. ; 26 cm
シリーズ名: DSC ; vol. 34
所蔵情報: loading…
43.

図書

図書
edited by V. Stavridou, T.F. Melham, R.T. Boute
出版情報: Amsterdam ; New York : North-Holland, 1992  360 p.
シリーズ名: IFIP transactions ; A . Computer science and technology ; 10
所蔵情報: loading…
44.

図書

図書
edited by David C. Brown, M.B. Waldron, Hiroyuki Yoshikawa
出版情報: Amsterdam ; New York : North-Holland, 1992  x, 463 p. ; 23 cm
シリーズ名: IFIP transactions ; B . Applications in technology ; 4
所蔵情報: loading…
45.

図書

図書
edited by H.A. Barker
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992  xiv, 457 p. ; 31 cm
シリーズ名: IFAC symposia series ; 1992, no. 1
所蔵情報: loading…
46.

図書

図書
sponsored by EDAC Association, in cooperation with IEEE Computer Society Technical Committee on Design Automation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xx, 569 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
P.J.W. ten Hagen, P.J. Veerkamp (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  x, 270 p. ; 25 cm
シリーズ名: Eurographic seminars : tutorials and perspectives in computer graphics
所蔵情報: loading…
48.

図書

図書
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xiii, 372 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 531
所蔵情報: loading…
49.

図書

図書
edited by H. Yoshikawa, F. Arbab
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991  xii, 350 p. ; 23 cm
所蔵情報: loading…
50.

図書

図書
edited by Naveed Sherwani ; sponsored by Department of Computer Science, Western Michigan University, in cooperation with IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  xi, 213 p. ; 28 cm
所蔵情報: loading…
51.

図書

図書
Design Automation Conference ; Ravani, Bahram, 1953- ; American Society of Mechanical Engineers. Design Automation Committee
出版情報: New York : American Society of Mechanical Engineers, c1990  vii, 342 p. ; 28 cm
シリーズ名: DE ; vol. 23 . Advances in design automation, 1990 : presented at the ASME design technical conferences - 16th Design Automation Conference, Chicago, Illinois, September 16-19, 1990 / sponsored by the Design Automation Committee of the Design Engineering Division, ASME ; edited by B. Ravani ; vol. 1
所蔵情報: loading…
52.

図書

図書
Design Automation Conference ; Ravani, Bahram, 1953- ; American Society of Mechanical Engineers. Design Automation Committee
出版情報: New York : American Society of Mechanical Engineers, c1990  viii, 448 p. ; 28 cm
シリーズ名: DE ; vol. 23 . Advances in design automation, 1990 : presented at the ASME design technical conferences - 16th Design Automation Conference, Chicago, Illinois, September 16-19, 1990 / sponsored by the Design Automation Committee of the Design Engineering Division, ASME ; edited by B. Ravani ; vol. 2
所蔵情報: loading…
53.

図書

図書
edited by Jørgen Staunstrup, Robin Sharp
出版情報: Amsterdam ; New York : North-Holland , [New York] : Elsevier Science [distributor], 1992  viii, 287 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 5
所蔵情報: loading…
54.

図書

図書
edited by J.S. Gero ; associate editor, Fay Sudweeks
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1992  xi, 926 p. ; 25 cm
所蔵情報: loading…
55.

図書

図書
general chair, Mike Newman ; editor, Tom Rhyne
出版情報: Amsterdam ; Tokyo : North-Holland, 1992  x, 288 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 16
所蔵情報: loading…
56.

図書

図書
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990  xv, 414 p. ; 24 cm
シリーズ名: VLSI Design methods ; v. 1
所蔵情報: loading…
57.

図書

図書
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributed in the U.S. and Canada, Elsevier Science Pub. Co., 1990
所蔵情報: loading…
58.

図書

図書
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributed in the U.S. and Canada, Elsevier Science Pub. Co., 1990  xv, 427 p. ; 24 cm
シリーズ名: VLSI Design methods ; v. 2
所蔵情報: loading…
59.

図書

図書
edited by H. Yoshikawa, T. Holden
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990  xiv, 380 p. ; 23 cm
所蔵情報: loading…
60.

図書

図書
C.F.M. Creasy, C. Craggs
出版情報: New York : E. Horwood, 1990  189 p. ; 25 cm
所蔵情報: loading…
61.

図書

図書
F. Pichler, R. Moreno Díaz, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 449 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 763
所蔵情報: loading…
62.

図書

図書
sponsored by EDA Association, in cooperation with IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xxv, 601 p. ; 28 cm
所蔵情報: loading…
63.

図書

図書
sponsored by IEEE Computer Society Technical Committee on VLSI ; in cooperation with IEEE Circuits and Systems Society, ACM SIGDA
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xiii, 144 p. ; 28 cm
所蔵情報: loading…
64.

図書

図書
edited by John S. Gero, Enn Tyugu
出版情報: Amsterdam ; New York : Elsevier, 1994  viii, 362 p. ; 23 cm
シリーズ名: IFIP transactions ; B . Applications in technology ; 18
所蔵情報: loading…
65.

図書

図書
sponsored by VLSI Society of India (VSI) , DOE, Government of India ; in cooperation with ACM SIGDA IEEE, IEEE Circuits and Systems Society, IEEE Computer Society DATC, VLSI-TC
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xx, 423 p. ; 28 cm
所蔵情報: loading…
66.

図書

図書
sponsored by National Taiwan University in cooperation with IEEE Electron Device Society
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1993  117 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
edited by Adrian Bowyer
出版情報: Oxford ; New York : Oxford University Press, c1994  xi, 472 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 48
所蔵情報: loading…
68.

図書

図書
edited by John S. Gero, and Fay Sudweeks
出版情報: Dordrecht ; Boston : Kluwer Academic, c1994  xi, 768 p. ; 25 cm
所蔵情報: loading…
69.

図書

図書
sponsored by the Electrionic Packaging Division, ASME ; edited by Dereje Agonafer, Robert E. Fulton
出版情報: New York : American Society of Mechanical Engineers, c1992  v, 83 p. ; 28 cm
シリーズ名: EEP ; vol. 3
所蔵情報: loading…
70.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Design Automation, the Association for Computing Machinery Special Interest Group on Design Automation (SIGDA) ; in cooperation with IFIP Workgroups 10.2 and 10.5
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  ix, 171 p. ; 28 cm
所蔵情報: loading…
71.

図書

図書
edited by F.-L. Krause, H. Jansen
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors, for the U.S. and Canada, Elsevier Science Pub. Co., 1990  x, 457 p. ; 23 cm
所蔵情報: loading…
72.

図書

図書
Shuzi Yang, Ji Zhou, Cheng-Gang Li, chairs/editors ; sponsored by Chinese Computer Federation ... [et al.] ; cosponsored by Association for Computing Machinery, SIGGRAPH, USA ... [et al.] ; organized by Huazhong University of Science and Technology, China ; published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c1996  xiii, 826 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2644
所蔵情報: loading…
73.

図書

図書
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb
出版情報: Düsseldorf : VDI Verlag, c1990  100 p. ; 23 cm
シリーズ名: VDI-Berichte ; 861.1
所蔵情報: loading…
74.

図書

図書
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb
出版情報: Düsseldorf : VDI Verlag, c1990  321 p. ; 23 cm
シリーズ名: VDI-Berichte ; 861 . Datenverarbeitung in der Konstruktion '90 ; 2
所蔵情報: loading…
75.

図書

図書
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb
出版情報: Düsseldorf : VDI Verlag, c1990  192 p. ; 23 cm
シリーズ名: VDI-Berichte ; 861 . Datenverarbeitung in der Konstruktion '90 ; 3
所蔵情報: loading…
76.

図書

図書
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb
出版情報: Düsseldorf : VDI Verlag, c1990  102 p. ; 23 cm
シリーズ名: VDI-Berichte ; 861 . Datenverarbeitung in der Konstruktion '90 ; 4
所蔵情報: loading…
77.

図書

図書
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb
出版情報: Düsseldorf : VDI Verlag, c1990  142 p. ; 23 cm
シリーズ名: VDI-Berichte ; 861 . Datenverarbeitung in der Konstruktion '90 ; 5
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼