Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Computer Engineering'

Your cart is empty.

FEEDBACK

Your search returned 22 results.

	1.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / by Brinksma, Ed [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.	Advanced Information Systems Engineering [electronic resource] :9th International Conference, CAiSE'97 Barcelona, Catalonia, Spain, June 16–20, 1997 Proceedings / by Olivé, Antoni [editor.] \| Pastor, Joan Antoni [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)
	3.	System Configuration Management [electronic resource] :ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings / by Magnusson, Boris [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	Dependable Computing — EDCC-3 [electronic resource] :Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings / by Hlavička, Jan [editor.] \| Maehle, Erik [editor.] \| Pataricza, András [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	5.	Formal Methods for Real-Time and Probabilistic Systems [electronic resource] :5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / by Katoen, Joost-Pieter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	6.	Euro-Par 2000 Parallel Processing [electronic resource] :6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings / by Bode, Arndt [editor.] \| Ludwig, Thomas [editor.] \| Karl, Wolfgang [editor.] \| Wismüller, Roland [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)
	7.	Foundations of Information and Knowledge Systems [electronic resource] :First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings / by Schewe, Klaus-Dieter [editor.] \| Thalheim, Bernhard [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)
	8.	Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] :12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / by Field, Tony [editor.] \| Harrison, Peter G [editor.] \| Bradley, Jeremy [editor.] \| Harder, Uli [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)
	9.	Mathematical Foundations of Computer Science 2003 [electronic resource] :28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings / by Rovan, Branislav [editor.] \| Vojtáš, Peter [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.	Pervasive Computing [electronic resource] :Second International Conference, PERVASIVE 2004, Linz/Vienna, Austria, April 21-23, 2004. Proceedings / by Ferscha, Alois [editor.] \| Mattern, Friedemann [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.	Distributed Computing - IWDC 2004 [electronic resource] :6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings / by Sen, Arunabha [editor.] \| Das, Nabanita [editor.] \| Das, Sajal K [editor.] \| Sinha, Bhabani P [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)
	12.	Euro-Par 2008 – Parallel Processing [electronic resource] :14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by Luque, Emilio [editor.] \| Margalef, Tomàs [editor.] \| Benítez, Domingo [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)
	13.	E-Commerce and Web Technologies [electronic resource] :9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings / by Psaila, Giuseppe [editor.] \| Wagner, Roland [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)
	14.	High Performance Computing - HiPC 2008 [electronic resource] :15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings / by Sadayappan, Ponnuswamy [editor.] \| Parashar, Manish [editor.] \| Badrinath, Ramamurthy [editor.] \| Prasanna, Viktor K [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, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	15.	Internet and Network Economics [electronic resource] :4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings / by Papadimitriou, Christos [editor.] \| Zhang, Shuzhong [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)
	16.	End-User Development [electronic resource] :2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings / by Pipek, Volkmar [editor.] \| Rosson, Mary Beth [editor.] \| Ruyter, Boris de [editor.] \| Wulf, Volker [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, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	17.	Euro-Par 2008 Workshops - Parallel Processing [electronic resource] :VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by César, Eduardo [editor.] \| Alexander, Michael [editor.] \| Streit, Achim [editor.] \| Träff, Jesper Larsson [editor.] \| Cérin, Christophe [editor.] \| Knüpfer, Andreas [editor.] \| Kranzlmüller, Dieter [editor.] \| Jha, Shantenu [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, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	18.	Web Services and Formal Methods [electronic resource] :5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / by Bruni, Roberto [editor.] \| Wolf, Karsten [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, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	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). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Wireless Algorithms, Systems, and Applications [electronic resource] :4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by Liu, Benyuan [editor.] \| Bestavros, Azer [editor.] \| Du, Ding-Zhu [editor.] \| Wang, Jie [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, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

Refine your search

Authors

Item types

Series

Topics