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

Results
	4341.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Régin, Jean-Charles [editor.] Rueher, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3011 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)
	4342.	Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2987 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)
	4343.	Primality Testing in Polynomial Time [electronic resource] : From Randomized Algorithms to "PRIMES Is in P" / by Dietzfelbinger, Martin [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3000 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)
	4344.	SOFSEM 2004: Theory and Practice of Computer Science [electronic resource] : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 / by Van Emde Boas, Peter [editor.] Pokorny, Jaroslav [editor.] Bieliková, Mária [editor.] Stuller, Julius [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2932 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)
	4345.	Engineering Self-Organising Systems [electronic resource] : Nature-Inspired Approaches to Software Engineering / by Di Marzo Serugendo, Giovanna [editor.] Karageorgos, Anthony [editor.] Rana, Omer F [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2977 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)
	4346.	Formal Grammar [electronic resource] : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / by Bernardi, Raffaella [editor.] Kobele, Greg [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11668 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4347.	Attractor Dimension Estimates for Dynamical Systems: Theory and Computation [electronic resource] : Dedicated to Gennady Leonov / by Kuznetsov, Nikolay [author.] Reitmann, Volker [author.] SpringerLink (Online service) Series: Emergence, Complexity and Computation ; 38 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)
	4348.	Engineering Psychology and Cognitive Ergonomics [electronic resource] : 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by Harris, Don [editor.] Li, Wen-Chin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13307 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)
	4349.	Multigrammatical Framework for Knowledge-Based Digital Economy [electronic resource] / by Sheremet, Igor A [author.] SpringerLink (Online service) 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)
	4350.	Computer Vision [electronic resource] : Statistical Models for Marr's Paradigm / by Zhu, Song-Chun [author.] Wu, Ying Nian [author.] SpringerLink (Online service) 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)
	4351.	Engineering Psychology and Cognitive Ergonomics [electronic resource] : 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II / by Harris, Don [editor.] Li, Wen-Chin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14018 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)
	4352.	Database Systems for Advanced Applications. DASFAA 2023 International Workshops [electronic resource] : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings / by El Abbadi, Amr [editor.] Dobbie, Gillian [editor.] Feng, Zhiyong [editor.] Chen, Lu [editor.] Tao, Xiaohui [editor.] Shao, Yingxia [editor.] Yin, Hongzhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13922 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)
	4353.	Geographical Information Systems Theory, Applications and Management [electronic resource] : 7th International Conference, GISTAM 2021, Virtual Event, April 23–25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers / by Grueau, Cédric [editor.] Laurini, Robert [editor.] Ragia, Lemonia [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1908 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)
	4354.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 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)
	4355.	Information and Communication Technologies [electronic resource] : 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18–20, 2023, Proceedings / by Maldonado-Mahauad, Jorge [editor.] Herrera-Tapia, Jorge [editor.] Zambrano-Martínez, Jorge Luis [editor.] Berrezueta, Santiago [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1885 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)
	4356.	Formal Concept Analysis [electronic resource] : Foundations and Applications / by Ganter, Bernhard [editor.] Stumme, Gerd [editor.] Wille, Rudolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3626 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)
	4357.	Multi-Agent Systems and Agreement Technologies [electronic resource] : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers / by Criado Pacheco, Natalia [editor.] Carrascosa, Carlos [editor.] Osman, Nardine [editor.] Julián Inglada, Vicente [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10207 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)
	4358.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngson [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3481 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)
	4359.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	4360.	Foundations of Security Analysis and Design VII [electronic resource] : FOSAD 2012 / 2013 Tutorial Lectures / by Aldini, Alessandro [editor.] Lopez, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8604 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 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.