Results of search for 'ccl=su:{Theory of Computation.} and su-to:Programming Techniques and su-to:Computer programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Theory and Applications of Satisfiability Testing – SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by Beyersdorff, Olaf [editor.] Wintersteiger, Christoph M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10929 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)
	82.	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5799 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)
	83.	Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / by Bourgeois, Anu G [editor.] Zheng, Si Quing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5022 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)
	84.	Mathematical Foundations of Computer Science 2008 [electronic resource] : 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings / by Ochmanski, Edward [editor.] Tyszkiewicz, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5162 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)
	85.	Search Computing [electronic resource] : Challenges and Directions / by Ceri, Stefano [editor.] Brambilla, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5950 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)
	86.	Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II / by TAN, KAY CHEN [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6146 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)
	87.	Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / by Manna, Zohar [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6200 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)
	88.	Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings / by Hart, Emma [editor.] McEwan, Chris [editor.] Timmis, Jon [editor.] Hone, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6209 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)
	89.	Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / by Papatriantafilou, Marina [editor.] Hunel, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3144 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)
	90.	Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / by Muggleton, Stephen [editor.] Tamaddoni-Nezhad, Alireza [editor.] Lisi, Francesca A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7207 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)
	91.	Computational Science and Its Applications - ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV / by Laganà, Antonio [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Mun, Youngsong [editor.] Tan, C.J. Kenneth [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3046 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)
	92.	Topics in Theoretical Computer Science [electronic resource] : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / by Mousavi, Mohammad Reza [editor.] Sgall, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10608 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)
	93.	High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers / by Di Napoli, Edoardo [editor.] Hermanns, Marc-André [editor.] Iliev, Hristo [editor.] Lintermann, Andreas [editor.] Peyser, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10164 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)
	94.	Computational Intelligence for Knowledge-Based System Design [electronic resource] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / by Hüllermeier, Eyke [editor.] Kruse, Rudolf [editor.] Hoffmann, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6178 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)
	95.	Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / by Bento, Carlos [editor.] Cardoso, Amilcar [editor.] Dias, Gael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3808 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)
	96.	Reachability Problems [electronic resource] : Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings / by Bournez, Olivier [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5797 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)
	97.	Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings / by O'Neill, Michael [editor.] Vanneschi, Leonardo [editor.] Gustafson, Steven [editor.] Esparcia Alcázar, Anna Isabel [editor.] De Falco, Ivanoe [editor.] Della Cioppa, Antonio [editor.] Tarantino, Ernesto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4971 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)
	98.	Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / by Ramanujam, R [editor.] Sarukkai, Sundar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5378 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)
	99.	Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Boiten, Eerke [editor.] Derrick, John [editor.] Smith, Graeme [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2999 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)
	100.	Grid Computing [electronic resource] : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers / by Dikaiakos, Marios D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3165 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 430 results.