Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 14 results.

    1.
    Electronics System Design Techniques for Safety Critical Applications Электронный ресурс by Luca Sterpone.

    by Sterpone, Luca | SpringerLink (Online service).

    Series: Lecture Notes in Electrical EngineeringSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    High-Level Synthesis Электронный ресурс From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.

    by Coussy, Philippe | Morawiec, Adam | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    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 Computer file; Format: electronic available online remote 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
    4.
    A Roadmap for Formal Property Verification Электронный ресурс by Pallab DasGupta.

    by DasGupta, Pallab | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Электронный ресурс 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Lars Svensson, José Monteiro.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Monteiro, José | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Svensson, Lars | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) Электронный ресурс 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh

    by Vounckx, Johan | Azemard, Nadine | Maurine, Philippe | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    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 Computer file; Format: electronic available online remote 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
    8.
    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 Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    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 Computer file; Format: electronic available online remote Publication details: London : Springer London, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    Logic Functions and Equations Электронный ресурс Examples and Exercises / by Bernd Steinbach, Christian Posthoff.

    by Steinbach, Bernd | Posthoff, Christian | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    Practical Problems in VLSI Physical Design Automation Электронный ресурс by Sung Kyu Lim.

    by Lim, Sung Kyu | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    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 Text; Format: electronic available online remote; 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
    13.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Электронный ресурс 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings / edited by Nadine Azémard, Lars Svensson

    by Azémard, Nadine | Svensson, Lars | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    Collaborative Design for Embedded Systems electronic resource Co-modelling and Co-simulation / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef.

    by Fitzgerald, John [editor.] | Larsen, Peter Gorm [editor.] | Verhoef, Marcel [editor.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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