Научная библиотека ТГУ catalog › Results of search for 'an:303150'

Your search returned 48 results.

	1.	Embedded System Design Электронный ресурс by Peter Marwedel. by Marwedel, Peter \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	A Practical Introduction to PSL Электронный ресурс by Cindy Eisner, Dana Fisman. by Eisner, Cindy \| Fisman, Dana \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Leakage in Nanometer CMOS Technologies Электронный ресурс by Siva G. Narendra, Anantha Chandrakasan. by Narendra, Siva G \| Chandrakasan, Anantha P \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Rapid Prototyping of Digital Systems Электронный ресурс by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by Hamblen, James O \| Furman, Michael D \| Hall, Tyson S \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Design for Manufacturability and Yield for Nano-Scale CMOS Электронный ресурс by Charles C. Chiang, Jamil Kawa. by Chiang, Charles C \| Kawa, Jamil \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Standardized Functional Verification Электронный ресурс by Alan Wiemann. by Wiemann, Alan \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	The Core Test Wrapper Handbook Электронный ресурс Rationale and Application of IEEE Std. 1500в„ў / by Francisco Silva, Teresa McLaurin, Tom Waayers. by Silva, Francisco \| McLaurin, Teresa \| Waayers, Tom \| SpringerLink (Online service). Series: Frontiers in Electronic TestingSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms Электронный ресурс edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, by Ma, Zhe \| Catthoor, Francky \| Couvreur, Chantal \| Gómez, José Ignacio \| Himpe, Stefaan \| Marchal, Pol \| Scarpazza, Daniele Paolo \| Wong, Chun \| Yang, Peng \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Global Specification and Validation of Embedded Systems Электронный ресурс Integrating Heterogeneous Components edited by Gabriela Nicolescu, Ahmed Jerraya. by Nicolescu, Gabriela \| Jerraya, Ahmed \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	Hardware Software Co-Design of a Multimedia SOC Platform Электронный ресурс by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu. by Chen, Sao-Jie \| Hsiung, Pao-Ann \| Hu, Yu-Hen \| Lin, Guang-Huei \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	Semiconductor Modeling Электронный ресурс For Simulating Signal, Power, and Electromagnetic Integrity / by Roy G. Leventhal, Lynne Green. by Leventhal, Roy G \| Green, Lynne \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	Closing the Power Gap Between ASIC & Custom Электронный ресурс Tools and Techniques for Low Power Design / by David Chinnery, Kurt Keutzer. by Chinnery, David \| Keutzer, Kurt \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	Full-Chip Nanometer Routing Techniques Электронный ресурс by Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen. by Ho, Tsung-Yi \| Chang, Yao-Wen \| Chen, Sao-Jie \| SpringerLink (Online service). Series: Analog Circuits And Signal Processing SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	Timing Optimization Through Clock Skew Scheduling Электронный ресурс edited by Ivan S. Kourtev, Baris Taskin, Eby G. Friedman. by Kourtev, Ivan S \| Friedman, Eby G \| Taskin, Baris \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	Inverse Problems in Electric Circuits and Electromagnetics Электронный ресурс by V. L. Chechurin, N. V. Korovkin, M. Hayakawa. by Chechurin, V. L \| Hayakawa, M \| Korovkin, N. V \| SpringerLink (Online service). Series: Mathematical and Analytical Techniques with Applications to EngineeringSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	Hardware Verification with SystemVerilog Электронный ресурс An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by Mintz, Mike \| Ekendahl, Robert \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	17.	Taxonomies for the Development and Verification of Digital Systems Электронный ресурс edited by Brian Bailey, Grant Martin, Thomas Anderson. by Bailey, Brian \| Anderson, Thomas \| Martin, Grant \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	Interconnect Noise Optimization in Nanometer Technologies Электронный ресурс by Mohamed A. Elgamel, Magdy A. Bayoumi. by Elgamel, Mohamed A \| Bayoumi, Magdy A \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	19.	System Verilog for Verification Электронный ресурс A Guide to Learning the Testbench Language Features / by Chris Spear. by Spear, Chris \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	20.	A Roadmap for Formal Property Verification Электронный ресурс by Pallab DasGupta. by DasGupta, Pallab \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	21.	Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits electronic resource by Wenjian Yu, Xiren Wang. by Yu, Wenjian [author.] \| Wang, Xiren [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	22.	Thermal and Power Management of Integrated Circuits Электронный ресурс by Arman Vassighi, Manoj Sachdev. by Vassighi, Arman \| Sachdev, Manoj \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	Writing Testbenches using System Verilog Электронный ресурс by Janick Bergeron. by Bergeron, Janick \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	24.	CMOS Active Inductors and Transformers Электронный ресурс Principle, Implementation, and Applications / by Fei Yuan. by Yuan, Fei \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	25.	SystemVerilog for Design Электронный ресурс A Guide to Using SystemVerilog for Hardware Design and Modeling / by Stuart Sutherland, Simon Davidmann, Peter Flake. by Sutherland, Stuart \| Davidmann, Simon \| Flake, Peter \| SpringerLink (Online service). Edition: Second Edition.Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	26.	Verification Methodology Manual for SystemVerilog Электронный ресурс by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale. by Bergeron, Janick \| Cerny, Eduard \| Hunter, Alan \| Nightingale, Andrew \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Synopsys, Inc. and ARM Limited, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	27.	Rapid Prototyping of Digital Systems Электронный ресурс by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by Hamblen, James O \| Furman, Michael D \| Hall, Tyson S \| SpringerLink (Online service). Edition: QUARTUSВ® II EDITION.Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	28.	Functional Design Errors in Digital Circuits Электронный ресурс Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco. by Chang, Kai-hui \| Bertacco, Valeria \| Markov, Igor L \| SpringerLink (Online service). Series: Lecture Notes in Electrical EngineeringSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	29.	SAT-Based Scalable Formal Verification Solutions Электронный ресурс by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K \| Gupta, Aarti \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	30.	Routing Congestion in VLSI Circuits: Estimation and Optimization Электронный ресурс by Prashant Saxena, Rupesh S. Shelar, Sachin S. Sapatnekar. by Saxena, Prashant \| Sapatnekar, Sachin S \| Shelar, Rupesh S \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	31.	Advances in Design and Specification Languages for SoCs Электронный ресурс Selected Contributions from FDLвЂ™04 / edited by Pierre Boulet. by Boulet, Pierre \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	32.	Introduction to Embedded System Design Using Field Programmable Gate Arrays Электронный ресурс by Rahul Dubey. by Dubey, Rahul \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer London, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	33.	Power Distribution Networks with On-Chip Decoupling Capacitors Электронный ресурс by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman. by Popovich, Mikhhail \| Friedman, Eby G \| Mezhiba, Andrey V \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science + Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	34.	Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits Электронный ресурс by R. Castro-López, F.V. Fernández, O. Guerra-Vinuesa, A Rodríguez-Vázquez by Castro-López, R \| Fernández, F. V \| Guerra-Vinuesa, O \| Rodríguez-Vázquez, Á \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	35.	Abstraction Refinement for Large Scale Model Checking Электронный ресурс by Chao Wang, Gary D. Hachtel, Fabio Somenzi. by Wang, Chao \| Hachtel, Gary D \| Somenzi, Fabio \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	36.	Scalable Hardware Verification with Symbolic Simulation Электронный ресурс by Valeria Bertacco. by Bertacco, Valeria \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	37.	Constraint-Based Verification Электронный ресурс by Jun Yuan, Carl Pixley, Adnan Aziz. by Yuan, Jun \| Aziz, Adnan \| Pixley, Carl \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	38.	Electromagnetic Compatibility of Integrated Circuits Электронный ресурс Techniques for low emission and susceptibility / edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard. by Ben Dhia, Sonia \| Ramdani, Mohamed \| Sicard, Etienne \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	Functional Verification of Programmable Embedded Architectures Электронный ресурс A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by Mishra, Prabhat \| Dutt, Nikil D \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	40.	CMOS Current-Mode Circuits for Data Communications Электронный ресурс by Fei Yuan. by Yuan, Fei \| SpringerLink (Online service). Series: Analog Circuits and Signal ProcessingSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	41.	Design for Manufacturability and Statistical Design Электронный ресурс A Constructive Approach / by Michael Orshansky, Sani R. Nassif, Duane Boning. by Orshansky, Michael \| Boning, Duane \| Nassif, Sani R \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	42.	Hardware Verification with C++ Электронный ресурс A PractitionerвЂ™s Handbook / by Mike Mintz, Robert Ekendahl. by Mintz, Mike \| Ekendahl, Robert \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	43.	Systemverilog for Verification Электронный ресурс A Guide to Learning the Testbench Language Features / by Chris Spear. by Spear, Chris \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	44.	CMOS Biotechnology Электронный ресурс edited by Hakho Lee, Robert M. Westervelt, Donhee Ham. by Lee, Hakho \| Ham, Donhee \| Westervelt, Robert M \| SpringerLink (Online service). Series: Series on Integrated Circuits and SystemsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	45.	Creating Assertion-Based IP Электронный ресурс by Harry D. Foster, Adam C. Krolnik. by Foster, Harry D \| Krolnik, Adam C \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	46.	Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms Электронный ресурс by Tim Kogel, Rainer Leupers, Heinrich Meyr. by Kogel, Tim \| Leupers, Rainer \| Meyr, Heinrich \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	47.	Mixed-Signal Layout Generation Concepts Электронный ресурс by Chieh Lin, Arthur H. M. Roermund, Domine M. W. Leenaerts. by Lin, Chieh \| Leenaerts, Domine M. W \| Roermund, Arthur H. M. van \| SpringerLink (Online service). Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal ProcessingSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	48.	Embedded System Design Электронный ресурс by P. Marwedel. by Marwedel, Peter \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer US, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

База знаний по целевым капиталам

Your search returned 48 results.