|
|
| 1. |
Weimer-Jehle, Wolfgang: Einführung in die Cross-Impact-Bilanzanalyse (CIB) : Wege zur qualitativen System- und Szenarioanalyse / von Wolfgang Weimer-Jehle. -
Wiesbaden: Springer Fachmedien Wiesbaden, 2023.. - 1 Online-Ressource(XXIII, 285 S. 173 Abb., 129 Abb. in Farbe.), ISBN 978-3-658-41497-9
DOI: 10.1007/978-3-658-41497-9
 Online-Ressource |
|
|
| 2. |
Schulte, Sebastian Hermann Franz: Analyse segmentierter elektrischer Maschinen in einem Kfz-Antriebsstrang / Sebastian Hermann Franz Schulte. -
Wiesbaden: Springer Vieweg, [2022]. - 1 Online-Ressource (XXXIV, 139 Seiten, 101 Abb., 47 Abb. in Farbe), ISBN 978-3-658-36700-8
(AutoUni-Schriftenreihe ; Band 160)
(Springer eBook Collection)
DOI: 10.1007/978-3-658-36700-8
Online-Ressource |
|
|
| 3. |
TACAS <25., 2019, Prag>: Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. -
Cham: Springer, 2019. - 1 Online-Ressource (XXVII, 258 p. 449 illus., 25 illus. in color), ISBN 978-3-030-17502-3
(Lecture notes in computer science ; 11429)
(Springer eBooks : Computer Science)
(Theoretical Computer Science and General Issues ; 11429)
DOI: 10.1007/978-3-030-17502-3
Online-Ressource |
|
|
| 4. |
TACAS <25., 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 / edited by Tomáš Vojnar, Lijun Zhang. -
Cham: Springer, [2019]. - 1 Online-Ressource (XXIII, 413 p. 552 illus., 55 illus. in color), ISBN 978-3-030-17465-1
(Lecture notes in computer science ; 11428)
(Theoretical Computer Science and General Issues ; 11428)
(Springer eBooks : Computer Science)
DOI: 10.1007/978-3-030-17465-1
Online-Ressource |
|
|
| 5. |
TACAS <25., 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 / edited by Tomáš Vojnar, Lijun Zhang. -
Cham: Springer, [2019]. - 1 Online-Ressource (XXIII, 433 p. 1251 illus., 61 illus. in color), ISBN 978-3-030-17462-0
(Lecture notes in computer science ; 11427)
(Theoretical Computer Science and General Issues ; 11427)
(Springer eBooks : Computer Science)
DOI: 10.1007/978-3-030-17462-0
Online-Ressource |
|
|
| 6. |
Systems analysis modelling simulation. -
London [u.a.]: Taylor & Francis, 2002-2003. - Online-Ressource, ISSN 1029-4902
Nachgewiesen 42.2002 - 43.2003
Online-Ressource  Zeitschrift |
|
|
| 7. |
Mathematics of control, signals, and systems : MCSS. -
London: Springer, 1988-. - Online-Ressource, ISSN 1435-568X
1.1988 -
Online-Ressource Zeitschrift |
|
|
| 8. |
Imboden, Dieter M.: Introduction to systems analysis : mathematically modeling natural systems / Dieter M. Imboden; Stefan Pfenninger. -
Berlin ; Heidelberg [u.a.]: Springer, c 2013. - VIII, 252 S. : Ill., graph. Darst., ISBN 978-3-642-30638-9
 Buch/keine Angabe |
|
|
| 9. |
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht. -
Cham: Springer, 2016. - Online-Ressource (VII, 157 p. 62 illus, online resource), ISBN 978-3-319-51641-7
(Springer eBook Collection : Computer Science)
(Communications in Computer and Information Science ; 683)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-51641-7
Online-Ressource |
|
|
| 10. |
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. -
Cham: Springer, 2016. - Online-Ressource (XXI, 512 p. 111 illus, online resource), ISBN 978-3-319-46982-9
(Lecture Notes in Computer Science ; 10012)
(Programming and Software Engineering ; 10012)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-46982-9
Online-Ressource |
|
|
| 11. |
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. -
Cham: Springer, 2016. - Online-Ressource (XI, 530 p. 102 illus, online resource), ISBN 978-3-319-46520-3
(Lecture Notes in Computer Science ; 9938)
(Programming and Software Engineering ; 9938)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-46520-3
Online-Ressource |
|
|
| 12. |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. -
Cham: Springer, 2016. - Online-Ressource (XXIII, 974 p. 256 illus, online resource), ISBN 978-3-319-47166-2
(Lecture Notes in Computer Science ; 9952)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9952)
DOI: 10.1007/978-3-319-47166-2
Online-Ressource |
|
|
| 13. |
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. -
Cham: Springer, 2016. - Online-Ressource (XXIV, 866 p. 291 illus, online resource), ISBN 978-3-319-47169-3
(Lecture Notes in Computer Science ; 9953)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9953)
DOI: 10.1007/978-3-319-47169-3
Online-Ressource |
|
|
| 14. |
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. -
Cham: Springer, 2016. - Online-Ressource (XVI, 247 p. 89 illus, online resource), ISBN 978-3-319-45943-1
(Lecture Notes in Computer Science ; 9933)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9933)
DOI: 10.1007/978-3-319-45943-1
Online-Ressource |
|
|
| 15. |
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIX, 961 p. 220 illus, online resource), ISBN 978-3-662-49674-9
(Lecture Notes in Computer Science ; 9636)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9636)
DOI: 10.1007/978-3-662-49674-9
Online-Ressource |
|
|
| 16. |
Walgenbach, Peter: Neoinstitutionalistische Organisationstheorie / Peter Walgenbach, Renate E. Meyer. -
Stuttgart: Verlag W. Kohlhammer, [2008]. - 238 Seiten : Diagramme, ISBN 978-3-17-019088-7
([w:])
Buch/keine Angabe |
ausleihbar  |
|
| 17. |
Systemanalyse : DV-Einsatzplanung / P.C. Lockemann ... -
Berlin ; Heidelberg [u.a.]: Springer, 1983. - XIV, 342 S. : graph. Darst., ISBN 978-3-642-68796-9
Buch/keine Angabe |
Präsenznutzung
|
|
| 18. |
Vester, Frederic: Neuland des Denkens : vom technokratischen zum kybernetischen Zeitalter / Frederic Vester. -
Stuttgart: Deutsche Verlags-Anstalt, 1980. - 544 S : graph. Darst, ISBN 978-3-421-02703-0
Buch/keine Angabe |
Signatur: UBN/CC 5200 V583
|
|
| 19. |
Guo, Baolong: Signals and systems / Baolong Guo, Juanjuan Zhu. -
Berlin ; Boston: De Gruyter, [2018]. - XIV, 316 Seiten : Illustrationen, Diagramme, ISBN 978-3-11-059541-3
(Information and computer engineering ; volume 3)
(De Gruyter graduate)
Buch/keine Angabe |
Signatur: LN-U 10-18862
|
|
| 20. |
Roques, Pascal: Systems architecture modeling with the Arcadia method : a practical guide to Capella / Pascal Roques. -
Amsterdam: Elsevier, [2018]. - xiii, 277 Seiten : Illustrationen, Diagramme, ISBN 978-1-78548-168-0
(Implementation of model based system engineering set)
Buch/keine Angabe |
nicht ausleihbar
|
|
|
Suchhistorie (1 Recherche)
Jahr
