Zum Inhalt springen Fang, Lijun [Sonstige Person, Familie und Körperschaft]; Zhang, Zikang [Herausgeber:in] ; Jin ri mei shu guan Fang Lijun 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. [Peking]: Today Art Museum, [2006] Zhang, Lijun [Herausgeber:in] Light Alloys and High-Temperature Alloys Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Basel: MDPI - Multidisciplinary Digital Publishing Institute, 2022 Vojnar, Tomáš [Verfasser:in] ; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book (PDF Dokument ; OAPEN Library: download the publication ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Vojnar, Tomáš [Verfasser:in] ; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book (PDF Dokument ; OAPEN Library: download the publication ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Van Biesebroeck, Johannes [Verfasser:in] ; Zhang, Lijun [Sonstige Person, Familie und Körperschaft] Global Sourcing of a Complex Good Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2011] Lu, Ding [Verfasser:in] ; Zhang, Lijun [Sonstige Person, Familie und Körperschaft] Pedagogical Benefits of Mini Writing Assignments in Teaching Principles of Economics Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2011] Zhang, Lijun [Verfasser:in] ; Schmidt, Torsten Claus [Akademische:r Betreuer:in]; Schmitz, Oliver J. [Akademische:r Betreuer:in] Development and application of liquid chromatography coupled to isotope ratio mass spectrometry Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Duisburg; Essen: Universitätsbibliothek Duisburg-Essen, 2014 Zhang, Lijun [Verfasser:in] ; Hermanns, Holger [Akademische:r Betreuer:in] Decision algorithms for probabilistic simulations Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2009 Bo, Lijun [Verfasser:in] ; Li, Meng [Sonstige Person, Familie und Körperschaft]; Zhang, Tingting [Sonstige Person, Familie und Körperschaft] Stochastic Dynamic Product Search Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2020] Zhang, Lijun [Verfasser:in] ; Hermanns, Holger [Mitwirkende:r] Decision algorithms for probabilistic simulations Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2009 Zhang, Lijun [Verfasser:in] Decision algorithms for probabilistic simulations : Lijun Zhang Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2009 Pang, Jun [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings - [1st ed. 2020.] Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020. Erschienen in: Programming and Software Engineering ; 12153- Springer eBook Collection Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, [2019] Erschienen in: Lecture notes in computer science ; 1142700 Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Erschienen in: Lecture Notes in Computer Science Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, [2019] Erschienen in: Lecture notes in computer science ; 1142800 Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Erschienen in: Lecture Notes in Computer Science Chakraborty, Souymodip [Verfasser:in] ; Katoen, Joost-Pieter [Akademische:r Betreuer:in]; Zhang, Lijun [Akademische:r Betreuer:in] New results on probabilistic verification : automata, logic and satisfiability Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2019 Sher, Falak [Verfasser:in] ; Katoen, Joost-Pieter [Akademische:r Betreuer:in]; Zhang, Lijun [Akademische:r Betreuer:in] Abstraction and refinement of probabilistic automata using modal stochastic games Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2015 Erschienen in: Aachener Informatik-Berichte ; 2015,10 Schewe, Sven [Verfasser:in]; Zhang, Lijun [Verfasser:in] ; Sven Schewe and Lijun Zhang [Mitwirkende:r] Front Matter, Table of Contents, Preface, Conference Organization Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018 Schewe, Sven [Verfasser:in]; Zhang, Lijun [Verfasser:in] ; Sven Schewe and Lijun Zhang [Mitwirkende:r] LIPIcs, Volume 118, CONCUR'18, Complete Volume Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Fang, Lijun [Sonstige Person, Familie und Körperschaft]; Zhang, Zikang [Herausgeber:in] ; Jin ri mei shu guan Fang Lijun 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. [Peking]: Today Art Museum, [2006]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Lijun [Herausgeber:in] Light Alloys and High-Temperature Alloys Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Basel: MDPI - Multidisciplinary Digital Publishing Institute, 2022
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Verfasser:in] ; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book (PDF Dokument ; OAPEN Library: download the publication ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Verfasser:in] ; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book (PDF Dokument ; OAPEN Library: download the publication ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Van Biesebroeck, Johannes [Verfasser:in] ; Zhang, Lijun [Sonstige Person, Familie und Körperschaft] Global Sourcing of a Complex Good Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2011]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lu, Ding [Verfasser:in] ; Zhang, Lijun [Sonstige Person, Familie und Körperschaft] Pedagogical Benefits of Mini Writing Assignments in Teaching Principles of Economics Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2011]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Lijun [Verfasser:in] ; Schmidt, Torsten Claus [Akademische:r Betreuer:in]; Schmitz, Oliver J. [Akademische:r Betreuer:in] Development and application of liquid chromatography coupled to isotope ratio mass spectrometry Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Duisburg; Essen: Universitätsbibliothek Duisburg-Essen, 2014
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Lijun [Verfasser:in] ; Hermanns, Holger [Akademische:r Betreuer:in] Decision algorithms for probabilistic simulations Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bo, Lijun [Verfasser:in] ; Li, Meng [Sonstige Person, Familie und Körperschaft]; Zhang, Tingting [Sonstige Person, Familie und Körperschaft] Stochastic Dynamic Product Search Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2020]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Lijun [Verfasser:in] ; Hermanns, Holger [Mitwirkende:r] Decision algorithms for probabilistic simulations Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Lijun [Verfasser:in] Decision algorithms for probabilistic simulations : Lijun Zhang Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pang, Jun [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings - [1st ed. 2020.] Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020. Erschienen in: Programming and Software Engineering ; 12153- Springer eBook Collection
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, [2019] Erschienen in: Lecture notes in computer science ; 1142700
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, [2019] Erschienen in: Lecture notes in computer science ; 1142800
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vojnar, Tomáš [Herausgeber:in]; Zhang, Lijun [Herausgeber:in] Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chakraborty, Souymodip [Verfasser:in] ; Katoen, Joost-Pieter [Akademische:r Betreuer:in]; Zhang, Lijun [Akademische:r Betreuer:in] New results on probabilistic verification : automata, logic and satisfiability Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2019
> Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sher, Falak [Verfasser:in] ; Katoen, Joost-Pieter [Akademische:r Betreuer:in]; Zhang, Lijun [Akademische:r Betreuer:in] Abstraction and refinement of probabilistic automata using modal stochastic games Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2015 Erschienen in: Aachener Informatik-Berichte ; 2015,10
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schewe, Sven [Verfasser:in]; Zhang, Lijun [Verfasser:in] ; Sven Schewe and Lijun Zhang [Mitwirkende:r] Front Matter, Table of Contents, Preface, Conference Organization Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schewe, Sven [Verfasser:in]; Zhang, Lijun [Verfasser:in] ; Sven Schewe and Lijun Zhang [Mitwirkende:r] LIPIcs, Volume 118, CONCUR'18, Complete Volume Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (9.382) Wert ausschließen Konferenzberichte (107) Wert ausschließen Bücher (37) Wert ausschließen Videos (2) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (4) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (2) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (4.783) Wert ausschließen Eingeschränkter Zugang (2) Wert ausschließen Ohne Angabe (4.743) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (7.700) Wert ausschließen Nicht zu entscheiden (1.722) Wert ausschließen Chinesisch (125) Wert ausschließen Deutsch (9) Wert ausschließen Ndonga (1) Wert ausschließen Polnisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Technik (1.581) Wert ausschließen Medizin (1.529) Wert ausschließen Chemie und Pharmazie (1.459) Wert ausschließen Physik (1.274) Wert ausschließen Biologie (1.193) Wert ausschließen Mathematik (644) Wert ausschließen Geographie (352) Wert ausschließen Informatik (338) Wert ausschließen Allgemeines (336) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (203) Wert ausschließen Psychologie (104) Wert ausschließen Geologie und Paläontologie (100) Wert ausschließen Wirtschaftswissenschaften (60) Wert ausschließen Allgemeine Naturwissenschaft (28) Wert ausschließen Rechtswissenschaft (9) Wert ausschließen Pädagogik (8) Wert ausschließen Soziologie (7) Wert ausschließen Kunst und Kunstgeschichte (6) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (3) Wert ausschließen Theologie und Religionswissenschaft (2) Wert ausschließen Philosophie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Zhang, Lijun (1.956) Wert ausschließen Wang, Lijun (819) Wert ausschließen Liu, Lijun (335) Wert ausschließen Yang, Lijun (331) Wert ausschließen Xu, Lijun (265) Wert ausschließen Wu, Lijun (248) Wert ausschließen Chen, Lijun (236) Wert ausschließen Sun, Lijun (206) Wert ausschließen Li, Lijun (169) Wert ausschließen Zhou, Lijun (163) Wert ausschließen Zhao, Lijun (162) Wert ausschließen Zhang, Wei (133) Wert ausschließen Zhang, Yan (128) Wert ausschließen Zhu, Lijun (128) Wert ausschließen Zhang, Hui (123) Wert ausschließen Shen, Lijun (122) Wert ausschließen Zhang, Lei (111) Wert ausschließen Zhang, Jing (108) Wert ausschließen Jiang, Lijun (107) Wert ausschließen Jia, Lijun (102) Wert ausschließen Zhang, Zhen (96) Wert ausschließen Cao, Zhang (91) Wert ausschließen Zhang, Xin (90) Wert ausschließen Luo, Lijun (85) Wert ausschließen Ma, Lijun (85) Wert ausschließen Zhang, Hao (85) Wert ausschließen Zhang, Yu (85) Wert ausschließen Fu, Lijun (81) Wert ausschließen Lu, Lijun (80) Wert ausschließen Shi, Lijun (79) Wert ausschließen Wang, Jing (79) Wert ausschließen Zhang, Li (75) Wert ausschließen Guo, Lijun (74) Wert ausschließen Song, Lijun (72) Wert ausschließen He, Lijun (69) Wert ausschließen Zhang, Yi (69) Wert ausschließen Wang, Wei (68) Wert ausschließen Huang, Lijun (66) Wert ausschließen Zhang, Jie (66) Wert ausschließen Tang, Lijun (65) Wert ausschließen Liu, Fengqi (64) Wert ausschließen Qu, Lijun (63) Wert ausschließen Zhang, Jinchuan (63) Wert ausschließen Cheng, Lijun (62) Wert ausschließen Dong, Lijun (62) Wert ausschließen Liu, Junqi (62) Wert ausschließen Zhang, Jun (62) Wert ausschließen Huo, Lijun (60) Wert ausschließen Ning, Yongqiang (60) Wert ausschließen Liang, Lijun (59) Wert ausschließen Qiao, Lijun (59) Wert ausschließen Du, Yong (58) Wert ausschließen Gao, Lijun (58) Wert ausschließen Jin, Lijun (57) Wert ausschließen Wang, Tao (57) Wert ausschließen Wang, Yan (57) Wert ausschließen Zhang, Hong (57) Wert ausschließen Wang, Lei (56) Wert ausschließen Zhang, Bo (56) Wert ausschließen Zhang, Xing (56) Wert ausschließen Zhang, Jian (54) Wert ausschließen Hou, Lijun (53) Wert ausschließen Liu, Wei (53) Wert ausschließen Li, Jing (52) Wert ausschließen Meng, Lijun (52) Wert ausschließen Qin, Li (52) Wert ausschließen Zhu, Yimei (52) Wert ausschließen Han, Lijun (51) Wert ausschließen Wang, Yi (51) Wert ausschließen Yan, Lijun (51) Wert ausschließen Yuan, Lijun (51) Wert ausschließen Zhang, Tao (51) Wert ausschließen Liu, Li (50) Wert ausschließen Xie, Lijun (50) Wert ausschließen Zheng, Lijun (50) Wert ausschließen Zhang, Yong (49) Wert ausschließen Li, Hui (48) Wert ausschließen Liu, Ying (48) Wert ausschließen Wang, Ying (48) Wert ausschließen Zhai, Shenqiang (48) Wert ausschließen Zhang, Shu (48) Wert ausschließen Zhuo, Ning (48) Wert ausschließen Liu, Jie (47) Wert ausschließen Peng, Lijun (47) Wert ausschließen Wang, Jun (47) Wert ausschließen Yang, Jianchang (47) Wert ausschließen Bai, Lijun (46) Wert ausschließen Wang, Li (46) Wert ausschließen Zhang, Ming (46) Wert ausschließen Zhang, Yang (46) Wert ausschließen Zhang, Ying (46) Wert ausschließen Ding, Lijun (45) Wert ausschließen Cai, Lijun (44) Wert ausschließen Fan, Lijun (44) Wert ausschließen Li, Wei (44) Wert ausschließen Liu, Fang (43) Wert ausschließen Wang, Dong (43) Wert ausschließen Wang, Jian (43) Wert ausschließen Zhang, Hua (43) Wert ausschließen Zhang, Rui (43) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Science and Business Media LLC (CrossRef) (1.615) Wert ausschließen Wiley (CrossRef) (1.010) Wert ausschließen Elsevier BV (CrossRef) (931) Wert ausschließen MDPI AG (CrossRef) (622) Wert ausschließen American Chemical Society (ACS) (CrossRef) (583) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (468) Wert ausschließen Frontiers Media SA (CrossRef) (427) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (383) Wert ausschließen Informa UK Limited (CrossRef) (363) Wert ausschließen IOP Publishing (CrossRef) (274) Wert ausschließen Hindawi Limited (CrossRef) (203) Wert ausschließen DOAJ Directory of Open Access Journals (173) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (169) Wert ausschließen Oxford University Press (OUP) (CrossRef) (163) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (104) Wert ausschließen SAGE Publications (CrossRef) (102) Wert ausschließen AIP Publishing (CrossRef) (99) Wert ausschließen SPIE (CrossRef) (89) Wert ausschließen Spandidos Publications (CrossRef) (85) Wert ausschließen Springer International Publishing (CrossRef) (71) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (70) Wert ausschließen American Physical Society (APS) (CrossRef) (59) Wert ausschließen Optica Publishing Group (CrossRef) (51) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (48) Wert ausschließen Impact Journals, LLC (CrossRef) (46) Wert ausschließen American Society of Hematology (CrossRef) (44) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (44) Wert ausschließen AME Publishing Company (CrossRef) (43) Wert ausschließen BMJ (CrossRef) (43) Wert ausschließen Verbunddaten SWB (40) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (39) Wert ausschließen JSTOR Life Sciences Archive (38) Wert ausschließen The Optical Society (CrossRef) (38) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (34) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (33) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (33) Wert ausschließen Ivyspring International Publisher (CrossRef) (33) Wert ausschließen Lizenzfreie Online-Ressourcen (33) Wert ausschließen American Society for Microbiology (CrossRef) (29) Wert ausschließen EDP Sciences (CrossRef) (27) Wert ausschließen S. Karger AG (CrossRef) (27) Wert ausschließen Microbiology Society (CrossRef) (23) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (22) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (19) Wert ausschließen Emerald (CrossRef) (19) Wert ausschließen International Scientific Information, Inc. (CrossRef) (16) Wert ausschließen American Physiological Society (CrossRef) (15) Wert ausschließen China Science Publishing & Media Ltd. (CrossRef) (15) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (14) Wert ausschließen Copernicus GmbH (CrossRef) (14) Wert ausschließen Tsinghua University Press (CrossRef) (14) Wert ausschließen PeerJ (CrossRef) (13) Wert ausschließen Bentham Science Publishers Ltd. (CrossRef) (12) Wert ausschließen JSTOR Health & General Sciences (12) Wert ausschließen Medknow (CrossRef) (12) Wert ausschließen National Library of Serbia (CrossRef) (12) Wert ausschließen The Electrochemical Society (CrossRef) (12) Wert ausschließen Acta Ecologica Sinica (CrossRef) (11) Wert ausschließen American Institute of Mathematical Sciences (AIMS) (CrossRef) (11) Wert ausschließen BASE - Bielefeld Academic Search Engine (11) Wert ausschließen Canadian Science Publishing (CrossRef) (11) Wert ausschließen IOS Press (CrossRef) (11) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (11) Wert ausschließen Springer Nature Switzerland (CrossRef) (11) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (10) Wert ausschließen International Union of Crystallography (IUCr) (CrossRef) (10) Wert ausschließen Wilmington Scientific Publisher, LLC (CrossRef) (9) Wert ausschließen Author(s) (CrossRef) (8) Wert ausschließen BioResources (CrossRef) (8) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (8) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (8) Wert ausschließen MyJove Corporation (CrossRef) (8) Wert ausschließen SPIE-Intl Soc Optical Eng (CrossRef) (8) Wert ausschließen American Medical Association (AMA) (CrossRef) (7) Wert ausschließen American Society for Clinical Investigation (CrossRef) (7) Wert ausschließen Chinese Chemical Society (CrossRef) (7) Wert ausschließen Springer Nature Singapore (CrossRef) (7) Wert ausschließen ASME International (CrossRef) (6) Wert ausschließen Association for Research in Vision and Ophthalmology (ARVO) (CrossRef) (6) Wert ausschließen IWA Publishing (CrossRef) (6) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (6) Wert ausschließen The Company of Biologists (CrossRef) (6) Wert ausschließen American Diabetes Association (CrossRef) (5) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (5) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen HARD Publishing Company (CrossRef) (5) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (5) Wert ausschließen Scientific Societies (CrossRef) (5) Wert ausschließen Termedia Sp. z.o.o. (CrossRef) (5) Wert ausschließen The American Association of Immunologists (CrossRef) (5) Wert ausschließen The Endocrine Society (CrossRef) (5) Wert ausschließen AIP (CrossRef) (4) Wert ausschließen Acta Physico-Chimica Sinica & University Chemistry Editorial Office, Peking University (CrossRef) (4) Wert ausschließen Aging and Disease (CrossRef) (4) Wert ausschließen Centers for Disease Control and Prevention (CDC) (CrossRef) (4) Wert ausschließen Diss online (4) Wert ausschließen IUScholarWorks (CrossRef) (4) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (4) Wert ausschließen International Heart Journal (Japanese Heart Journal) (CrossRef) (4) Wert ausschließen International Journal of Agricultural and Biological Engineering (IJABE) (CrossRef) (4) Wert ausschließen zeige weitere weniger zeigen