上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Logic design)
該当件数:115件
Engineering digital design / Richard F. Tinder
2nd ed. - San Diego, Calif. ; London : Academic , c2000
図書 <1001147891>
Logic design theory / Nripendra N. Biswas
Englewood Cliffs, N.J. : Prentice Hall , c1993
図書 <1000471330>
High-speed digital design : a handbook of black magic / Howard W. Johnson, Martin Graham
図書 <1000477217>
Logic and computer design fundamentals / M. Morris Mano and Charles R. Kime
Upper Saddle River, NJ : Prentice Hall , c1997
図書 <1000547785>
Switching theory for logic synthesis / Tsutomu Sasao
Boston, Mass. : Kluwer Academic Publishers , 1999
図書 <1001054706>
Digital systems design with programmable logic / Martin Bolton
Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co. , c1990
図書 <1000389080>
Logic designer's handbook / E.A. Parr
London : Granada , 1987
図書 <1000651852>
Advanced ASIC chip synthesis : using Synopsys Design Compiler and PrimeTime / Himanshu Bhatnagar
Boston : Kluwer Academic , c1999
図書 <1001222052>
Abstract Computing Machines : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science, An EATCS Series)
電子ブック <1002981615>
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series)
電子ブック <1002981637>
Functional decomposition with application to FPGA synthesis / by Christoph Scholl
Boston : Kluwer Academic Publishers , c2001
図書 <1001369606>
P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms / André Thayse
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 175)
図書 <1000586794>
Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / edited by Kousha Etessami, Sriram K. Rajamani
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3576)
電子ブック <1002982199>
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / edited by Joe Hurd, Tom Melham
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3603)
電子ブック <1002982325>
Abstraction, Refinement and Proof for Probabilistic Systems / by Annabelle McIver, Carroll Morgan
New York, NY : Springer Science+Business Media, Inc. , 2005. - (Monographs in Computer Science)
電子ブック <1002981439>
A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005
電子ブック <1002981613>
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3385)
電子ブック <1002981781>
Fundamental Approaches to Software Engineering (vol. # 3442) : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3442)
電子ブック <1002981959>
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3455)
電子ブック <1002981975>
Rapid Integration of Software Engineering Techniques (vol. # 3475) : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / edited by Nicolas Guelfi
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3475)
電子ブック <1002981999>