Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Theory of Computation.} and su-to:Programming Languages, Compilers, Interpreters'

Your cart is empty.

FEEDBACK

Your search returned 145 results.

« Previous
1
2
3
4
5
6
7
8
Next »

	121.	Transactions on Rough Sets XII [electronic resource] / by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Słowiński, Roman [editor.] \| Lingras, Pawan [editor.] \| Miao, Duoqian [editor.] \| Tsumoto, Shusaku [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	122.	Mathematical Foundations of Computer Science 2010 [electronic resource] :35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / by Hliněný, Petr [editor.] \| Kučera, Antonín [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	123.	Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] :8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / by Bonanno, Giacomo [editor.] \| Löwe, Benedikt [editor.] \| Hoek, Wiebe van der [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	124.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] :International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / by Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	125.	Modelling Autonomic Communication Environments [electronic resource] :5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / by Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven van der [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	126.	Programming Languages and Systems [electronic resource] :8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / by Ueda, Kazunori [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	127.	Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] :9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / by Roychoudhury, Abhik [editor.] \| D’Souza, Meenakshi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	128.	Logical Foundations of Computer Science [electronic resource] :International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / by Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	129.	Formal Methods for Executable Software Models [electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / by Bernardo, Marco [editor.] \| Damiani, Ferruccio [editor.] \| Hähnle, Reiner [editor.] \| Johnsen, Einar Broch [editor.] \| Schaefer, Ina [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	130.	NASA Formal Methods [electronic resource] :11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] \| Rozier, Kristin Yvonne [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	131.	Practical Aspects of Declarative Languages [electronic resource] :21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / by Alferes, José Júlio [editor.] \| Johansson, Moa [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	132.	Fundamental Approaches to Software Engineering [electronic resource] :22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] \| van der Aalst, Wil [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	133.	Programming Languages and Systems [electronic resource] :28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Caires, Luís [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	134.	Software Engineering and Formal Methods [electronic resource] :16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] \| Schaefer, Ina [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	135.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	136.	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	137.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	138.	Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	139.	Formal Methods [electronic resource] :22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	140.	Programming Languages and Systems [electronic resource] :16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Ryu, Sukyoung [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
Next »

Refine your search

Authors

Item types

Series

Topics