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

Results
	461.	Business Process Management [electronic resource] : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / by Weske, Mathias [editor.] Montali, Marco [editor.] Weber, Ingo [editor.] vom Brocke, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11080 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)
	462.	Topics in Cryptology – CT-RSA 2019 [electronic resource] : The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings / by Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11405 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)
	463.	NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11460 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)
	464.	Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by Zamani, Majid [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11652 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)
	465.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] Gashi, Ilir [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11699 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)
	466.	Business Process Management [electronic resource] : 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / by Hildebrandt, Thomas [editor.] van Dongen, Boudewijn F [editor.] Röglinger, Maximilian [editor.] Mendling, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11675 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)
	467.	Database and Expert Systems Applications [electronic resource] : 30th International Conference, DEXA 2019, Linz, Austria, August 26–29, 2019, Proceedings, Part II / by Hartmann, Sven [editor.] Küng, Josef [editor.] Chakravarthy, Sharma [editor.] Anderst-Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11707 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)
	468.	PRICAI 2019: Trends in Artificial Intelligence [electronic resource] : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II / by Nayak, Abhaya C [editor.] Sharma, Alok [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11671 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)
	469.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11735 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)
	470.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11736 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)
	471.	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)
	472.	Algorithms for Computational Biology [electronic resource] : 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] Wheeler, Travis [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12099 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)
	473.	Advanced Information Systems Engineering [electronic resource] : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings / by Dustdar, Schahram [editor.] Yu, Eric [editor.] Salinesi, Camille [editor.] Rieu, Dominique [editor.] Pant, Vik [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12127 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)
	474.	Learning and Collaboration Technologies. Human and Technology Ecosystems [electronic resource] : 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by Zaphiris, Panayiotis [editor.] Ioannou, Andri [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12206 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)
	475.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
	476.	New Trends in Information and Communications Technology Applications [electronic resource] : 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings / by Al-Bakry, Abbas M [editor.] Al-Mamory, Safaa O [editor.] Sahib, Mouayad A [editor.] Hasan, Haitham S [editor.] Oreku, George S [editor.] Nayl, Thaker M [editor.] Al-Dhaibani, Jaafar A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1183 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)
	477.	Document Analysis Systems [electronic resource] : 14th IAPR International Workshop, DAS 2020, Wuhan, China, July 26–29, 2020, Proceedings / by Bai, Xiang [editor.] Karatzas, Dimosthenis [editor.] Lopresti, Daniel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12116 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)
	478.	Diagrammatic Representation and Inference [electronic resource] : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by Pietarinen, Ahti-Veikko [editor.] Chapman, Peter [editor.] Bosveld-de Smet, Leonie [editor.] Giardino, Valeria [editor.] Corter, James [editor.] Linker, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12169 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)
	479.	Digital Libraries for Open Knowledge [electronic resource] : 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 25–27, 2020, Proceedings / by Hall, Mark [editor.] Merčun, Tanja [editor.] Risse, Thomas [editor.] Duchateau, Fabien [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12246 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)
	480.	Model-Based Safety and Assessment [electronic resource] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / by Zeller, Marc [editor.] Höfig, Kai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12297 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 4160 results.