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

Results
	2221.	Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / by Collet, Pierre [editor.] Tomassini, Marco [editor.] Ebner, Marc [editor.] Gustafson, Steven [editor.] Ekárt, Anikó [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3905 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)
	2222.	Theoretical Aspects of Computing - ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jones [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4711 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)
	2223.	Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / by Bruni, Roberto [editor.] Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7173 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)
	2224.	Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / by Kucera, Antonin [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6227 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)
	2225.	Supercomputing [electronic resource] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings / by Kunkel, Julian Martin [editor.] Ludwig, Thomas [editor.] Meuer, Hans [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8488 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)
	2226.	Advances in Brain Inspired Cognitive Systems [electronic resource] : 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings / by Liu, Derong [editor.] Alippi, Cesare [editor.] Zhao, Dongbin [editor.] Hussain, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7888 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)
	2227.	Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / by Strichman, Ofer [editor.] Tzoref-Brill, Rachel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10629 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)
	2228.	Diagrammatic Representation and Inference [electronic resource] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / by Chapman, Peter [editor.] Stapleton, Gem [editor.] Moktefi, Amirouche [editor.] Perez-Kriz, Sarah [editor.] Bellucci, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10871 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)
	2229.	Public-Key Cryptography – PKC 2022 [electronic resource] : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part II / by Hanaoka, Goichiro [editor.] Shikata, Junji [editor.] Watanabe, Yohei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13178 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)
	2230.	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / by Jin, Hai [editor.] Gao, Guangrong [editor.] Xu, Zhiwei [editor.] Chen, Hao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3222 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)
	2231.	Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / by Fages, Francois [editor.] Soliman, Sylvain [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3703 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)
	2232.	Computer Vision – ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III / by Chen, Chu-Song [editor.] Lu, Jiwen [editor.] Ma, Kai-Kuang [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10118 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)
	2233.	Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Dimuro, Graçaliz Pereira [editor.] Antunes, Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10798 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)
	2234.	Web and Wireless Geographical Information Systems [electronic resource] : 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings / by R. Luaces, Miguel [editor.] Karimipour, Farid [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10819 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)
	2235.	AI Approaches to the Complexity of Legal Systems XI-XII [electronic resource] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers / by Rodríguez-Doncel, Víctor [editor.] Palmirani, Monica [editor.] Araszkiewicz, Michał [editor.] Casanovas, Pompeu [editor.] Pagallo, Ugo [editor.] Sartor, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13048 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)
	2236.	Computational Thinking: A Perspective on Computer Science [electronic resource] / by Xu, Zhiwei [author.] Zhang, Jialin [author.] SpringerLink (Online service) 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)
	2237.	Emerging Technologies for Authorization and Authentication [electronic resource] : 4th International Workshop, ETAA 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers / by Saracino, Andrea [editor.] Mori, Paolo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13136 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)
	2238.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by Finkbeiner, Bernd [editor.] Wies, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13182 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)
	2239.	Software Foundations for Data Interoperability [electronic resource] : 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers / by Fletcher, George [editor.] Nakano, Keisuke [editor.] Sasaki, Yuya [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1457 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)
	2240.	Web and Internet Economics [electronic resource] : 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings / by Feldman, Michal [editor.] Fu, Hu [editor.] Talgam-Cohen, Inbal [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 13112 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.