Your search returned 29 results.

Results
	21.	Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Bertot, Yves [editor.] Dowek, Gilles [editor.] Hirschowitz, Andre [editor.] Paulin, Christine [editor.] Thery, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1690 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)
	22.	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)
	23.	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)
	24.	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)
	25.	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)
	26.	Experimental and Efficient Algorithms [electronic resource] : Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings / by Jansen, Klaus [editor.] Margraf, Marian [editor.] Mastrolilli, Monaldo [editor.] Rolim, José D. P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2647 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)
	27.	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)
	28.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings / by D'Amore, Fabrizio [editor.] Franciosa, Paolo Giulio [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1197 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)
	29.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / by Mora, Teo [editor.] Mattson, Harold F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1255 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)

© 2024 IIIT-Delhi, library@iiitd.ac.in