Results of search for 'su:{Software Engineering}' › National Library of India catalog

Results
	1621.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup. by ADHOC-NOW 2011 (10th : 2011 : Paderborn, Germany) Li, Xu [edt.] Ruehrup, Stefan [edt.] Frey, Hannes [edt.] Series: Lecture Notes in Computer Science ; 6811 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
	1622.	Ambient Assisted Living and Active Aging [electronic resource] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Christopher Nugent, Antonio Coronato, José Bravo. by Nugent, Christopher [edt] Coronato, Antonio [edt] Bravo, José [edt] Series: Lecture Notes in Computer Science ; 8277 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1623.	Reliable Software Technologies - Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / edited by Mats Brorsson, Luís Miguel Pinho. by Brorsson, Mats [edt] Pinho, Luís Miguel [edt] Series: Lecture Notes in Computer Science ; 7308 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1624.	Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas [edt] Paoli, Flavio De [edt] Gruhn, Volker [edt] Book, Matthias [edt] Series: Lecture Notes in Computer Science ; 7306 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1625.	Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz. by Furia, Carlo A [edt] Nanz, Sebastian [edt] Series: Lecture Notes in Computer Science ; 7304 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1626.	Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Ramón Hervás, Marcela Rodríguez. by Bravo, José [edt] Hervás, Ramón [edt] Rodríguez, Marcela [edt] Series: Lecture Notes in Computer Science ; 7657 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1627.	RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant. by Chen, Xiaoping [edt] Stone, Peter [edt] Sucar, Luis Enrique [edt] Zant, Tijn van der [edt] Series: Lecture Notes in Computer Science ; 7500 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1628.	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [edt] Miller, Dale [edt] Series: Lecture Notes in Computer Science ; 7679 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1629.	Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Domenach, Florent [edt] Ignatov, Dmitry I [edt] Poelmans, Jonas [edt] Series: Lecture Notes in Computer Science ; 7278 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1630.	Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by Beek, Maurice H. ter [edt] Lohmann, Niels [edt] Series: Lecture Notes in Computer Science ; 7843 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1631.	ECOOP 2014 - Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings / edited by Richard Jones. by Jones, Richard [edt] Series: Lecture Notes in Computer Science ; 8586 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1632.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Havelund, Klaus [edt] Holzmann, Gerard [edt] Joshi, Rajeev [edt] Series: Lecture Notes in Computer Science ; 9058 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1633.	Autonomic and Trusted Computing [electronic resource] : 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings / edited by Jose M. Alcaraz Calero...[et al.] by ATC 2011 (8th : 2011 : Banff, Canada) Calero, Jose M. Alcaraz [edt.] Series: Lecture Notes in Computer Science ; 6906 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
	1634.	Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt. by Tanveer, Mohammad [editor.] Agarwal, Sonali [editor.] Ozawa, Seiichi [editor.] Ekbal, Asif [editor.] Jatowt, Adam [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.4. Place hold Save to lists
	1635.	Database and Expert Systems Applications [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings, Part I / edited by Christine Strauss, Alfredo Cuzzocrea, Gabriele Kotsis, A Min Tjoa, Ismail Khalil. by Strauss, Christine [editor.] Cuzzocrea, Alfredo [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] Series: Lecture Notes in Computer Science ; 13426 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.7. Place hold Save to lists
	1636.	Artificial General Intelligence [electronic resource] : 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings / edited by Ben Goertzel, Matthew Iklé, Alexey Potapov. by Goertzel, Ben [editor.] Iklé, Matthew [editor.] Potapov, Alexey [editor.] Series: Lecture Notes in Artificial Intelligence ; 13154 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	1637.	Application of Big Data, Blockchain, and Internet of Things for Education Informatization [electronic resource] : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II / edited by Mian Ahmad Jan, Fazlullah Khan. by Jan, Mian Ahmad [editor.] Khan, Fazlullah [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.3. Place hold Save to lists
	1638.	AI-assisted Solutions for COVID-19 and Biomedical Applications in Smart Cities [electronic resource] : Third EAI International Conference, AISCOVID-19 2022, Braga, Portugal, November 16-18, 2022, Proceedings / edited by José Manuel Machado, Hugo Peixoto. by Machado, José Manuel [editor.] Peixoto, Hugo [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 610.285. Place hold Save to lists
	1639.	NETWORKING 2011 Workshops [electronic resource] : International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers / edited by Vicente Casares-Giner, Pietro Manzoni, Ana Pont. by Manzoni, Pietro [edt.] Pont, Ana [edt.] Casares-Giner, Vicente [edt.] International IFIP TC 6 Workshops (2011 : Valencia, Spain) Series: Lecture Notes in Computer Science ; 6827 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
	1640.	Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. by Garcia-Alfaro, Joaquin [edt] Lafourcade, Pascal [edt] Series: Lecture Notes in Computer Science ; 6888 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.