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

Results
	4701.	Service-Oriented Computing – ICSOC 2020 Workshops [electronic resource] : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by Hacid, Hakim [editor.] Outay, Fatma [editor.] Paik, Hye-young [editor.] Alloum, Amira [editor.] Petrocchi, Marinella [editor.] Bouadjenek, Mohamed Reda [editor.] Beheshti, Amin [editor.] Liu, Xumin [editor.] Maaradji, Abderrahmane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12632 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)
	4702.	Digital Health and Medical Analytics [electronic resource] : Second International Conference, DHA 2020, Beijing, China, July 25, 2020, Revised Selected Papers / by Wang, Yichuan [editor.] Wang, William Yu Chung [editor.] Yan, Zhijun [editor.] Zhang, Dongsong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1412 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4703.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13703 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)
	4704.	The Future of Heritage Science and Technologies: ICT and Digital Heritage [electronic resource] : Third International Conference, Florence Heri-Tech 2022, Florence, Italy, May 16–18, 2022, Proceedings / by Furferi, Rocco [editor.] Governi, Lapo [editor.] Volpe, Yary [editor.] Seymour, Kate [editor.] Pelagotti, Anna [editor.] Gherardini, Francesco [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1645 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)
	4705.	Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Lima, Lucas [editor.] Molnár, Vince [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13768 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)
	4706.	Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part IV / by Sheng, Bin [editor.] Bi, Lei [editor.] Kim, Jinman [editor.] Magnenat-Thalmann, Nadia [editor.] Thalmann, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14498 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4707.	Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Baier, Christel [editor.] Haverkort, Boudewijn R [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] Siegle, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2925 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)
	4708.	Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Reps, Thomas [editor.] Sagiv, Mooly [editor.] Bauer, Jörg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4444 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4709.	From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings / by Nolfi, Stefano [editor.] Baldassare, Gianluca [editor.] Calabretta, Raffaele [editor.] Hallam, John [editor.] Marocco, Davide [editor.] Miglino, Orazio [editor.] Meyer, Jean-Arcady [editor.] Parisi, Domenico [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4095 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4710.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II / by Hao, Yue [editor.] Liu, Jiming [editor.] Wang, Yuping [editor.] Cheung, Yiu-ming [editor.] Yin, Hujun [editor.] Jiao, Licheng [editor.] Ma, Jianfeng [editor.] Jiao, Yong-Chang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3802 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)
	4711.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II / by Daelemans, Walter [editor.] Morik, Katharina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5212 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4712.	Conceptual Modeling - ER 2004 [electronic resource] : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings / by Atzeni, Paolo [editor.] Chu, Wesley [editor.] Lu, Hongjun [editor.] Zhou, Shuigeng [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3288 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)
	4713.	Multiple Classifier Systems [electronic resource] : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings / by Sansone, Carlo [editor.] Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6713 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4714.	Electronic Government [electronic resource] : 17th IFIP WG 8.5 International Conference, EGOV 2018, Krems, Austria, September 3-5, 2018, Proceedings / by Parycek, Peter [editor.] Glassey, Olivier [editor.] Janssen, Marijn [editor.] Scholl, Hans Jochen [editor.] Tambouris, Efthimios [editor.] Kalampokis, Evangelos [editor.] Virkar, Shefali [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11020 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)
	4715.	Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [electronic resource] : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers / by Bruel, Jean-Michel [editor.] Mazzara, Manuel [editor.] Meyer, Bertrand [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11350 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)
	4716.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / 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 ; 11536 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)
	4717.	Algebraic Informatics [electronic resource] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by Ćirić, Miroslav [editor.] Droste, Manfred [editor.] Pin, Jean-Éric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11545 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)
	4718.	Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Parker, David [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11785 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)
	4719.	Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Hu, Ting [editor.] Lourenço, Nuno [editor.] Medvet, Eric [editor.] Divina, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12101 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)
	4720.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12140 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.