Refine your search

Your search returned 1885 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
241.
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings / edited by Jan Jürjens, Frank Piessens, Nataliia Bielova. by Series: Lecture Notes in Computer Science ; 8364
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
242.
Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang. by Series: Lecture Notes in Computer Science ; 8829
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
243.
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Series: Lecture Notes in Computer Science ; 9407
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
244.
Software engineering and programming languages/ S. Prabha by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Thiruchirappalli : TiSSL Pub., 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 P 88.

Place hold Request article Save to lists
245.
Cooperative Design, Visualization, and Engineering [electronic resource] : 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 6874
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
246.
Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings / edited by Elena A. Troubitsyna. by Series: Lecture Notes in Computer Science ; 6968
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
247.
Software engineering with computational intelligence / edited by Jonathan Lee by Series: Studies in fuzziness and soft computing ; v. 121
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, 2003
Availability: Items available for loan: National Library of India (1)Call number: E 006.3 So 23.

Place hold Request article Save to lists
248.
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 11th International Conference, HPCST 2021, Barnaul, Russia, May 21-22, 2021, Revised Selected Papers / edited by Vladimir Jordan, Ilya Tarasov, Vladimir Faerman. by Series: Communications in Computer and Information Science ; 1526
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.

Place hold Save to lists
249.
Colored Petri Nets for Modeling of Discrete Systems [electronic resource] : A Practical Approach With GPenSIM / by Reggie Davidrajuh. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
250.
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi. by Series: Lecture Notes in Computer Science ; 7635
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
251.
Current Trends in Web Engineering [electronic resource] : ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / edited by Michael Grossniklaus, Manuel Wimmer. by Series: Lecture Notes in Computer Science ; 7703
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
252.
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Series: Lecture Notes in Computer Science ; 9276
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
253.
Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün. by Series: Lecture Notes in Computer Science ; 8702
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
254.
255.
256.
Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. by Series: Lecture Notes in Computer Science ; 6788
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
257.
258.
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin. by Series: Lecture Notes in Computer Science ; 7350
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
259.
Current Trends in Web Engineering [electronic resource] : ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / edited by Michael Grossniklaus, Manuel Wimmer. by Series: Lecture Notes in Computer Science ; 7703
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
260.
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Series: Lecture Notes in Computer Science ; 7781
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
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