Results of search for 'ccl=su:{Computer System Implementation.} and se:Lecture Notes in Computer Science,' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / by Swierstra, Wouter [editor.] Wu, Nicolas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13401 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)
	2.	Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15–16, 2022, Proceedings / by Koucheryavy, Yevgeni [editor.] Aziz, Ahmed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13772 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)
	3.	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)
	4.	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)
	5.	Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Mavronicolas, Marios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13898 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)
	6.	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)
	7.	Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by Seguin, Christel [editor.] Zeller, Marc [editor.] Prosvirnova, Tatiana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13525 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)
	8.	Human Centered Computing [electronic resource] : 7th International Conference, HCC 2021, Virtual Event, December 9–11, 2021, Revised Selected Papers / by Zu, Qiaohong [editor.] Tang, Yong [editor.] Mladenovic, Vladimir [editor.] Naseer, Aisha [editor.] Wan, Jizheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13795 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)
	9.	Image and Vision Computing [electronic resource] : 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24–25, 2022, Revised Selected Papers / by Yan, Wei Qi [editor.] Nguyen, Minh [editor.] Stommel, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13836 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)
	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.	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)
	12.	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)
	13.	OpenMP in a Modern World: From Multi-device Support to Meta Programming [electronic resource] : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings / by Klemm, Michael [editor.] de Supinski, Bronis R [editor.] Klinkenberg, Jannis [editor.] Neth, Brandon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13527 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.	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)
	15.	Information Security Practice and Experience [electronic resource] : 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23–25, 2022, Proceedings / by Su, Chunhua [editor.] Gritzalis, Dimitris [editor.] Piuri, Vincenzo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13620 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.	Architecture of Computing Systems [electronic resource] : 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings / by Schulz, Martin [editor.] Trinitis, Carsten [editor.] Papadopoulou, Nikela [editor.] Pionteck, Thilo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13642 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)
	17.	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)
	18.	Interactive Collaborative Robotics [electronic resource] : 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings / by Ronzhin, Andrey [editor.] Meshcheryakov, Roman [editor.] Xiantong, Zhen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13719 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.	High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / by Varbanescu, Ana-Lucia [editor.] Bhatele, Abhinav [editor.] Luszczek, Piotr [editor.] Marc, Baboulin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13289 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.	Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I / by Kiltz, Eike [editor.] Vaikuntanathan, Vinod [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13747 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 247 results.