Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Software engineering and su-to:Control' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	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)
	2.	Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by Schlingloff, Bernd-Holger [editor.] Chai, Ming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13550 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)
	3.	Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / by Caltais, Georgiana [editor.] Schilling, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13872 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)
	4.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13704 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	High Performance Computing. ISC High Performance 2022 International Workshops [electronic resource] : Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers / by Anzt, Hartwig [editor.] Bienz, Amanda [editor.] Luszczek, Piotr [editor.] Baboulin, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13387 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)
	6.	Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13708 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)
	7.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 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)
	8.	Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Dubois, Catherine [editor.] San Pietro, Pierluigi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13962 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)
	9.	Euro-Par 2022: Parallel Processing [electronic resource] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by Cano, José [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13440 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)
	10.	Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / by Chechik, Marsha [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14000 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)
	11.	Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Liu, Ai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13854 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)
	12.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 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)
	13.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 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)
	14.	Fundamental Approaches to Software Engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Johnsen, Einar Broch [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13241 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)
	15.	Parallel Computing Technologies [electronic resource] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14098 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)
	16.	Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings / by Cano, José [editor.] Dikaiakos, Marios D [editor.] Papadopoulos, George A [editor.] Pericàs, Miquel [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14100 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)
	17.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Hojjat, Hossein [editor.] Ábrahám, Erika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14155 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)
	18.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings / by Orailoglu, Alex [editor.] Reichenbach, Marc [editor.] Jung, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13511 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)
	19.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / by Klusáček, Dalibor [editor.] Corbalán, Julita [editor.] Rodrigo, Gonzalo P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14283 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)
	20.	Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings / by Guiochet, Jérémie [editor.] Tonetta, Stefano [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14181 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 37 results.