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

Results
	1.	Geographic Information Science [electronic resource] : Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002. Proceedings / by Egenhofer, Max J [editor.] Mark, David M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2478 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)
	2.	Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / by Ajmone Marsan, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 691 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings / by Ehrig, Hartmut [editor.] Kreowski, Hans-Jörg [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 532 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Integer Programming and Combinatorial Optimization [electronic resource] : 4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings / by Balas, Egon [editor.] Clausen, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 920 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Specifying Message Passing and Time-Critical Systems with Temporal Logic [electronic resource] / by Koymans, Ron [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 651 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Computer Science Logic [electronic resource] : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / by Börger, Egon [editor.] Kleine Büning, Hans [editor.] Richter, Michael M [editor.] Schönfeld, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 533 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Algorithms - ESA '93 [electronic resource] : First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings / by Lengauer, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 726 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Constructivity in Computer Science [electronic resource] : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings / by Myers, J.Paul Jr [editor.] O'Donnell, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 613 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Advances in Cryptology - AUSCRYPT '90 [electronic resource] : International Conference on Cryptology Sydney, Australia, January 8-11, 1990 / by Seberry, Jennifer [editor.] Pieprzyk, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 453 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / by Book, Ronald V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 488 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Parallel Problem Solving from Nature - PPSN VII [electronic resource] : 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings / by Merelo, Juan J [editor.] Adamidis, Panagiotis [editor.] Beyer, Hans-Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2439 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)
	12.	Parallel Problem Solving from Nature [electronic resource] : 1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings / by Schwefel, Hans-Paul [editor.] Männer, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 496 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	CONCUR '92 [electronic resource] : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings / by Cleaveland, Walter R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 630 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Algorithms and Complexity [electronic resource] : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings / by Bongiovanni, Giancarlo [editor.] Bovet, Daniel P [editor.] Di Battista, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1203 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)
	15.	CONCUR'99. Concurrency Theory [electronic resource] : 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings / by Baeten, Jos C.M [editor.] Mauw, Sjouke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1664 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)
	16.	Euro-Par 2003 Parallel Processing [electronic resource] : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26–29, 2003 Proceedings / by Kosch, Harald [editor.] Böszörményi, László [editor.] Hellwagner, Hermann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2790 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)
	17.	Integer Programming and Combinatorial Optimization [electronic resource] : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings / by Nemhauser, George [editor.] Bienstock, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3064 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)
	18.	Algorithms and Computation [electronic resource] : 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings / by Bose, Prosenjit K [editor.] Morin, Pat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2518 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)
	19.	Advances in Petri Nets 1991 [electronic resource] / by Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 524 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings / by Alagar, V.S [editor.] Nivat, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 936 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 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 29 results.