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

Results
	21.	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)
	22.	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)
	23.	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)
	24.	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)
	25.	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)
	26.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by André, Étienne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11750 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)
	27.	Cyber-Physical Systems: A Model-Based Approach [electronic resource] / by Taha, Walid M [author.] Taha, Abd-Elhamid M [author.] Thunberg, Johan [author.] SpringerLink (Online service) 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)
	28.	Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by Furia, Carlo A [editor.] Winter, Kirsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11023 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Summer of Simulation [electronic resource] : 50 Years of Seminal Computer Simulation Research / by Sokolowski, John [editor.] Durak, Umut [editor.] Mustafee, Navonil [editor.] Tolk, Andreas [editor.] SpringerLink (Online service) Series: Simulation Foundations, Methods and Applications 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)
	30.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by Dima, Catalin [editor.] Shirmohammadi, Mahsa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12860 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)
	31.	Computer Aided Systems Theory – EUROCAST 2022 [electronic resource] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers / by Moreno-Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada-Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13789 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)
	32.	Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Horváth, András [editor.] Wolter, Katinka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8721 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004 / by Davidsson, Paul [editor.] Logan, Brian [editor.] Takadama, Keiki [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3415 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 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)
	35.	Advances in Geometric Modeling and Processing [electronic resource] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / by Chen, Falai [editor.] Jüttler, Bert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4975 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)
	36.	Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Iglesias, Andres [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6783 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by Jansen, David N [editor.] Prabhakar, Pavithra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11022 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	38.	Cellular Automata [electronic resource] : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / by Was, Jaroslaw [editor.] Sirakoulis, Georgios [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8751 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	Communication Technologies for Vehicles [electronic resource] : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / by Mendizabal, Jaizki [editor.] Berbineau, Marion [editor.] Vinel, Alexey [editor.] Pfletschinger, Stephan [editor.] Bonneville, Hervé [editor.] Pirovano, Alain [editor.] Plass, Simon [editor.] Scopigno, Riccardo [editor.] Aniss, Hasnaa [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9669 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)
	40.	Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / by Alur, Rajeev [editor.] Pappas, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2993 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 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 425 results.