本文に飛ぶ

年 〜
年

検索結果 18 件

Security-aware design for cyber-physical systems : a platform-based approach : hardback

Security-aware design for cyber-physical systems : a platform-based approach : hardback
紙図書
Chung-Wei Lin, Alberto Sangiovanni-VincentelliSpringerc2017
全国の図書館
  • 著者標目Lin, Chung-Wei Sangiovanni-Vincentelli, Alberto

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)
紙図書
Springer2002.<M17-03-188>
国立国会図書館
  • 著者標目Verimag Laboratory. Sangiovanni-Vincentelli, Alberto. Sifakis, J. (Joseph) , 1946-...

Embedded systems development : from functional models to implementations hbk.

Embedded systems development : from functional models to implementations hbk.
紙図書
Alberto Sangiovanni-Vincentelli ... [et al.]Springerc2014
全国の図書館
  • 著者標目Sangiovanni-Vincentelli, Alberto Zeng, Haibo Di Natale, Marco ...

Hybrid systems: computation and control : 4th international workshop, HSCC 2001 : Rome, Italy, March 28-30, 2001 : proceedings. : Mar 2001, Rome, Italy. (Lecture Notes in Computer Science ; 2034)

Hybrid systems: computation and control : 4th international workshop, HSCC 2001 : Rome, Italy, March 28-30, 2001 : proceedings. : Mar 2001, Rome, Italy. (Lecture Notes in Computer Science ; 2034)
紙図書
Springer2001.<M17-03-4754>
国立国会図書館
  • 著者標目...aria Domenica. Sangiovanni-Vincentelli, Alberto. HSCC 2001 (2001 : Rome, Ital...

Noise analysis of radio frequency circuits

Noise analysis of radio frequency circuits
紙図書
by Amit Mehrotra, Alberto Sangiovanni-VincentelliKluwer Academicc2004
全国の図書館
  • 著者標目Mehrotra, Amit Sangiovanni-Vincentelli, Alberto

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
紙図書
Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)Springerc2002
全国の図書館
  • 著者標目EMSOFT Sangiovanni-Vincentelli, Alberto Sifakis, Joseph

Synchronous equivalence : formal methods for embedded systems

Synchronous equivalence : formal methods for embedded systems
紙図書
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-VincentelliKluwer Academic Publishers2001
全国の図書館
  • 著者標目Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto

Cross-talk noise immune VLSI design using regular layout fabrics

Cross-talk noise immune VLSI design using regular layout fabrics
紙図書
Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-VincentelliKlwer Academic Publishersc2001
全国の図書館
  • 著者標目Khatri, Sunil P. Brayton, Robert King Sangiovanni-Vincentelli, Alberto

Function/architecture optimization and co-design of embedded systems

Function/architecture optimization and co-design of embedded systems
紙図書
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-VincentelliKluwer Academic Publisherc2000
全国の図書館
  • 著者標目Tabbara, Bassam Tabbara Abdallah Sangiovanni-Vincentelli, Alberto

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
紙図書
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)Springerc2001
全国の図書館
  • 著者標目...Maria Domenica Sangiovanni-Vincentelli, Alberto

Analysis and simulation of noise in nonlinear electronic circuits and systems

Analysis and simulation of noise in nonlinear electronic circuits and systems
紙図書
by Alper Demir and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1998
全国の図書館
  • 著者標目Demir, Alper Sangiovanni-Vincentelli, Alberto

Logic synthesis for field-programmable gate arrays

Logic synthesis for field-programmable gate arrays
紙図書
by Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-VincentelliKluwer Academicc1995
全国の図書館
  • 著者標目Murgai, Rajeev Brayton, Robert King Sangiovanni-Vincentelli, Alberto

Algorithms for synthesis and testing of asynchronous circuits

Algorithms for synthesis and testing of asynchronous circuits
紙図書
Luciano Lavagno, Alberto Sangiovanni-VincentelliKluwer Academicc1993
全国の図書館
  • 著者標目Lavagno, Luciano Sangiovanni-Vincentelli, Alberto

Steady-state methods for simulating analog and microwave circuits

Steady-state methods for simulating analog and microwave circuits
紙図書
by Kenneth S. Kundert, Jacob K. White and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1990
全国の図書館
  • 著者標目Kundert, Kenneth S. White, Jacob K. Sangiovanni-Vincentelli, Alberto

Computer-aided design of VLSI circuits and systems

Computer-aided design of VLSI circuits and systems
紙図書
editor : Alberto Sangiovanni-VincentelliJAI Pr.c1985
全国の図書館
  • 著者標目Sangiovanni-Vincentelli, Alberto

Selected papers on computer-aided design of very large scale integrated circuits : pbk.

Selected papers on computer-aided design of very large scale integrated circuits : pbk.
紙図書
edited by Alberto L. Sangiovanni-VincentelliIEEE Pressc1987
全国の図書館
  • 著者標目Sangiovanni-Vincentelli, Alberto IEEE Circuits and Systems Soc...

Relaxation techniques for the simulation of VLSI circuits

Relaxation techniques for the simulation of VLSI circuits
紙図書
by Jacob K. White and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1986
全国の図書館
  • 著者標目White, Jacob K. Sangiovanni-Vincentelli, Alberto

Design systems for VLSI circuits : logic synthesis and silicon compilation

Design systems for VLSI circuits : logic synthesis and silicon compilation
紙図書
edited by G. De Micheli, A. Sangiovanni-Vincentelli, P. AntognettiM. Nijhoff1987
全国の図書館
  • 著者標目...De Micheli, G. Sangiovanni-Vincentelli, Alberto Antognetti, Paolo

検索結果は以上です。

RSS