Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Software Engineering and su-to:Programming Techniques and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	861.	Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / by Bertran, Miquel [editor.] Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1231 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)
	862.	Reliable Software Technologies -- Ada-Europe 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / by Rosen, Jean-Pierre [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2655 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)
	863.	Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Foster, James A [editor.] Lutton, Evelyne [editor.] Miller, Julian F [editor.] Ryan, Conor [editor.] Tezzamanzi, Andra G.B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2278 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)
	864.	Automatic Verification of Sequential Infinite-State Processes [electronic resource] / by Burkart, Olaf [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1354 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)
	865.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	866.	Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Broy, Manfred [editor.] Zamulin, Alexandre V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2890 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)
	867.	Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / by Bjørner, Dines [editor.] Broy, Manfred [editor.] Zamulin, Alexandre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2244 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)
	868.	The Unified Modeling Language. <<UML>>'98: Beyond the Notation [electronic resource] : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers / by Bezivin, Jean [editor.] Muller, Pierre-Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1618 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)
	869.	Coordination Languages and Models [electronic resource] : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / by Garlan, David [editor.] Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1282 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)
	870.	Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Ciancarini, Paolo [editor.] Wooldridge, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1957 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)
	871.	Static Analysis [electronic resource] : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / by Hentenryck, Pascal van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1302 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)
	872.	Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / by Wooldridge, Michael J [editor.] Weiß, Gerhard [editor.] Ciancarini, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2222 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)
	873.	Static Analysis [electronic resource] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / by Hermenegildo, Manuel [editor.] Puebla, German [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2477 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)
	874.	Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 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 Smolka, Gert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1782 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)
	875.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings / by Ramesh, S [editor.] Sivakumar, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1346 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)
	876.	High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings / by Zima, Hans P [editor.] Joe, Kazuki [editor.] Sato, Mitsuhisa [editor.] Seo, Yoshiki [editor.] Shimasaki, Masaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2327 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)
	877.	Worldwide Computing and Its Applications - WWCA'98 [electronic resource] : Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings / by Masunaga, Yoshifumi [editor.] Katayama, Takuya [editor.] Tsukamoto, Michiharu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1368 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)
	878.	Static Analysis [electronic resource] : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings / by Levi, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1503 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)
	879.	Reliable Software Technologies - Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / by Hardy, Keith [editor.] Briggs, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1251 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)
	880.	Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. / by Masuda, Takashi [editor.] Masunaga, Yoshifumi [editor.] Tsukamoto, Michiharu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1274 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

Item types

Series

Topics

Your search returned 967 results.