Your search returned 10 results.

Results
	1.	Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Reliable Software Technologies - Ada-Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings / by Abdennahder, Nabil [editor.] Kordon, Fabrice [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4498 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 13220 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Reliable Software Technologies - Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / by Kordon, Fabrice [editor.] Kermarrec, Yvon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5570 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / by Kordon, Fabrice [editor.] Sztipanovits, Janos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4322 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Reliable Software Technologies - Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by Kordon, Fabrice [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5026 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)
	8.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / by Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9698 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Kordon, Fabrice [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4888 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)
	10.	Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / by Zhang, Lin [editor.] Ren, Lei [editor.] Kordon, Fabrice [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10228 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 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