Your search returned 77 results.

Results
	61.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / by Colom, Jose-Manuel [editor.] Desel, Jörg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7927 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	62.	Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers / by Liu, Baoxiang [editor.] Ma, Maode [editor.] Chang, Jincai [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7473 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	63.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings / by Braberman, Víctor [editor.] Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8053 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	64.	Computer Performance Engineering [electronic resource] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / by Reinecke, Philipp [editor.] Di Marco, Antinisca [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10497 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)
	65.	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by Fränzle, Martin [editor.] Kapur, Deepak [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9984 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)
	66.	Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by O'Regan, Gerard [author.] SpringerLink (Online service) Series: Texts in Computer Science 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)
	67.	Probabilistic Graphical Models [electronic resource] : Principles and Applications / by Sucar, Luis Enrique [author.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	68.	Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies. by SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5945 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	69.	Computer Performance Engineering and Stochastic Modelling [electronic resource] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / by Iacono, Mauro [editor.] Scarpa, Marco [editor.] Barbierato, Enrico [editor.] Serrano, Salvatore [editor.] Cerotti, Davide [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14231 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)
	70.	Active Inference [electronic resource] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers / by Buckley, Christopher L [editor.] Cialfi, Daniela [editor.] Lanillos, Pablo [editor.] Ramstead, Maxwell [editor.] Sajid, Noor [editor.] Shimazaki, Hideaki [editor.] Verbelen, Tim [editor.] Wisse, Martijn [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1915 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	71.	Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Parker, David [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11785 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)
	72.	Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers [electronic resource] : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers / by Camara, Oscar [editor.] Puyol-Antón, Esther [editor.] Qin, Chen [editor.] Sermesant, Maxime [editor.] Suinesiaputra, Avan [editor.] Wang, Shuo [editor.] Young, Alistair [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13593 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	73.	Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers [electronic resource] : 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers / by Camara, Oscar [editor.] Puyol-Antón, Esther [editor.] Sermesant, Maxime [editor.] Suinesiaputra, Avan [editor.] Tao, Qian [editor.] Wang, Chengyan [editor.] Young, Alistair [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14507 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	74.	Big Data Analytics for Time-Critical Mobility Forecasting [electronic resource] : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / by Vouros, George A [editor.] Andrienko, Gennady [editor.] Doulkeridis, Christos [editor.] Pelekis, Nikolaos [editor.] Artikis, Alexander [editor.] Jousselme, Anne-Laure [editor.] Ray, Cyril [editor.] Cordero, Jose Manuel [editor.] Scarlatti, David [editor.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	Artificial Intelligence in Medicine [electronic resource] : 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15–18, 2021, Proceedings / by Tucker, Allan [editor.] Henriques Abreu, Pedro [editor.] Cardoso, Jaime [editor.] Pereira Rodrigues, Pedro [editor.] Riaño, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12721 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	76.	Principles of Data Mining and Knowledge Discovery [electronic resource] : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 Proceedings / by Komorowski, Jan [editor.] Zytkow, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1263 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	77.	Interactive Markov Chains [electronic resource] : The Quest for Quantified Quality / by Hermanns, Holger [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2428 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 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