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

Results
	221.	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)
	222.	Topics in Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by Hajiaghayi, Mohammed Taghi [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9541 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)
	223.	Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / by Michel, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9075 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	224.	Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by Lotker, Zvi [editor.] Patt-Shamir, Boaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11085 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)
	225.	Computational and Information Technologies in Science, Engineering and Education [electronic resource] : 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers / by Shokin, Yuri [editor.] Shaimardanov, Zhassulan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 998 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)
	226.	Mathematical Optimization Theory and Operations Research [electronic resource] : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings / by Khachay, Michael [editor.] Kochetov, Yury [editor.] Pardalos, Panos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11548 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)
	227.	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)
	228.	Adversarial and Uncertain Reasoning for Adaptive Cyber Defense [electronic resource] : Control- and Game-Theoretic Approaches to Cyber Security / by Jajodia, Sushil [editor.] Cybenko, George [editor.] Liu, Peng [editor.] Wang, Cliff [editor.] Wellman, Michael [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11830 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)
	229.	Neural Computing for Advanced Applications [electronic resource] : First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings / by Zhang, Haijun [editor.] Zhang, Zhao [editor.] Wu, Zhou [editor.] Hao, Tianyong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1265 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	230.	Stereoscopic Image Quality Assessment [electronic resource] / by Ding, Yong [author.] Sun, Guangming [author.] SpringerLink (Online service) Series: Advanced Topics in Science and Technology in China ; 60 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	231.	Approximation and Online Algorithms [electronic resource] : 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by Kaklamanis, Christos [editor.] Levin, Asaf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12806 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)
	232.	Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by Abate, Alessandro [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12846 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)
	233.	Computer and Communication Engineering [electronic resource] : 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers / by Neri, Filippo [editor.] Du, Ke-Lin [editor.] Varadarajan, Vijaya Kumar [editor.] Angel-Antonio, San-Blas [editor.] Jiang, Zhiyu [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1630 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)
	234.	Mathematical Optimization Theory and Operations Research: Recent Trends [electronic resource] : 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers / by Kochetov, Yury [editor.] Eremeev, Anton [editor.] Khamisov, Oleg [editor.] Rettieva, Anna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1661 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)
	235.	Frontiers in Algorithmics [electronic resource] : 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings / by Chen, Yijia [editor.] Deng, Xiaotie [editor.] Lu, Mei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11458 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)
	236.	Functional Imaging and Modeling of the Heart [electronic resource] : 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings / by Coudière, Yves [editor.] Ozenne, Valéry [editor.] Vigmond, Edward [editor.] Zemzemi, Nejib [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11504 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)
	237.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11539 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)
	238.	Green Energy and Networking [electronic resource] : 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings / by Jiang, Xiaolin [editor.] Li, Peng [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 333 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)
	239.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings / by Gribaudo, Marco [editor.] Sopin, Eduard [editor.] Kochetkova, Irina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12023 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)
	240.	Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12638 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2672 results.