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

Results
	1.	Security in Pervasive Computing [electronic resource] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / by Hutter, Dieter [editor.] Müller, Günter [editor.] Stephan, Werner [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2802 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)
	2.	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)
	3.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Bogomolov, Sergiy [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13465 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)
	4.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13487 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.	Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Bubak, Marian [editor.] Albada, Geert D.van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3036 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)
	7.	A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Jansen, Nils [editor.] Stoelinga, Mariëlle [editor.] van den Bos, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13560 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)
	8.	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)
	9.	Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / by Komendantskaya, Ekaterina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13544 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.	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)
	11.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / by Lopez-Garcia, Pedro [editor.] Gallagher, John P [editor.] Giacobazzi, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13160 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)
	12.	Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Riesco, Adrian [editor.] Zhang, Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13478 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.	Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers / by Li, Minming [editor.] Sun, Xiaoming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13461 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.	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers / by Masci, Paolo [editor.] Bernardeschi, Cinzia [editor.] Graziani, Pierluigi [editor.] Koddenbrock, Mario [editor.] Palmieri, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13765 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)
	15.	From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Pellungrini, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13268 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)
	16.	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)
	17.	Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Bouajjani, Ahmed [editor.] Holík, Lukáš [editor.] Wu, Zhilin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13505 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)
	18.	Linking Theory and Practice of Digital Libraries [electronic resource] : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings / by Silvello, Gianmaria [editor.] Corcho, Oscar [editor.] Manghi, Paolo [editor.] Di Nunzio, Giorgio Maria [editor.] Golub, Koraljka [editor.] Ferro, Nicola [editor.] Poggi, Antonella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13541 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.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13608 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)
	20.	Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13712 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 584 results.