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

Results
	161.	Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / by Ferrández Vicente, José Manuel [editor.] Álvarez-Sánchez, José Ramón [editor.] de la Paz López, Félix [editor.] Toledo-Moreo, Fco. Javier [editor.] Adeli, Hojjat [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9108 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)
	162.	Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / by Xiao, Bin [editor.] Yang, Laurence T [editor.] Muller-Schloer, Christian [editor.] Hua, Yu [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4610 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)
	163.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Pipek, Volkmar [editor.] Rosson, Mary-Beth [editor.] Wulf, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5435 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)
	164.	Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by Kaliszyk, Cezary [editor.] Brady, Edwin [editor.] Kohlhase, Andrea [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11617 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)
	165.	Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by S. Barbosa, Luís [editor.] Ali Abam, Mohammad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12281 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)
	166.	Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Gribaudo, Marco [editor.] Jansen, David N [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12289 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)
	167.	Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by Papadakis, Mike [editor.] Vergilio, Silvia Regina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13711 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)
	168.	Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy [electronic resource] : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers / by Sun, Maosong [editor.] Qi, Guilin [editor.] Liu, Kang [editor.] Ren, Jiadong [editor.] Xu, Bin [editor.] Feng, Yansong [editor.] Liu, Yongbin [editor.] Chen, Yubo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1669 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	169.	Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012, Proceedings / by Giacobini, Mario [editor.] Vanneschi, Leonardo [editor.] Bush, William S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7246 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)
	170.	Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by Bennaceur, Amel [editor.] Hähnle, Reiner [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11026 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)
	171.	Numerical Computations: Theory and Algorithms [electronic resource] : Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II / by Sergeyev, Yaroslav D [editor.] Kvasov, Dmitri E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11974 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)
	172.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I / by Lesot, Marie-Jeanne [editor.] Vieira, Susana [editor.] Reformat, Marek Z [editor.] Carvalho, João Paulo [editor.] Wilbik, Anna [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1237 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)
	173.	Natural Language Processing and Information Systems [electronic resource] : 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24–26, 2020, Proceedings / by Métais, Elisabeth [editor.] Meziane, Farid [editor.] Horacek, Helmut [editor.] Cimiano, Philipp [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12089 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)
	174.	Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by Guerra, Esther [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12649 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)
	175.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12651 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)
	176.	Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Sierra-Rodríguez, José-Luis [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8370 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)
	177.	Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / by Krishnamachari, Bhaskar [editor.] Murphy, Amy L [editor.] Trigoni, Niki [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8354 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)
	178.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers / by Formenti, Enrico [editor.] Tagliaferri, Roberto [editor.] Wit, Ernst [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8452 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)
	179.	Computer Science - Theory and Applications [electronic resource] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / by Hirsch, Edward [editor.] Kuznetsov, Sergei O [editor.] Pin, Jean-Éric [editor.] Vereshchagin, Nikolay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8476 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)
	180.	Artificial Intelligence: Methods and Applications [electronic resource] : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings / by Likas, Aristidis [editor.] Blekas, Konstantinos [editor.] Kalles, Dimitris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8445 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

Topics

Your search returned 2608 results.