Zum Inhalt springen

  3. İnan, M. Kemal [Herausgeber:in]; Kurshan, Robert P. [Sonstige Person, Familie und Körperschaft] ; Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya

    Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997]

    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, 2000

    Erschienen in: NATO: NATO ASI series / F ; 170

  4. Parker, Geoffrey [Verfasser:in]; Van Alstyne, Marshall [Verfasser:in]; Choudary, Sangeet Paul [Verfasser:in] ; Lorenzen, Knut [Übersetzer:in] mitp Verlags GmbH & Co. KG

    Die Plattform-Revolution : von Airbnb, Uber, PayPal und Co. lernen: wie neue Plattform-Geschäftsmodelle die Wirtschaft verändern : Methoden und Strategien für Unternehmen und Start-ups - [1. Auflage]

    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.

    Frechen: mitp Verlags GmbH & Co. KG, 2017

  8. Lamberth-Cocca, Sabrina [Verfasser:in]; Friedrich, Michaela [Verfasser:in] ; Fraunhofer-Institut für Arbeitswirtschaft und Organisation

    Erfolg mit Elektromobilität : Fallstudien zu nutzerfreundlichen Dienstleistungen und innovativen Geschäftsmodellen

    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.

    Stuttgart: Fraunhofer Verlag, [2016]

    Erschienen in: DELFIN: Dienstleistungen für Elektromobilität, Förderung von Innovation und Nutzerorientierung

  10. Fahrenberg, Uli [Herausgeber:in]; Tripakis, Stavros [Herausgeber:in] ; FORMATS 9 2011, °Alborg Alborg

    Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 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 ; 6919

  11. Liu, Zhiming [Herausgeber:in]; Ravn, Anders P. [Sonstige Person, Familie und Körperschaft] ; ATVA 7 2009 Macau

    Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5799

  12. Cha, Sungdeok [Herausgeber:in]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft] ; ATVA 6 2008 Seoul

    Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 5311

  13. Graf, Susanne [Herausgeber:in]; Zhang, Wenhui [Sonstige Person, Familie und Körperschaft] ; ATVA 4 2006 Peking

    Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 4218

  14. Namjoshi, Kedar S. [Herausgeber:in]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft] ; ATVA 5 2007 Tokio

    Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 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 ; 4762

  15. Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Peled, Doron [Herausgeber:in] ; ATVA 3 2005 Taipeh

    Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 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 [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3707

  19. Patzig, Wolfgang [Verfasser:in]

    Stagflation und Phillips-Kurve : e. völlig neue Interpretation des alten Trade off zwischen Inflation und Arbeitslosigkeit

    Bücher
    Schließen

    Merkliste

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

    Freiburg im Breisgau: Haufe, 1990

    Erschienen in: Albert-Ludwigs-Universität Freiburg: Schriftenreihe des Instituts für Allgemeine Wirtschaftsforschung der Albert-Ludwigs-Universität Freiburg i. Br ; 35

  20. Ouaknine, Joel [Herausgeber:in]; Vaandrager, Frits [Sonstige Person, Familie und Körperschaft] ; FORMATS 7 2009 Budapest

    Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5813