|
1. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
2. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
3. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
4. |
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. - Cham: Springer, 2016. - Online-Ressource (XVII, 486 p. 144 illus, online resource), ISBN 978-3-319-47846-3 (Lecture Notes in Computer Science ; 10009) (Programming and Software Engineering ; 10009) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-47846-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
5. |
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. - Cham: Springer, 2016. - Online-Ressource (XVI, 211 p. 60 illus, online resource), ISBN 978-3-319-49052-6 (Lecture Notes in Computer Science ; 10028) (Programming and Software Engineering ; 10028) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-49052-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
6. |
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. - Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 36 illus, online resource), ISBN 978-3-319-48869-1 (Lecture Notes in Computer Science ; 9971) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 9971) DOI: 10.1007/978-3-319-48869-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
7. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
8. |
Asay, Jamin: A theory of truthmaking : metaphysics, ontology, and reality / Jamin Asay. - Cambridge, United Kingdom: Cambridge University Press, 2020. - xiii, 296 Seiten, ISBN 978-1-108-49988-0
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
ausleihbar ![3D-Plan](https://www.ub.uni-heidelberg.de/nav4/grafik/3d-plan-icon.png)
Signatur: 2020 A 7953
|
|
9. |
Blair, William A.: The record of murders and outrages : racial violence and the fight over truth at the dawn of Reconstruction / William A. Blair. - Chapel Hill: University of North Carolina Press, [2021]. - 173 Seiten, ISBN 978-1-4696-6344-9 (Civil War America)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
ausleihbar ![3D-Plan](https://www.ub.uni-heidelberg.de/nav4/grafik/3d-plan-icon.png)
Signatur: 2023 A 5551
|
|
10. |
Höse, Steffi: Ereignisrisiko : statistische Verfahren und Konzepte zur Risikoquantifizierung / Steffi Höse, Stefan Huschens. - Berlin ; [Heidelberg]: Springer Spektrum, [2022]. - 1 Online-Ressource (XVI, 308 Seiten), ISBN 978-3-662-64691-5 (Springer eBook Collection) DOI: 10.1007/978-3-662-64691-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
11. |
Molitorisz, Korbinian: Musterbasierte Parallelisierung sequenzieller Anwendungen : Konzept und Implementierung eines Verfahrens zur Softwaretransformation / von Korbinian Molitorisz. - Wiesbaden: Springer Vieweg, 2016. - Online-Ressource (XIII, 226 S. 89 Abb., 9 Abb. in Farbe, online resource), ISBN 978-3-658-15095-2 (SpringerLink : Bücher) DOI: 10.1007/978-3-658-15095-2
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
12. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
13. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
14. |
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. - Cham: Springer, 2016. - Online-Ressource (XII, 245 p. 67 illus, online resource), ISBN 978-3-319-44878-7 (Lecture Notes in Computer Science ; 9884) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9884) DOI: 10.1007/978-3-319-44878-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
15. |
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna. - Cham: Springer, 2016. - Online-Ressource (IX, 149 p. 41 illus, online resource), ISBN 978-3-319-45892-2 (Lecture Notes in Computer Science ; 9823) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 9823) DOI: 10.1007/978-3-319-45892-2
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
16. |
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. - Cham: Springer, 2016. - Online-Ressource (X, 253 p. 62 illus, online resource), ISBN 978-3-319-49815-7 (Lecture Notes in Computer Science ; 10090) (Programming and Software Engineering ; 10090) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-49815-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
17. |
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](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
18. |
System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / edited by Jens Grabowski, Steffen Herbold. - Cham: Springer, 2016. - Online-Ressource (X, 243 p. 99 illus, online resource), ISBN 978-3-319-46613-2 (Lecture Notes in Computer Science ; 9959) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Programming and Software Engineering ; 9959) DOI: 10.1007/978-3-319-46613-2
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
19. |
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia. - Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 51 illus, online resource), ISBN 978-3-319-41135-4 (Lecture Notes in Computer Science ; 9762) (Programming and Software Engineering ; 9762) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-41135-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
20. |
Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej Wąsowski, Henrik Lönn. - Cham: Springer, 2016. - Online-Ressource (XVIII, 265 p. 123 illus, online resource), ISBN 978-3-319-42061-5 (Lecture Notes in Computer Science ; 9764) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Programming and Software Engineering ; 9764) DOI: 10.1007/978-3-319-42061-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
|