Results of search for 'ccl=su:{Computer simulation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Algorithmic Game Theory [electronic resource] : 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings / by Kanellopoulos, Panagiotis [editor.] Kyropoulou, Maria [editor.] Voudouris, Alexandros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13584 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)
	62.	Space Information Networks [electronic resource] : Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers / by Yu, Quan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 972 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	63.	Emotion, Personality and Cultural Aspects in Crowds [electronic resource] : Towards a Geometrical Mind / by Migon Favaretto, Rodolfo [author.] Raupp Musse, Soraia [author.] Brandelli Costa, Angelo [author.] SpringerLink (Online service) 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)
	64.	Machine Learning and Intelligent Communications [electronic resource] : 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / by Zhai, Xiangping Bryce [editor.] Chen, Bing [editor.] Zhu, Kun [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 294 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)
	65.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by Guan, Nan [editor.] Katoen, Joost-Pieter [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11951 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)
	66.	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)
	67.	Wireless Algorithms, Systems, and Applications [electronic resource] : 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings / by Biagioni, Edoardo S [editor.] Zheng, Yao [editor.] Cheng, Siyao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11604 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)
	68.	Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by Ahrendt, Wolfgang [editor.] Tapia Tarifa, Silvia Lizeth [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11918 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)
	69.	Simulation Science [electronic resource] : Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers / by Gunkelmann, Nina [editor.] Baum, Marcus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1199 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)
	70.	Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / by Gabbrielli, Maurizio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12042 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)
	71.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 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)
	72.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 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)
	73.	Computational Methods and Clinical Applications for Spine Imaging [electronic resource] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / by Vrtovec, Tomaž [editor.] Yao, Jianhua [editor.] Glocker, Ben [editor.] Klinder, Tobias [editor.] Frangi, Alejandro [editor.] Zheng, Guoyan [editor.] Li, Shuo [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9402 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)
	74.	Computational and Information Technologies in Science, Engineering and Education [electronic resource] : 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers / by Shokin, Yuri [editor.] Shaimardanov, Zhassulan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 998 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)
	75.	Frontiers of Combining Systems [electronic resource] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by Herzig, Andreas [editor.] Popescu, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11715 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)
	76.	Patch-Based Techniques in Medical Imaging [electronic resource] : Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / by Wu, Guorong [editor.] Coupé, Pierrick [editor.] Zhan, Yiqiang [editor.] Munsell, Brent C [editor.] Rueckert, Daniel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9993 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)
	77.	Modelling and Simulation for Autonomous Systems [electronic resource] : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers / by Mazal, Jan [editor.] Fagiolini, Adriano [editor.] Vasik, Petr [editor.] Turi, Michele [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12619 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)
	78.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 20th Asian Simulation Conference, AsiaSim 2021, Virtual Event, November 17–20, 2021, Proceedings / by Chang, Byeong-Yun [editor.] Choi, Changbeom [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1636 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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)
	80.	Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by Larsen, Kim Guldstrand [editor.] Willemse, Tim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11687 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 865 results.