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

Results
	141.	Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by Broy, Manfred [editor.] Krüger, Ingolf [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4922 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)
	142.	Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / by Ferreira, Fernando [editor.] Löwe, Benedikt [editor.] Mayordomo, Elvira [editor.] Gomes, Luís Mendes [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6158 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)
	143.	Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / by Romay, Manuel Grana [editor.] Savio, Alexandre Manhaes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6077 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)
	144.	Applications of Evolutionary Computing [electronic resource] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by Rothlauf, Franz [editor.] Branke, Jürgen [editor.] Cagnoni, Stefano [editor.] Corne, David W [editor.] Drechsler, Rolf [editor.] Jin, Yaochu [editor.] Machado, Penousal [editor.] Marchiori, Elena [editor.] Romero, Juan [editor.] Smith, George D [editor.] Squillero, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3449 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)
	145.	Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / by Gao, Yuan [editor.] Lu, Hanlin [editor.] Seki, Shinnosuke [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6224 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)
	146.	Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5725 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)
	147.	Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / by Bradley, Jeremy T [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5652 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)
	148.	Independent Component Analysis and Signal Separation [electronic resource] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings / by Adali, Tulay [editor.] Jutten, Christian [editor.] Romano, Joao Marcos Travassos [editor.] Barros, Allan Kardec [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5441 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)
	149.	Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / by State, Radu [editor.] van der Meer, Sven [editor.] O'Sullivan, Declan [editor.] Pfeifer, Tom [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4269 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)
	150.	Hybrid Learning and Education [electronic resource] : First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by Fong, Joseph [editor.] Kwan, Reggie [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5169 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)
	151.	Search Based Software Engineering [electronic resource] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / by Fraser, Gordon [editor.] Teixeira de Souza, Jerffeson [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7515 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)
	152.	Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / by Konev, Boris [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4720 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)
	153.	Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Composium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by Sun, Fuchun [editor.] Zhang, Jianwei [editor.] Cao, Jinde [editor.] Yu, Wen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5264 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)
	154.	Genetic Programming [electronic resource] : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by Keijzer, Maarten [editor.] Tettamanzi, Andrea [editor.] Collet, Pierre [editor.] van Hemert, Jano [editor.] Tomassini, Marco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3447 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)
	155.	New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings / by Borzemski, Leszek [editor.] Grzech, Adam [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5027 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)
	156.	Parallel Problem Solving from Nature - PPSN X [electronic resource] : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / by Rudolph, Günter [editor.] Jansen, Thomas [editor.] Lucas, Simon M [editor.] Poloni, Carlo [editor.] Beume, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5199 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)
	157.	Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / by Laender, Alberto H. F [editor.] Castano, Silvana [editor.] Dayal, Umeshwar [editor.] Casati, Fabio [editor.] de Oliverira, José Palazzo M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5829 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)
	158.	Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / by Edwards, Stephen H [editor.] Kulczycki, Gregory [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5791 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)
	159.	Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / by van der Aalst, Wil M. P [editor.] Billington, Jonathan [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5100 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)
	160.	Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Diaz, Josep [editor.] Calamoneri, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6078 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 430 results.