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

Your cart is empty.

FEEDBACK

Your search returned 200 results.

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

	81.	CONCUR 2005 – Concurrency Theory [electronic resource] :16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / by Abadi, Martín [editor.] \| Alfaro, Luca de [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	82.	Distributed Computing [electronic resource] :19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings / by Fraigniaud, Pierre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	83.	Integrated Formal Methods [electronic resource] :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / by Romijn, Judi [editor.] \| Smith, Graeme [editor.] \| Pol, Jaco van de [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	84.	Algorithms and Computation [electronic resource] :16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings / by Deng, Xiaotie [editor.] \| Du, Ding-Zhu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	85.	Distributed Computing – IWDC 2005 [electronic resource] :7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings / by Pal, Ajit [editor.] \| Kshemkalyani, Ajay D [editor.] \| Kumar, Rajeev [editor.] \| Gupta, Arobinda [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	86.	Algorithmic Applications in Management [electronic resource] :First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings / by Megiddo, Nimrod [editor.] \| Xu, Yinfeng [editor.] \| Zhu, Binhai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	87.	Automata, Languages and Programming [electronic resource] :33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / by Bugliesi, Michele [editor.] \| Preneel, Bart [editor.] \| Sassone, Vladimiro [editor.] \| Wegener, Ingo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	88.	Modular Programming Languages [electronic resource] :7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / by Lightfoot, David E [editor.] \| Szyperski, Clemens [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	89.	Distributed Computing [electronic resource] :20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings / by Dolev, Shlomi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	90.	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.] \| Meer, Sven van der [editor.] \| O’Sullivan, Declan [editor.] \| Pfeifer, Tom [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, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	91.	Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / by Butler, Michael [editor.] \| Jones, Cliff B [editor.] \| Romanovsky, Alexander [editor.] \| Troubitsyna, Elena [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	92.	Perspectives of Systems Informatics [electronic resource] :6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / by Virbitskaite, Irina [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	93.	Integrated Formal Methods [electronic resource] :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / by Davies, Jim [editor.] \| Gibbons, Jeremy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	94.	CONCUR 2007 – Concurrency Theory [electronic resource] :18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / by Caires, Luís [editor.] \| Vasconcelos, Vasco T [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	95.	Machines, Computations, and Universality [electronic resource] :5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / by Durand-Lose, Jérôme [editor.] \| Margenstern, Maurice [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	96.	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). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	97.	Distributed Computing [electronic resource] :21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / by Pelc, Andrzej [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	98.	Principles of Distributed Systems [electronic resource] :11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / by Tovar, Eduardo [editor.] \| Tsigas, Philippas [editor.] \| Fouchal, Hacène [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	99.	Distributed Computing and Internet Technology [electronic resource] :4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings / by Janowski, Tomasz [editor.] \| Mohanty, Hrushikesha [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	100.	OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings / by Mueller, Matthias S [editor.] \| Chapman, Barbara M [editor.] \| Supinski, Bronis R. de [editor.] \| Malony, Allen D [editor.] \| Voss, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online 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
9
10
Next »

Refine your search

Authors

Item types

Series

Topics