東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic design)
該当件数:112件
Trust Networks for Recommender Systems / by Patricia Victor, Chris Cornelis, Martine de Cock
Paris : Atlantis Press , 2011. - (Atlantis Computational Intelligence Systems ; 4)
電子ブック
Logic circuits and microcomputer systems / Claude A. Wiatrowski, Charles H. House
New York : McGraw-Hill , c1980. - (McGraw-Hill series in electrical engineering ; . Computer engineering and switching theory)
図書
Logical effort : designing fast CMOS circuits / Ivan Sutherland, Robert Sproull and David Harris
San Francisco, Calif. : Morgan Kaufmann Publishers , c1999
Digital design and computer architecture / David Money Harris, Sarah L. Harris
: pbk.. - 2nd ed. - Waltham, MA : Morgan Kaufmann , c2013
VLSI Physical Design: From Graph Partitioning to Timing Closure / by Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu
Dordrecht : Springer Science+Business Media B.V. , 2011
Logic synthesis and optimization / edited by Tsutomu Sasao
Boston : Kluwer Academic Publishers , c1993. - (The Kluwer international series in engineering and computer science ; VLSI, computer architecture, and digital signal processing)
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6504)
Introduction to the Theory of Programming Languages / by Gilles Dowek, Jean-Jacques Lévy
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
Specification of Software Systems / by V.S. Alagar, K. Periyasamy
2nd Edition. - London : Springer-Verlag London Limited , 2011. - (Texts in Computer Science)
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6405)
Introduction to logic circuits & logic design with Verilog / Brock J. LaMeres
3rd ed. - Cham : Springer , c2024
Advances in Power Electronics and Instrumentation Engineering : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Communications in Computer and Information Science ; 148)
Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6695)
Transactions on High-Performance Embedded Architectures and Compilers III / edited by Per Stenström
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6590)
Regular Nanofabrics in Emerging Technologies : Design and Fabrication Methods for Nanoscale Digital Circuits / by M. Haykel Ben Jamaa
Dordrecht : Springer Science+Business Media B.V. , 2011. - (Lecture Notes in Electrical Engineering ; 82)
Transactions on High-Performance Embedded Architectures and Compilers IV / edited by Per Stenström
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6760)
Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6793)
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6709)
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6706)