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

Your cart is empty.

FEEDBACK

Your search returned 22 results.

	1.	Crytography and Coding [electronic resource] :6th IMA International Conference Cirencester, UK, December 17–19, 1997 Proceedings / by Darnell, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Algorithms and Computation [electronic resource] :11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / by Goos, Gerhard [editor.] \| Hartmanis, Juris [editor.] \| Leeuwen, Jan van [editor.] \| Lee, D. T [editor.] \| Teng, Shang-Hua [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	3.	Theorem Proving in Higher Order Logics [electronic resource] :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / by Aagaard, Mark [editor.] \| Harrison, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	Middleware 2000 [electronic resource] :IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings / by Sventek, Joseph [editor.] \| Coulson, Geoffrey [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	5.	OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] \| Voss, Michael J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	6.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] :First EurAsian Conference Shiraz, Iran, October 29–31, 2002 Proceedings / by Shafazand, Hassan [editor.] \| Tjoa, A. Min [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	7.	Information Processing in Sensor Networks [electronic resource] :Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings / by Zhao, Feng [editor.] \| Guibas, Leonidas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	8.	Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / by Geuvers, Herman [editor.] \| Wiedijk, Freek [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	9.	OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings / by Voss, Michael J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	10.	Computing and Combinatorics [electronic resource] :10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings / by Chwa, Kyung-Yong [editor.] \| Munro, J. Ian J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	11.	Informatics Education – The Bridge between Using and Understanding Computers [electronic resource] :International Conference in Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006. Proceedings / by Mittermeir, Roland T [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)
	12.	Service Availability [electronic resource] :Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers / by Penkler, Dave [editor.] \| Reitenspiess, Manfred [editor.] \| Tam, Francis [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)
	13.	Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] :International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by Swart, Harrie de [editor.] \| Orłowska, Ewa [editor.] \| Schmidt, Gunther [editor.] \| Roubens, Marc [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)
	14.	Service Availability [electronic resource] :4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings / by Malek, Miroslaw [editor.] \| Reitenspieß, Manfred [editor.] \| Moorsel, Aad van [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)
	15.	Mobile Response [electronic resource] :First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers / by Löffler, Jobst [editor.] \| Klann, Markus [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)
	16.	Membrane Computing [electronic resource] :8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / by Eleftherakis, George [editor.] \| Kefalas, Petros [editor.] \| Păun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [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)
	17.	Euro-Par 2010 - Parallel Processing [electronic resource] :16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / by D’Ambra, Pasqua [editor.] \| Guarracino, Mario [editor.] \| Talia, Domenico [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)
	18.	Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by Rodrigues, João M. F [editor.] \| Cardoso, Pedro J. S [editor.] \| Monteiro, Jânio [editor.] \| Lam, Roberto [editor.] \| Krzhizhanovskaya, Valeria V [editor.] \| Lees, Michael H [editor.] \| Dongarra, Jack J [editor.] \| Sloot, Peter M.A [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)
	19.	Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by Rodrigues, João M. F [editor.] \| Cardoso, Pedro J. S [editor.] \| Monteiro, Jânio [editor.] \| Lam, Roberto [editor.] \| Krzhizhanovskaya, Valeria V [editor.] \| Lees, Michael H [editor.] \| Dongarra, Jack J [editor.] \| Sloot, Peter M.A [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)
	20.	Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by Rodrigues, João M. F [editor.] \| Cardoso, Pedro J. S [editor.] \| Monteiro, Jânio [editor.] \| Lam, Roberto [editor.] \| Krzhizhanovskaya, Valeria V [editor.] \| Lees, Michael H [editor.] \| Dongarra, Jack J [editor.] \| Sloot, Peter M.A [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)

Refine your search

Authors

Item types

Series

Topics