Results of search for 'ccl=su:{ Computer science } and su-to:Computer Science and Engineering and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3181.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / by Najm, Elie [editor.] Nestmann, Uwe [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2884 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3182.	Engineering and Deployment of Cooperative Information Systems [electronic resource] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / by Han, Yanbo [editor.] Tai, Stefan [editor.] Wikarski, Dietmar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2480 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3183.	Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / by Pierre, Laurence [editor.] Kropf, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1703 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3184.	Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / by Diaz, Josep [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Sannella, Donald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3142 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)
	3185.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings / by Kranzlmüller, Dieter [editor.] Kacsuk, Peter [editor.] Dongarra, Jack [editor.] Volkert, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2474 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3186.	Intelligent Memory Systems [electronic resource] : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers / by Chong, Frederic T [editor.] Kozyrakis, Christoforos [editor.] Oskin, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2107 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3187.	Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Thanos, Costantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1324 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3188.	Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / by Alonso, Eduardo [editor.] Kudenko, Daniel [editor.] Kazakov, Dimitar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2636 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3189.	Mobile Agents [electronic resource] : 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings / by Suri, Niranjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2535 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3190.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3191.	Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Cortadella, Jordi [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3099 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)
	3192.	Algorithms and Computations [electronic resource] : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings / by Aggarwal, Alok [editor.] Pandu Rangan, C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1741 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3193.	Intelligent Agents IV: Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / by Singh, Munindar P [editor.] Rao, Anand [editor.] Wooldridge, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1365 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3194.	Evaluation of Cross-Language Information Retrieval Systems [electronic resource] : Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers / by Braschler, Martin [editor.] Gonzalo, Julio [editor.] Kluck, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2406 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3195.	Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2372 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3196.	Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Gimenez, Eduardo [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1512 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3197.	Foundations of Software Science and Computational Structures [electronic resource] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Gordon, Andrew D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2620 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3198.	Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / by Rozenberg, Grzegorz [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1494 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3199.	Coordination Languages and Models [electronic resource] : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / by Ciancarini, Paolo [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1594 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3200.	Algorithms in Bioinformatics [electronic resource] : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings / by Guigo, Roderic [editor.] Gusfield, Dan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2452 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 3774 results.