Your search returned 5 results.

Results
	1.	Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop. by CC 2011 (20th : 2011 : Saarbrücken, Germany) Knoop, Jens [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6601 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann. by FOSSACS 2011 (14th : 2011 : Saarbrücken, Germany) Hofmann, Martin [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6604 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	3.	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. by European Symposium on Programming (20th : 2011 : Saarbrücken, Germany) Barthe, Gilles [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6602 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: ESOP 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	4.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. by TACAS 2011 (17th : 2011 : Saarbrücken, Germany) Leino, K. Rustan M [edt.] Abdulla, Parosh Aziz [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6605 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	5.	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas. by FASE 2011 (14th : 2011 : Saarbrücken, Germany) Orejas, Fernando [edt.] Giannakopoulou, Dimitra [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6603 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India