Results of search for 'ccl=Provider:Springer,' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	17501.	Transactions and Change in Logic Databases [electronic resource] : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso / by Freitag, Burkhard [editor.] Decker, Hendrik [editor.] Kifer, Michael [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1472 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)
	17502.	Quality of Future Internet Services [electronic resource] : First COST 263 International Workshop, QofIS 2000 Berlin, Germany, September 25-26, 2000 Proceedings / by Crowcroft, Jon [editor.] Roberts, James [editor.] Smirnov, Michael I [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1922 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17503.	Evolvable Systems: From Biology to Hardware [electronic resource] : 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / by Tanaka, Kiyoshi [editor.] Iwata, Masaya [editor.] Higuchi, Tetsuya [editor.] Yasunaga, Moritoshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2210 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)
	17504.	Computer Science Logic [electronic resource] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / by Nielsen, Mogens [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1414 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)
	17505.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / by Boers, Egbert J.W [editor.] Gottlieb, Jens [editor.] Lanzi, Pier L [editor.] Smith, Robert E [editor.] Cagnoni, Stefano [editor.] Hart, Emma [editor.] Raidl, Günther R [editor.] Tijink, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2037 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)
	17506.	Algorithms and Data Structures [electronic resource] : 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings / by Dehne, Frank [editor.] Sack, Jörg Rüdiger [editor.] Smid, Michiel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2748 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)
	17507.	Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings / by Widmayer, Peter [editor.] Triguero, Francisco [editor.] Morales, Rafael [editor.] Hennessy, Matthew [editor.] Eidenbenz, Stephan [editor.] Conejo, Ricardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2380 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)
	17508.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / by Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 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)
	17509.	Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / by Núnez, Manuel [editor.] Maamar, Zakaaria [editor.] Pelayo, Fernando [editor.] Pousttchi, Key [editor.] Rubio, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3236 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)
	17510.	Quality of Future Internet Services [electronic resource] : COST Action 263 Final Report / by Smirnov, Michael [editor.] Biersack, Ernst [editor.] Blondia, Chris [editor.] Bonaventure, Olivier [editor.] Casals, Olga [editor.] Karlsson, Gunnar [editor.] Pavlou, George [editor.] Quoitin, Bruno [editor.] Roberts, James [editor.] Stavrakakis, Ioannis [editor.] Stiller, Burkhard [editor.] Trimintzios, Panos [editor.] Van Mieghem, Piet [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2856 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)
	17511.	Computer Security - ESORICS 2000 [electronic resource] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings / by Cuppens, Frederic [editor.] Deswarte, Yves [editor.] Gollmann, Dieter [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1895 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17512.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 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)
	17513.	Models and Tools for Managing Development Processes [electronic resource] / by Westfechtel, Bernhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1646 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)
	17514.	Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002 [electronic resource] : 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II / by Dohi, Takeyoshi [editor.] Kikinis, Ron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2489 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)
	17515.	Electronic Publishing, Artistic Imaging, and Digital Typography [electronic resource] : 7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo France, March 30 - April 3, 1998 / by Hersch, Roger [editor.] Andre, Jacques [editor.] Brown, Heather [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1375 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)
	17516.	Software Visualization [electronic resource] : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures / by Diehl, Stephan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2269 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)
	17517.	Service-Oriented Computing -- ICSOC 2003 [electronic resource] : First International Conference, Trento, Italy, December 15-18, 2003, Proceedings / by Orlowska, Maria E [editor.] Weerawarana, Sanjiva [editor.] Papazoglou, Michael P [editor.] Yang, Jian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2910 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)
	17518.	A Generative Theory of Shape [electronic resource] / by Leyton, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2145 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)
	17519.	Deductive and Object-Oriented Databases [electronic resource] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / by Bry, Francois [editor.] Ramakrishnan, Raghu [editor.] Ramamohanarao, Kotagiri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1341 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)
	17520.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17571 results.