Suchergebnisse - Sangiovanni-Vincentelli, Alberto

Treffer filtern
  1. 1
    Buchumschlag

    Smart connected buildings design automation: foundations and trends
    von Maasoumy, Mehdi, Sangiovanni-Vincentelli, Alberto 1947-

    Veröffentlicht 2016
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Function architecture optimization and co-design of embedded systems
    von Tabbara, Bassam, Tabbara, Abdallah, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic synthesis for field programmable gate arrays
    von Murgai, Rajeev, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Steady-state methods for simulating analog and microwave circuits
    von Kundert, Kenneth S., White, Jacob K., Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Security-aware design for cyber-physical systems: a platform-based approach
    von Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto 1947-

    Veröffentlicht 2017
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Languages and tools for hybrid systems design
    von Carloni, Luca P., Pinto, Alessandro, Sangiovanni-Vincentelli, Alberto 1947-, Passerone, Roberto

    Veröffentlicht 2006
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Analysis and simulation of noise in nonlinear electronic circuits and systems
    von Demir, Alper, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Algorithms for synthesis and testing of asynchronous circuits
    von Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Relaxation techniques for the simulation of VLSI circuits
    von White, Jacob K., Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Proceedings of the Workshop on Design Automation for CPS and IoT
    von Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud
    von Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Cross talk noise immune VLSI design using regular layout fabrics
    von Khatri, Sunil P., Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Synchronous Equivalence: Formal Methods for Embedded Systems
    von Hsieh, Harry, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2001
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Function/Architecture Optimization and Co-Design of Embedded Systems
    von Tabbara, Bassam, Tabbara, Abdallah, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2000
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Relaxation Techniques for the Simulation of VLSI Circuits
    von White, Jacob K., Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1987
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Noise Analysis of Radio Frequency Circuits
    von Mehrotra, Amit, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2004
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
    von Khatri, Sunil P., Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

    Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
    von Demir, Alper, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1998
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Synthesis of Finite State Machines: Logic Optimization
    von Villa, Tiziano, Kam, Timothy, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    Synthesis of Finite State Machines: Functional Optimization
    von Kam, Timothy, Villa, Tiziano, Brayton, Robert, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: