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

Results
	161.	Codes, Cryptology and Information Security [electronic resource] : Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji / by Carlet, Claude [editor.] Guilley, Sylvain [editor.] Nitaj, Abderrahmane [editor.] Souidi, El Mamoun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11445 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)
	162.	Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / by Deng, Robert H [editor.] Gauthier-Umaña, Valérie [editor.] Ochoa, Martín [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11464 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)
	163.	Models, Languages, and Tools for Concurrent and Distributed Programming [electronic resource] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / by Boreale, Michele [editor.] Corradini, Flavio [editor.] Loreti, Michele [editor.] Pugliese, Rosario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11665 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)
	164.	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)
	165.	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)
	166.	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)
	167.	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)
	168.	Advances in Cryptology – ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by Galbraith, Steven D [editor.] Moriai, Shiho [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11921 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)
	169.	Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by ter Beek, Maurice H [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12327 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)
	170.	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)
	171.	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)
	172.	Developing Information Systems Accurately [electronic resource] : A Wholistic Approach / by de Brock, Bert [author.] SpringerLink (Online service) 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)
	173.	Parallel Processing and Applied Mathematics [electronic resource] : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Deelman, Ewa [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13826 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)
	174.	Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Deelman, Ewa [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Kitowski, Jacek [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9573 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)
	175.	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)
	176.	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)
	177.	Computer Safety, Reliability, and Security [electronic resource] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / by Gallina, Barbara [editor.] Skavhaug, Amund [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11093 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)
	178.	Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by de Supinski, Bronis R [editor.] Valero-Lara, Pedro [editor.] Martorell, Xavier [editor.] Mateo Bellido, Sergi [editor.] Labarta, Jesus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11128 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)
	179.	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)
	180.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.