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

Results
	4381.	Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / by Herzig, Andreas [editor.] Luo, Jieting [editor.] Pardo, Pere [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14156 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)
	4382.	Health Information Science [electronic resource] : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings / by Li, Yan [editor.] Huang, Zhisheng [editor.] Sharma, Manik [editor.] Chen, Lu [editor.] Zhou, Rui [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14305 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4383.	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Puppis, Gabriele [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5955 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4384.	Building a National Distributed e-Infrastructure -- PL-Grid [electronic resource] : Scientific and Technical Achievements / by Bubak, Marian [editor.] Szepieniec, Tomasz [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7136 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4385.	Multidisciplinary Aspects of Time and Time Perception [electronic resource] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers / by Vatakis, Argiro [editor.] Esposito, Anna [editor.] Giagkou, Maria [editor.] Cummins, Fred [editor.] Papadelis, Georgios [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6789 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)
	4386.	Multiobjective Optimization [electronic resource] : Interactive and Evolutionary Approaches / by Branke, Jürgen [editor.] Deb, Kalyanmoy [editor.] Miettinen, Kaisa [editor.] Slowiński, Roman [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5252 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)
	4387.	Transactions on Computational Collective Intelligence X [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 7776 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)
	4388.	Transactions on Computational Collective Intelligence XXIV [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9770 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4389.	Transactions on Rough Sets XV [electronic resource] / by Peters, James F [editor.] Skowron, Andrzej [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 7255 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4390.	Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / by Cortier, Véronique [editor.] Kirchner, Claude [editor.] Okada, Mitsuhiro [editor.] Sakurada, Hideki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5458 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4391.	Transactions on Computational Collective Intelligence XXIII [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Mercik, Jacek [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9760 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4392.	Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation / by Lerner, Jürgen [editor.] Wagner, Dorothea [editor.] Zweig, Katharina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5515 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4393.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3800 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)
	4394.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Soós, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5161 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)
	4395.	Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / by Grumberg, Orna [editor.] Kaminski, Michael [editor.] Katz, Shmuel [editor.] Wintner, Shuly [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5533 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4396.	Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / by Erdem, Esra [editor.] Lee, Joohyung [editor.] Lierler, Yuliya [editor.] Pearce, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7265 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4397.	Transactions on Rough Sets XVII [electronic resource] / by Peters, James F [editor.] Skowron, Andrzej [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 8375 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4398.	Transactions of Computational Collective Intelligence IV [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6660 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)
	4399.	Transactions on Rough Sets XI [electronic resource]. by SpringerLink (Online service) Series: Transactions on Rough Sets ; 5946 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4400.	Ludics, Dialogue and Interaction [electronic resource] : PRELUDE Project — 2006-2009. Revised Selected Papers / by Lecomte, Alain [editor.] Tronçon, Samuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6505 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.