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

Results
	701.	Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / by Düsterhöft, Antje [editor.] Klettke, Meike [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7260 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)
	702.	Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / by Morazán, Marco T [editor.] Scholz, Sven-Bodo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6041 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)
	703.	Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings / by Calude, Cristian S [editor.] Calude, Elena [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3340 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)
	704.	Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by Dean, C. Neville [editor.] Boute, Raymond T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3294 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)
	705.	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812 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)
	706.	Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by Galmiche, Didier [editor.] Schulz, Stephan [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10900 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)
	707.	Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / by Demoen, Bart [editor.] Lifschitz, Vladimir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3132 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)
	708.	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / by Borba, Paulo [editor.] Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcook, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6153 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)
	709.	Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Bruynooghe, Maurice [editor.] Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3049 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)
	710.	PRICAI 2014: Trends in Artificial Intelligence [electronic resource] : 13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings / by Pham, Duc-Nghia [editor.] Park, Seong-Bae [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8862 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)
	711.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 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)
	712.	Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / by Goble, Lou [editor.] Meyer, John-Jules Ch [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4048 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)
	713.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / by Middeldorp, Aart [editor.] van Oostrom, Vincent [editor.] van Raamsdonk, Femke [editor.] de Vrijer, Roel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3838 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)
	714.	PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by Baldoni, Matteo [editor.] Chopra, Amit K [editor.] Son, Tran Cao [editor.] Hirayama, Katsutoshi [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9862 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	715.	Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 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)
	716.	KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by Hölldobler, Steffen [editor.] Peñaloza, Rafael [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9324 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	717.	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)
	718.	Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / by Dediu, Adrian Horia [editor.] Ionescu, Armand Mihai [editor.] Martin-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5457 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)
	719.	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / by Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] Zsók, Viktoria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6299 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)
	720.	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / by Russo, Claudio [editor.] Zhou, Neng-Fa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7149 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 1899 results.