Zum Inhalt springen

  1. De Micheli, Giovanni [HerausgeberIn] ; Workshop on High Level Synthesis Algorithms, Tools and Design 1 1995 Stanford, Calif

    Workshop on High Level Synthesis Algorithms, Tools and Design (HILES) : Stanford University, November 4, 1995

    Bücher
    Schließen

    Merkliste

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

    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1995

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 276

  2. De Schreye, Danny [Sonstige Person, Familie und Körperschaft]; DeSchreye, Danny [HerausgeberIn] ; LOPSTR 19 2009 Coimbra

    Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6037

  3. Corey, E. J. [VerfasserIn]; Cheng, Xue-Min [VerfasserIn]

    The logic of chemical synthesis

    Bücher
    Schließen

    Merkliste

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

    New York [u.a.]: Wiley, 1989

  4. King, Andy [Sonstige Person, Familie und Körperschaft]; King, Andrew Malcolm [HerausgeberIn] ; LOPSTR 17 2007 Kongens Lyngby

    Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4915

  5. Kuh, Ernest S. [VerfasserIn]; Pederson, Donald O. [VerfasserIn]

    Principles of circuit synthesis

    Bücher
    Schließen

    Merkliste

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

    New York [u.a.]: McGraw-Hill, 1959

    Erschienen in: McGraw-Hill electrical and electronic engineering series