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

Results
	1141.	Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by Wolff, Burkhart [edt] Gaudel, Marie-Claude [edt] Feliachi, Abderrahmane [edt] Series: Lecture Notes in Computer Science ; 7681 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
	1142.	Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings / edited by Pablo Barceló, Reinhard Pichler. by Barceló, Pablo [edt] Pichler, Reinhard [edt] Series: Lecture Notes in Computer Science ; 7494 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
	1143.	Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge [edt] Pomello, Lucia [edt] Series: Lecture Notes in Computer Science ; 7347 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
	1144.	Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin. by Kahl, Wolfram [edt] Griffin, Timothy G [edt] Series: Lecture Notes in Computer Science ; 7560 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
	1145.	Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / edited by Antonis Bikakis, Adrian Giurca. by Bikakis, Antonis [edt] Giurca, Adrian [edt] Series: Lecture Notes in Computer Science ; 7438 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
	1146.	Human-Computer Interaction - INTERACT 2015 [electronic resource] : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II / edited by Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. by Abascal, Julio [edt] Barbosa, Simone [edt] Fetter, Mirko [edt] Gross, Tom [edt] Palanque, Philippe [edt] Winckler, Marco [edt] Series: Lecture Notes in Computer Science ; 9297 Edition: 1st ed. 2015. 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
	1147.	Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa. by Klein, Gerwin [edt] Gamboa, Ruben [edt] Series: Lecture Notes in Computer Science ; 8558 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	1148.	Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, Jérémie Bourdon. by Roux, Olivier [edt] Bourdon, Jérémie [edt] Series: Lecture Notes in Computer Science ; 9308 Edition: 1st ed. 2015. 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
	1149.	Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Zhong Shao. by Shao, Zhong [edt] Series: Lecture Notes in Computer Science ; 8410 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
	1150.	Theoretical Aspects of Computing - ICTAC 2014 [electronic resource] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / edited by Gabriel Ciobanu, Dominique Méry. by Ciobanu, Gabriel [edt] Méry, Dominique [edt] Series: Lecture Notes in Computer Science ; 8687 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	1151.	Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [edt] Quaresma, Pedro [edt] Series: Lecture Notes in Computer Science ; 9201 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
	1152.	Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / edited by Michael J. Smith, Gavriel Salvendy. by Symposium on Human Interface 2011 (2011 : Orlando, USA) Salvendy, Gavriel [edt.] Smith, Michael J [edt.] Series: Lecture Notes in Computer Science ; 6771 \| Lecture Notes in Computer Science ; 6772 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Part I Part II Availability: Items available for loan: National Library of India (2). Place hold Request article Save to lists
	1153.	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe. by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus) Lowe, Gavin [edt] Series: Lecture Notes in Computer Science ; 6186 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
	1154.	Toward Useful Services for Elderly and People with Disabilities [electronic resource] : 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011. Proceedings / edited by Bessam Abdulrazak...[et al.] by ICOST 2011 (9th : 2011 : Montreal, Canada) Abdulrazak, Bessam [edt.] Series: Lecture Notes in Computer Science ; 6719 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
	1155.	Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois. by Li, Ruixuan [edt] Cao, Jiannong [edt] Bourgeois, Julien [edt] Series: Lecture Notes in Computer Science ; 7296 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
	1156.	Science and Technologies for Smart Cities [electronic resource] : 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings / edited by Sara Paiva, Xuejun Li, Sérgio Ivan Lopes, Nishu Gupta, Danda B. Rawat, Asma Patel, Hamid Reza Karimi . by Paiva, Sara [editor.] Li, Xuejun [editor.] Lopes, Sérgio Ivan [editor.] Gupta, Nishu [editor.] Rawat, Danda B [editor.] Patel, Asma [editor.] Karimi , Hamid Reza [editor.] Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 442 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: 303.4834. Place hold Save to lists
	1157.	Applied Cryptography in Computer and Communications [electronic resource] : Second EAI International Conference, AC3 2022, Virtual Event, May 14-15, 2022, Proceedings / edited by Jingqiang Lin, Qiang Tang. by Lin, Jingqiang [editor.] Tang, Qiang [editor.] Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 448 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.3. Place hold Save to lists
	1158.	An Economic Interpretation of Linear Programming [electronic resource] / by Quirino Paris. by Paris, Quirino SpringerLink (Online service) Edition: A Revised and Updated Edition. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: New York : Palgrave Macmillan US(Imprint), 2016 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1159.	Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesús Carretero, Jens Breitbart, Michael Alexander. by Lopes, Luís [edt] Žilinskas, Julius [edt] Costan, Alexandru [edt] Cascella, Roberto G [edt] Kecskemeti, Gabor [edt] Jeannot, Emmanuel [edt] Cannataro, Mario [edt] Ricci, Laura [edt] Benkner, Siegfried [edt] Petit, Salvador [edt] Scarano, Vittorio [edt] Gracia, José [edt] Hunold, Sascha [edt] Scott, Stephen L [edt] Lankes, Stefan [edt] Lengauer, Christian [edt] Carretero, Jesús [edt] Breitbart, Jens [edt] Alexander, Michael [edt] Series: Lecture Notes in Computer Science ; 8806 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	1160.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda. by Panigrahi, Bijaya Ketan [edt] Das, Swagatam [edt] Suganthan, Ponnuthurai Nagaratnam [edt] Nanda, Pradipta Kumar [edt] Series: Lecture Notes in Computer Science ; 7677 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.