Zum Inhalt springen

  1. Murgai, Rajeev [Verfasser:in] ; Brayton, Robert King [Sonstige Person, Familie und Körperschaft]; Sangiovanni-Vincentelli, Alberto [Sonstige Person, Familie und Körperschaft]

    Logic synthesis for field-programmable gate arrays

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer Academic Publishers, 1995

    Erschienen in: Kluwer international series in engineering and computer science ; 324

  2. Benedetto, Maria Domenica [Verfasser:in] ; Sangiovanni-Vincentelli, Alberto [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2034

  3. Sangiovanni-Vincentelli, Alberto [Verfasser:in] ; Sifakis, Joseph [Sonstige Person, Familie und Körperschaft]

    Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2491

  4. Balluchi, Andrea [Verfasser:in]; Benvenuti, Luca [Verfasser:in]; Di Benedetto, Maria D. [Verfasser:in]; Sangiovanni-Vincentelli, Alberto [Verfasser:in]

    The design of dynamical observers for hybrid systems: theory and application to an automotive control problem

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Roma]: [Dipartimento di informatica e sistemistica Antonio Ruberti, Sapienza - Università di Roma], [2012]

    Erschienen in: Technical report ; 201201

  5. Schröder, Jochen [Verfasser:in]; Lunze, Jan [Verfasser:in]; Di Benedetto, Maria Domenica [Verfasser:in]; Sangiovanni-Vincentelli, Alberto [Verfasser:in]

    Representation of quantised systems by the Frobenius-Perron operator

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2001-01-01

    Erschienen in: Hybrid systems : Computation and control ; 4th international workshop, Rome, Italy, March 28 - 30, 2001 ; proceedings

  6. Sangiovanni-Vincentelli, Alberto

    Corsi e Ricorsi: The EDA Story

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2010

    Erschienen in: IEEE Solid-State Circuits Magazine, 2 (2010) 3, Seite 6-25

  7. Sangiovanni-Vincentelli, Alberto

    Remembering Richard [A. Richard Newton

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2010

    Erschienen in: IEEE Solid-State Circuits Magazine, 2 (2010) 3, Seite 52-61

  8. Sangiovanni-Vincentelli, Alberto

    Remembering Richard [Obituary, Richard A.Newton]

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2007

    Erschienen in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (2007) 8, Seite 1357-1366

  9. Sangiovanni-Vincentelli, Alberto

    Editor's foreword

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 1991

    Erschienen in: Algorithmica, 6 (1991) 1-6, Seite 295-301