واقع در: بیجا
Electronic design automation for IC system design, verification, and testing (2016) / Lavagno ، Luciano
نوع مدرک: متون چاپی سرشناسه Lavagno ، Luciano ردهبندی کنگره : TK7874 .E26 2016 عنوان : Electronic design automation for IC system design, verification, and testing ویرایش : Second edition ناشر: بیجا : CRC Press سال نشر : 2016 صفحه شمار: xix, 629 pages ویژگی : illustrations (some colors ابعاد : 29 cm شابک/شاپا 978-1-482-25462-4 یادداشت Revised edition of: EDA for IC system design, verification, and testing. 2006 شناسه افزوده : Lavagno ، Luciano موضوعها : اصفا
Integrated circuits -- Design and construction ؛ Integrated circuits -- Testing ؛ Integrated circuits -- Computer-aided designچکیده : Revised edition of: EDA for IC system design, verification, and testing. 2006 لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=15535 زبان مدرک : English
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت 20201 TK7874 .E26 2016 کتاب لاتین کتابخانه سجاد برق اسناد معمولی موجود
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Kreith ، Frank، نویسنده عنوان : Mechanical engineering handbook ناشر: بیجا : CRC Press سال نشر : 1999 صفحه شمار: 2466 مندرجات 1. Mechanics of solids
2. Engineering thermodynamics
3. Fluid mechanics
4. Heat and mass transfer
5. Electrical engineering
6. Mechanical system controls
7. Energy resources
8. Energy conversion
9. Air conditioning and refrigeration
10-A. Electronic packaging
10. Transportation
11. Engineering design
12. Material
13. Modern manufacturing
14. Robotics
15. Computer-aided engineering
16. Environmental engineering
17. Engineering economics and project management
18. Communications and information systems
19. Mathematics
20. Patent law and miscellaneous topics
Appendix A. Properties of gases and vapors
Appendix B. Properties of liquids
Appendix C. Properties of solids
Appendix D. SI units
Appendix E. Miscellaneousلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=5 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Deliyannis ، T، نویسنده عنوان : Continuous time active filter design تکرار نام مولف : Yichuang SunJ.K. Fidler ناشر: بیجا : CRC Press سال نشر : 1999 صفحه شمار: 457 مندرجات 1. Filter fundamentals2. The approximation problem3. Active elements4. Realization of first- and second-order functions using opamps5. Realization of high-order functions6. Simulation of LC ladder filters using opamps7. Wave active filters8. Single operational transconductance amplifier (OTA) filters9. Two integrator loop OTA-C filters10. OTA-C filters based on ladder simulation11. Multiple integrator loop feedback OTA-C filters12. Current-mode filters and other architecturesAppendix A. A sample of filter functions لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=7 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Ilyas ، Mohammad، نویسنده عنوان : The handbook of Ad hoc wireless networks ناشر: بیجا : CRC Press سال نشر : 2003 صفحه شمار: 559 مندرجات 1. Body, personal, and local Ad hoc wireless networks
2. Multicasting techniques in mobile Ad hoc networks
3. Quality of service in mobile Ad hoc networks
4. Power-conservative designs in Ad hoc wireless networks
5. Performance analysis of wireless Ad hoc networks
6. Coding for the wireless channel
7. Unicast routing techniques for mobile Ad hoc networks
8. Satellite communications
9. Wireless communication protocols
10. An integrated platform for Ad hoc GSM cellular communications
11. IEEE 802.11 and Bluetooth: An architectural overview
12. Position-based routing in Ad hoc wireless networks
13. Structured proactive and reactive routing for wireless mobile Ad hoc
14. Hybrid routing: The pursuit of an adaptable and scalable routing framework for Ad hoc networks
15. Adaptive routing in Ad hoc networks
16. Position-based Ad hoc routes in Ad hoc networks
17. Route discovery optimization techniques in Ad hoc networks
18. Location-aware routing and applications of mobile Ad hoc networks
19. Mobility over transport control protocol/internet protocol (TCP/IP)
20. An intelligent on-demand multicast routing protocol in Ad hoc networks
21. GPS-based reliable routing algorithms for Ad hoc networks
22. Power-aware wireless mobile Ad hoc networks
23. Energy efficient multicast in Ad hoc networks
24. Energy-conserving grid routing protocol in mobile Ad hoc networks
25. Routing algorithms for balanced energy consumption in Ad hoc networks
26. Resource discovery in mobile Ad hoc networks
27. An integrated platform for quality-of-service support in mobile multimedia clustered Ad hoc networks
28. Quality of service models for Ad hoc wireless networks
29. Scheduling of broadcasts in multihop wireless networks
30. Security in wireless Ad hoc networks — a survey
31. Securing mobile Ad hoc networks
32. Security issues in Ad hoc networksلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=11 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Polyanin ، Andrei D، نویسنده عنوان : Handbook integral equations تکرار نام مولف : Alexander V. Manzhirov ناشر: بیجا : CRC Press سال نشر : 1998 صفحه شمار: 796 مندرجات 1. Exact solutions of integral equations
2. Methods for solving integral equations
Supplement 1. Elementary functions and their properties
Supplement 2. Tables of indefinite integrals
Supplement 3. Tables of definite integrals
Supplement 4. Tables of laplace transforms
Supplement 5. Tables of inverse laplace transforms
Supplement 6. Tables of fourier cosine transforms
Supplement 7. Tables of fourier sine transforms
Supplement 8. Tables of mellin transforms
Supplement 9. Tables of inverse mellin transforms
Supplement 10. Special functions and their properties
Referencesلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=12 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Blackwell ، Clenn R، نویسنده عنوان : The electronic packaging handbook ناشر: بیجا : CRC Press سال نشر : 2000 صفحه شمار: 607 مندرجات 1. Fundamentals of the design process
2. Surface mount technology
3. Integrated circuit packages
4. Direct chip attach
5. Circuit boards
6. EMC and printed circuit board design
7. Hybrid assemblies
8. Interconnects
9. Design for test
10. Adhesive and its application
11. Thermal management
12. Testing
13. Inspection
14. Package/enclosure
15. Electronics package reliability and failure analysis: a micromechanics-based approach
16. Product safety and third-party certification
Appendix A: Definitionsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=18 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Skvarenina ، Timothy L، نویسنده عنوان : The power electronics handbook ناشر: بیجا : CRC Press سال نشر : 2002 صفحه شمار: 626 مندرجات 1. Power Electronic Devices2. Power Electronic Circuits and Controls3. Applications and Systems Considerations لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=19 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Hen Hu ، Yu، نویسنده عنوان : Handbook of neural network signal processing تکرار نام مولف : Jenq-Neng Hwang ناشر: بیجا : CRC Press سال نشر : 2002 صفحه شمار: 384 مندرجات 1.Introduction to Neural Networks for Signal Processing 2.Signal Processing Using the Multilayer Perceptron 3.Radial Basis Functions 4.An Introduction to Kernel-Based Learning Algorithms 5.Committee Machines 6.Dynamic Neural Networks and Optimal Signal Processing 7.Blind Signal Separation and Blind Deconvolution 8.Neural Networks and Principal Component Analysis 9.Applications of Artificial Neural Networks to Time Series Prediction 10.Applications of Artificial Neural Networks (ANNs) to Speech Processing 11.Learning and Adaptive Characterization of Visual Contents in Image Retrieval Systems 12.Applications of Neural Networks to Image Processing 13.Hierarchical Fuzzy Neural Networks for Pattern Classification لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=43 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Chambers ، Lance D، نویسنده عنوان : Genetic Algorithms ناشر: بیجا : CRC Press سال نشر : 1999 صفحه شمار: 659 مندرجات 1.A Lamarckian Evolution strategy for genetic Algorithms 2.The Generalisation and Solving of Timetable Scheduling Problems 3.Implementing Fast and Fleible parallel Genetic Algorithms 4.Pattern Evolver 5.Matrix-based GA Representation in a Model of Evolving Animal Communication 6.Algorithms to Improve the Convergence of a Genetic Algorithm with finite state machine genome 7.A Synthesizable VHDL, coding of a Genetic Algorithm 8.Genetic Algorithm Model Fitting 9.Hybrid Genetic Algorithm, Simulated Annealing and tabu Search Heuristic for Vehicle Routing Problems with ime Windows 10.Doing GAs with GAGS 11.Memory efficiency and speed enhancement code for Gas 12.Adaptive Portfolio Trading Using genetic Algorithms 13.Population size, building blocks, fitness landscape and genetic algorithm search efficiency in combinatorrial optimization: An empirical study 14.Experimental Results on the effects of Multi-parent Recombination: An Overview لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=51 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Whitaker ، Jerry C، نویسنده عنوان : AC Power systems handbook ناشر: بیجا : CRC Press سال نشر : 1999 صفحه شمار: 563 مندرجات 1. Power Distribution and Control
2. The Origins of AC Line Disturbances
3. The Effects of Transient Disturbances
4. Power System Components
5. Power System Protection Alternatives
6. Facility Protection Methods
7. Facility Grounding
8. Standby Power Systems
9. Safety and Protection Systems
10. Power Quality Standardsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=115 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Paolucci ، Massimo، نویسنده عنوان : Agent-Based Manufacturing and Control Systems تکرار نام مولف : Roberto Sacile ناشر: بیجا : CRC Press سال نشر : 2005 صفحه شمار: 268 مندرجات 1. Agent Technology in Modern Production Systems
2. Issues in Designing Agent-Based Manufacturing Systems
3. Agents for Planning, Scheduling, and Control
4. Agent-Based Simulation
5. Agent System Implementation
Past Successes
6. Past Successes
7. Future Challengesلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=140 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Konar ، Amit، نویسنده عنوان : Artificial intelligence and soft computing ناشر: بیجا : CRC Press سال نشر : 2000 صفحه شمار: 788 مندرجات 1. Introduction to Artificial Intelligence andSoft Computing2. The Psychological Perspective ofCognition3. Production Systems4. Problem Solving by Intelligent Search5. The Logic of Propositions and Predicates6. Principles in Logic Programming7. Default and Non-Monotonic Reasoning8. Structured Approach to KnowledgeRepresentation9. Dealing with Imprecision and Uncertainty10. Structured Approach to Fuzzy Reasoning11. Reasoning with Space and Time12. Intelligent Planning13. Machine Learning Techniques14. Machine Learning Using Neural Nets15. Genetic Algorithms16. Realizing Cognition Using FuzzyNeural Nets17. Visual Perception18. Linguistic Perception19. Problem Solving by ConstraintSatisfaction20. Acquisition of Knowledge21. Validation, Verification andMaintenance Issues22. Parallel and Distributed Architecturefor Intelligent Systems23. Case Study I: Building a System forCriminal Investigation24. Case Study II: Realization of Cognitionfor Mobile Robots25. The Expectations from the ReadersAppendix A: How to Run the Sample Programs?Appendix B: Derivation of the Back-propagationAlgorithmAppendix C: Proof of the Theorems of Chapter 10 لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=208 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Kong Tse ، Chi، نویسنده عنوان : Complex behavior of switching power converters ناشر: بیجا : CRC Press سال نشر : 2004 صفحه شمار: 266 مندرجات 1. Introduction
2. Computer and laboratory techniques for studying nonlinear behavior in switching power converters
3. Modeling of switching power converters for nonlinear dynamical analysis
4. Analysis of period-doubling bifurcation in switching converters operating in discontinuous conduction mode
5. Bifurcation behavior in switching power converters: smooth versus non-smooth bifurcations
6. Nonlinear dynamics of the ´Cuk converter
7. Bifurcation behavior of parallel-connected buck converters via discrete-time models
8. Slow-scale bifurcation behavior of parallel-connected boost converters via averaged models
9. Fast-scale bifurcation analysis of power-factor-correction boost converters
10. Intermittent chaotic operation in switching power converters
Glossary
Bibliographyلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=308 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Chung ، Christopher A، نویسنده عنوان : Simulation Modeling Handbook تکرار نام مولف : Charles E. Donaghey, Somasundaram Gopalakrishnan, Abu M. Huda, Erick C. Jones, Matt Rohrer, Randal W. Sitton ناشر: بیجا : CRC Press سال نشر : 2003 صفحه شمار: 574 مندرجات 1 Introduction
2 Problem Formulation
3 Project Planning
4 System Definition
5 Input Data Collection and Analysis
6 Model Translation
7 Verification
8 Validation
9 Experimental Design
10 Analysis
11 Project Reports and Presentations
12 Training Simulators
13 Examples
14 ARENA User’s Minimanual
15 Simulation Using AutoMod and AutoStat
16 SIMPAK User’s Manual
Appendix 1 Statistical Tables
Appendix 2 Course Outlineلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=321 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Hen Hu ، Yu، نویسنده عنوان : Handbook of Neural Network Signal Processing تکرار نام مولف : Jenq-Neng Hwang ناشر: بیجا : CRC Press سال نشر : 2001 صفحه شمار: 384 مندرجات 1 Introduction to Neural Networks for Signal Processing2 Signal Processing Using the Multilayer Perceptron3 Radial Basis Functions4 An Introduction to Kernel-Based Learning Algorithms5 Committee Machines6 Dynamic Neural Networks and Optimal Signal Processing7 Blind Signal Separation and Blind Deconvolution8 Neural Networks and Principal Component Analysis9 Applications of Artificial Neural Networks to Time Series Prediction10 Applications of Artificial Neural Networks (ANNs) to Speech Processing11 Learning and Adaptive Characterization of Visual Contents in Image Retrieval Systems12 Applications of Neural Networks to Image Processing13 Hierarchical Fuzzy Neural Networks for Pattern Classification لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=322 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت