Results of search for 'ccl=pl:"Berlin"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	6781.	Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / by Boulton, Richard J [editor.] Jackson, Paul B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2152 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)
	6782.	Drawing Graphs [electronic resource] : Methods and Models / by Kaufmann, Michael [editor.] Wagner, Dorothea [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2025 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)
	6783.	Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / by Hanus, Michael [editor.] Heering, Jan [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1298 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)
	6784.	Self-Stabilizing Systems [electronic resource] : 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings / by Huang, Shing-Tsaan [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2704 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)
	6785.	Computer Vision - ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002. Proceedings. Part IV / by Heyden, Anders [editor.] Sparr, Gunnar [editor.] Nielsen, Mads [editor.] Johansen, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2353 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)
	6786.	FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings / by Hariharan, Ramesh [editor.] Mukund, Madhavan [editor.] Vinay, V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2245 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)
	6787.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / by Ravn, Anders P [editor.] Rischel, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1486 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)
	6788.	Computer Analysis of Images and Patterns [electronic resource] : 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings / by Petkov, Nicolai [editor.] Westenberg, Michel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2756 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)
	6789.	Quality of Service in Multiservice IP Networks [electronic resource] : International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / by Ajmone Marsan, Marco [editor.] Bianco, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1989 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)
	6790.	Theoretical Computer Science [electronic resource] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings / by Blundo, Carlo [editor.] Laneve, Cosimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2841 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)
	6791.	Web Services - ICWS-Europe 2003 [electronic resource] : International Conference ICWS-Europe 2003, Erfurt, Germany, September 23-24, 2003, Proceedings / by Jeckle, Mario [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2853 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)
	6792.	Graphics Recognition. Algorithms and Applications [electronic resource] : 4th International Workshop, GREC 2001, Kingston, Ontario, Canada, September 7-8, 2001. Selected Papers / by Blostein, Dorothea [editor.] Kwon, Young-Bin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2390 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)
	6793.	Numerical Analysis and Its Applications [electronic resource] : Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers / by Vulkov, Lubin [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1988 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)
	6794.	Reliable Software Technologies - Ada-Europe 2002 [electronic resource] : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings / by Blieberger, Johann [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2361 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)
	6795.	Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2240 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)
	6796.	Information Security [electronic resource] : Third International Workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000. Proceedings / by Pieprzyk, Josef [editor.] Okamoto, Eiji [editor.] Seberry, Jennifer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1975 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)
	6797.	Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Arnborg, Stefan [editor.] Ivansson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1432 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)
	6798.	High-Dimensional Indexing [electronic resource] : Transformational Approaches to High-Dimensional Range and Similarity Searches / by Yu, Cui [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2341 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)
	6799.	KI 2001: Advances in Artificial Intelligence [electronic resource] : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings / by Baader, Franz [editor.] Brewka, Gerhard [editor.] Eiter, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2174 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)
	6800.	Progress in Artificial Intelligence [electronic resource] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / by Costa, Ernesto [editor.] Cardoso, Amilcar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1323 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 7478 results.