Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer Science and available and su-to:Artificial intelligence and available' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Computing and Software Science [electronic resource] : State of the Art and Perspectives / by Steffen, Bernhard [editor.] Woeginger, Gerhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10000 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)
	2.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by Gotsman, Alexey [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12136 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)
	3.	Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / by Češka, Milan [editor.] Šafránek, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11095 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)
	4.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / by Gallina, Barbara [editor.] Skavhaug, Amund [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11094 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)
	5.	NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by Lee, Ritchie [editor.] Jha, Susmit [editor.] Mavridou, Anastasia [editor.] Giannakopoulou, Dimitra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12229 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)
	6.	Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by Peltier, Nicolas [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12166 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)
	7.	Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by Peltier, Nicolas [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12167 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)
	8.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 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)
	9.	Computer Safety, Reliability, and Security [electronic resource] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / by Casimiro, António [editor.] Ortmeier, Frank [editor.] Bitsch, Friedemann [editor.] Ferreira, Pedro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12234 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)
	10.	Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by Blanchette, Jasmin [editor.] Kovács, Laura [editor.] Pattinson, Dirk [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13385 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)
	11.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	12.	Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by Calinescu, Radu [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13085 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)
	13.	Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Parsons, Jeffrey [editor.] Saeki, Motoshi [editor.] Shoval, Peretz [editor.] Woo, Carson [editor.] Wand, Yair [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412 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)
	14.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 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)
	15.	Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Omicini, Andrea [editor.] Sardina, Sebastian [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6619 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)
	16.	Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems / by Papazoglou, M [editor.] Pohl, Klaus [editor.] Parkin, Michael [editor.] Metzger, Andreas [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6500 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)
	17.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / by Schürr, Andy [editor.] Nagl, Manfred [editor.] Zündorf, Albert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5088 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)
	18.	Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by Nigam, Vivek [editor.] Ban Kirigin, Tajana [editor.] Talcott, Carolyn [editor.] Guttman, Joshua [editor.] Kuznetsov, Stepan [editor.] Thau Loo, Boon [editor.] Okada, Mitsuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12300 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)
	19.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / by Ando, Noriako [editor.] Balakirsky, Stephen [editor.] Hemker, Thomas [editor.] Reggiani, Monica [editor.] von Stryk, Oskar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6472 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)
	20.	Programming Languages and Systems [electronic resource] : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings / by Swierstra, S. Doaitse [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1576 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 25 results.