Your search returned 3 results.

Results
	1.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings / by Collart-Dutilleul, Simon [editor.] Haxthausen, Anne E [editor.] Lecomte, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13294 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / by Haxthausen, Anne E [editor.] Huang, Wen-ling [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14165 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / by Fitzgerald, John S [editor.] Haxthausen, Anne E [editor.] Yenigun, Husnu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5160 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in