Results of search for 'ccl=su:{Artificial intelligence.} and su-to:Software Engineering and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by De Nicola, Rocco [editor.] Kühn, Eva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9763 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)
	62.	Software Technologies [electronic resource] : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / by van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1077 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)
	63.	Formal Methods – The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by ter Beek, Maurice H [editor.] McIver, Annabelle [editor.] Oliveira, José N [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11800 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.	Information and Software Technologies [electronic resource] : 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by Damaševičius, Robertas [editor.] Vasiljevienė, Giedrė [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1078 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.	Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by Osipov, Gennady S [editor.] Panov, Aleksandr I [editor.] Yakovlev, Konstantin S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11866 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.	Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Ábrahám, Erika [editor.] Paolieri, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13479 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)
	67.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers / by Klusáček, Dalibor [editor.] Julita, Corbalán [editor.] Rodrigo, Gonzalo P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13592 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)
	68.	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / by Boissier, Olivier [editor.] Padget, Julian [editor.] Dignum, Virginia [editor.] Lindemann, Gabriela [editor.] Matson, Eric T [editor.] Ossowski, Sascha [editor.] Sichman, Jaime [editor.] Vázquez-Salceda, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3913 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	69.	Artificial General Intelligence [electronic resource] : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings / by Iklé, Matthew [editor.] Franz, Arthur [editor.] Rzepka, Rafal [editor.] Goertzel, Ben [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10999 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)
	70.	Multi-Agent Systems and Agreement Technologies [electronic resource] : 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers / by Belardinelli, Francesco [editor.] Argente, Estefanía [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10767 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)
	71.	Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by Alves, Ronnie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11228 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)
	72.	Risks and Security of Internet and Systems [electronic resource] : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers / by Zemmari, Akka [editor.] Mosbah, Mohamed [editor.] Cuppens-Boulahia, Nora [editor.] Cuppens, Frédéric [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11391 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)
	73.	New Trends in Model and Data Engineering [electronic resource] : MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings / by Attiogbé, Christian [editor.] Ferrarotti, Flavio [editor.] Maabout, Sofian [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1085 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)
	74.	Knowledge Management in Organizations [electronic resource] : 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings / by Uden, Lorna [editor.] Ting, I-Hsien [editor.] Wang, Kai [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1438 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)
	75.	Future Access Enablers for Ubiquitous and Intelligent Infrastructures [electronic resource] : 6th EAI International Conference, FABULOUS 2022, Virtual Event, May 4, 2022, Proceedings / by Perakovic, Dragan [editor.] Knapcikova, Lucia [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 445 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)
	76.	Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by Frati, Fabrizio [editor.] Ma, Kwan-Liu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10692 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)
	77.	Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / by Smith, Ian F. C [editor.] Domer, Bernd [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10864 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)
	78.	Computer Safety, Reliability, and Security [electronic resource] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11698 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)
	79.	Advances in Building Information Modeling [electronic resource] : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / by Ofluoglu, Salih [editor.] Ozener, Ozan Onder [editor.] Isikdag, Umit [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1188 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)
	80.	Smart Technologies, Systems and Applications [electronic resource] : First International Conference, SmartTech-IC 2019, Quito, Ecuador, December 2-4, 2019, Proceedings / by Narváez, Fabián R [editor.] Vallejo, Diego F [editor.] Morillo, Paulina A [editor.] Proaño, Julio R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1154 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1614 results.