Results of search for 'ccl=su:{Performance}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 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.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 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.	Reinforcement Learning Aided Performance Optimization of Feedback Control Systems [electronic resource] / by Hua, Changsheng [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	64.	Big Data Innovations and Applications [electronic resource] : 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings / by Younas, Muhammad [editor.] Awan, Irfan [editor.] Benbernou, Salima [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1054 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.	Big Data Analytics and Knowledge Discovery [electronic resource] : 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings / by Ordonez, Carlos [editor.] Song, Il-Yeol [editor.] Anderst-Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11708 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)
	66.	Principles of High-Performance Processor Design [electronic resource] : For High Performance Computing, Deep Neural Networks and Data Science / by Makino, Junichiro [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	67.	Real-Time Systems [electronic resource] : Design Principles for Distributed Embedded Applications / by Kopetz, Hermann [author.] Steiner, Wilfried [author.] SpringerLink (Online service) Edition: 3rd 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)
	68.	Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by Sun, Jing [editor.] Sun, Meng [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11232 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)
	69.	Automated Deduction – CADE 27 [electronic resource] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / by Fontaine, Pascal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11716 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.	Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / by Lin, Anthony Widjaja [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11893 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)
	71.	Wireless Algorithms, Systems, and Applications [electronic resource] : 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings / by Ma, Liran [editor.] Khreishah, Abdallah [editor.] Zhang, Yan [editor.] Yan, Mingyuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10251 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)
	72.	Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Ryu, Sukyoung [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11275 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)
	73.	Product-Focused Software Process Improvement [electronic resource] : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings / by Franch, Xavier [editor.] Männistö, Tomi [editor.] Martínez-Fernández, Silverio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11915 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)
	74.	Bringing Machine Learning to Software-Defined Networks [electronic resource] / by Guo, Zehua [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / by Wolf, Felix [editor.] Mohr, Bernd [editor.] an Mey, Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8097 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	76.	Algorithmic Aspects of Cloud Computing [electronic resource] : Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers / by Sellis, Timos [editor.] Oikonomou, Konstantinos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10230 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)
	77.	Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by Ölveczky, Peter Csaba [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11724 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)
	78.	Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by Filiot, Emmanuel [editor.] Jungers, Raphaël [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11674 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)
	79.	Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10886 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)
	80.	Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by Havelund, Klaus [editor.] Peleska, Jan [editor.] Roscoe, Bill [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10951 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 516 results.