Refine your search

Your search returned 1885 results.

Sort
Results
261.
Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / edited by Andreas Harth, Nora Koch. by Series: Lecture Notes in Computer Science ; 7059
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).

262.
263.
264.
Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova. by Series: Lecture Notes in Computer Science ; 8978
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).

265.
Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by Gerard O'Regan. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

266.
Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2022 International Workshops, Leuven, Belgium, June 6-10, 2022, Proceedings / edited by Jennifer Horkoff, Estefania Serral, Jelena Zdravkovic. by Series: Lecture Notes in Business Information Processing ; 451
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: 005.3.

267.
268.
Design Thinking for Software Engineering [electronic resource] : Creating Human-oriented Software-intensive Products and Services / edited by Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy. by Series: Progress in IS
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: (1)Call number: 658.4062 | 658.514.

269.
Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings / edited by Bernd-Holger Schlingloff, Ming Chai. by Series: Lecture Notes in Computer Science ; 13550
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: 005.1.

270.
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang. by Series: Lecture Notes in Computer Science ; 13478
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: 004.0151.

271.
Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV / edited by Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

272.
273.
Knowledge and Systems Sciences [electronic resource] : 21st International Symposium, KSS 2022, Beijing, China, June 11-12, 2022, Proceedings / edited by Jian Chen, Takashi Hashimoto, Xijin Tang, Jiangning Wu. by Series: Communications in Computer and Information Science ; 1592
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.312.

274.
Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12-16, 2023, Proceedings / edited by Marcela Ruiz, Pnina Soffer. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.3.

275.
Concise Guide to Software Engineering [electronic resource] : From Fundamentals to Application Methods / by Gerard O'Regan. by Series: Undergraduate Topics in Computer Science
Edition: 2nd 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: 005.1.

276.
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

277.
Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

278.
Computing Science, Communication and Security [electronic resource] : 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6-7, 2023, Revised Selected Papers / edited by Nirbhay Chaubey, Sabu M. Thampi, Noor Zaman Jhanjhi, Satyen Parikh, Kiran Amin. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

279.
Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13255
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: 005.1.

280.
Dasigning software-intensive systems : methods and principles/ Pierre F. Tiako by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Hershey,Pa. : Information Science Reference, 2009
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 D 46.

                                                                           
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