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

Search

Your search returned 6 results.

	1.	Advanced Symbolic Analysis for VLSI Systems electronic resource Methods and Applications / by Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle. by Shi, Guoyong [author.] \| Tan, Sheldon X.-D [author.] \| Tlelo Cuautle, Esteban [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	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)
	3.	Logic Synthesis for Compositional Microprogram Control Units Электронный ресурс edited by Alexander Barkalov, Larysa Titarenko. by Barkalov, Alexander \| Titarenko, Larysa \| SpringerLink (Online service). Series: Lecture Notes Electrical EngineeringSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Fault-Tolerance Techniques for SRAM-based FPGAs Электронный ресурс by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis. by Kastensmidt, Fernanda Lima \| Carro, Luigi \| Reis, Ricardo \| 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)
	5.	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)
	6.	New Algorithms, Architectures and Applications for Reconfigurable Computing Электронный ресурс edited by Patrick Lysaght, Wolfgang Rosenstiel. by Lysaght, Patrick \| Rosenstiel, Wolfgang \| 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)