Zum Inhalt springen

  4. Bultan, Tevfik [Herausgeber:in]; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] ; ATVA 9 2011 Taipeh

    Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6996

  6. Kuo, Tei-Wei [Herausgeber:in]; Sha, Edwin [Sonstige Person, Familie und Körperschaft]; Guo, Minyi [Sonstige Person, Familie und Körperschaft]; Yang, Laurence T. [Sonstige Person, Familie und Körperschaft]; Shao, Zili [Sonstige Person, Familie und Körperschaft] ; EUC 2007 Taipeh

    Embedded and ubiquitous computing : international conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4808

  10. Denko, Mieso K. [Herausgeber:in]; Shih, Chi-Sheng [Sonstige Person, Familie und Körperschaft]; Li, Kuan-Ching [Sonstige Person, Familie und Körperschaft]; Tsao, Shiao-Li [Sonstige Person, Familie und Körperschaft]; Zeng, Qing-An [Sonstige Person, Familie und Körperschaft]; Park, Soo-Hyun [Sonstige Person, Familie und Körperschaft]; Ko, Young-Bae [Sonstige Person, Familie und Körperschaft]; Hung, Shih-Hao [Sonstige Person, Familie und Körperschaft]; Park, Jong Hyuk [Sonstige Person, Familie und Körperschaft] ; EUC 2007 Taipeh

    Emerging directions in embedded and ubiquitous computing : EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4809

  12. Pees, Stefan Leo Alexander [Verfasser:in]

    Modeling embedded processors and generating fast simulators using the machine description language LISA

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    2002

  14. Cassez, Franck [Verfasser:in] ; Raskin, Jean-François [Herausgeber:in]

    Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8837

  15. Bultan, Tevfik [Verfasser:in] ; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6996

  17. Lee, Yann-Hang [Sonstige Person, Familie und Körperschaft]; Kim, Heung-Nam [Sonstige Person, Familie und Körperschaft]; Kim, Jong-Gun [Sonstige Person, Familie und Körperschaft]; Kim, Sung Won [Sonstige Person, Familie und Körperschaft]; Park, Yongwan [Sonstige Person, Familie und Körperschaft]; Yang, Laurence Tianruo [Sonstige Person, Familie und Körperschaft]

    Embedded Software and Systems : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4523

  18. Herkersdorf, Andreas [Verfasser:in] ; Römer, Kay [Sonstige Person, Familie und Körperschaft]; Brinkschulte, Uwe [Sonstige Person, Familie und Körperschaft]

    Architecture of Computing Systems – ARCS 2012 : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7179

  19. Kuo, Tei-Wei [Sonstige Person, Familie und Körperschaft]; Guo, Minyi [Sonstige Person, Familie und Körperschaft]; Sha, Edwin [Sonstige Person, Familie und Körperschaft]; Shao, Zili [Sonstige Person, Familie und Körperschaft]; Yang, Laurence Tianruo [Sonstige Person, Familie und Körperschaft]

    Embedded and Ubiquitous Computing : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4808

  20. Amamiya, Makoto [Sonstige Person, Familie und Körperschaft]; Guo, Minyi [Sonstige Person, Familie und Körperschaft]; Liu, Zhen [Sonstige Person, Familie und Körperschaft]; Rammig, Franz J. [Sonstige Person, Familie und Körperschaft]; Yang, Laurence Tianruo [Sonstige Person, Familie und Körperschaft]

    Embedded and Ubiquitous Computing - EUC 2005 : International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3824