Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings / by Vera-Rodriguez, Ruben [editor.] Fierrez, Julian [editor.] Morales, Aythami [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11401 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)
	62.	Developing Enterprise Chatbots [electronic resource] : Learning Linguistic Structures / by Galitsky, Boris [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)
	63.	Models, Mindsets, Meta: The What, the How, and the Why Not? [electronic resource] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by Margaria, Tiziana [editor.] Graf, Susanne [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11200 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.	Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Janota, Mikoláš [editor.] Lynce, Inês [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11628 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.	SQL & NoSQL Databases [electronic resource] : Models, Languages, Consistency Options and Architectures for Big Data Management / by Meier, Andreas [author.] Kaufmann, Michael [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	66.	Tests and Proofs [electronic resource] : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by Beyer, Dirk [editor.] Keller, Chantal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11823 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.	Provable Security [electronic resource] : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / by Steinfeld, Ron [editor.] Yuen, Tsz Hon [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11821 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.	New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies [electronic resource] : 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings / by Benmoussa, Rachid [editor.] De Guio, Roland [editor.] Dubois, Sébastien [editor.] Koziołek, Sebastian [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 572 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.	Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by Mazzara, Manuel [editor.] Bruel, Jean-Michel [editor.] Meyer, Bertrand [editor.] Petrenko, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11771 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)
	70.	Design, User Experience, and Usability. Design for Contemporary Interactive Environments [electronic resource] : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by Marcus, Aaron [editor.] Rosenzweig, Elizabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12201 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.	Security Protocols XXVII [electronic resource] : 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers / by Anderson, Jonathan [editor.] Stajano, Frank [editor.] Christianson, Bruce [editor.] Matyáš, Vashek [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12287 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)
	72.	Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I / by De Paolis, Lucio Tommaso [editor.] Bourdot, Patrick [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12242 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)
	73.	Computational Science and Its Applications – ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4–7, 2022, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13380 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)
	74.	Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / by Lal, Akash [editor.] Tonetta, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13800 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	Performance Tools and Applications to Networked Systems [electronic resource] : Revised Tutorial Lectures / by Calzarossa, Maria Carla [editor.] Gelenbe, Erol [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2965 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)
	76.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	77.	Human-Computer Interaction: Interaction Technologies [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part II / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9170 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	78.	Concurrency, Security, and Puzzles [electronic resource] : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday / by Gibson-Robinson, Thomas [editor.] Hopcroft, Philippa [editor.] Lazić, Ranko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10160 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Gaaloul, Walid [editor.] Papazoglou, Mike [editor.] Paschke, Adrian [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10574 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	80.	Search-Based Software Engineering [electronic resource] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / by Colanzi, Thelma Elita [editor.] McMinn, Phil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11036 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.