Refine your search

Your search returned 1885 results.

Sort
Results
401.
Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. by Series: Lecture Notes in Computer Science ; 6582
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).

402.
Kͭnowledge engineering for software development life cycles : support technologies and applications / [edited by] Muthu Ramachandran by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Hershey, PA : Information Science Reference, c2011
Availability: Items available for loan: National Library of India (1)Call number: E/O 006.3 K 76 s.

403.
404.
Software Engineering for Games in Serious Contexts [electronic resource] : Theories, Methods, Tools, and Experiences / edited by Kendra M. L. Cooper, Antonio Bucchiarone. by
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.

405.
Guidelies for Documentation of Computer Programs and Automated Data Systems :/ Dept. of Commerce by Series: Federal information processing standards publication ; 38
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1976
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Us 3 g.

406.
Domain-Specific Languages [electronic resource] : Effective Modeling, Automation, and Reuse / by Andrzej Wąsowski, Thorsten Berger. by
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.1.

407.
High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings / edited by Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc. by Series: Lecture Notes in Computer Science ; 13289
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.

408.
409.
Electronic Governance with Emerging Technologies [electronic resource] : Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers / edited by Fernando Ortiz-Rodríguez, Sanju Tiwari, Patience Usoro Usip, Raul Palma. 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.7.

410.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun. 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.

411.
Digital Business and Intelligent Systems [electronic resource] : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022, Proceedings / edited by Mirjana Ivanovic, Marite Kirikova, Laila Niedrite. by Series: Communications in Computer and Information Science ; 1598
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.74.

412.
Software engineering and information technology(SEIT 2015) : Proceeding of the 2015 International conference on Guilin, Guangxi, China, 26-28 June 2015 / ed. Xiaolong Li by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Jersey : World Scientific, c2016
Other title:
  • International Conference on Software Engineering and Information Technology (SEIT2015)
  • SEIT2015
Availability: Items available for loan: National Library of India (1)Call number: E/O 004 In 8 so (2015).

413.
Principles of computer suystem design: an introduction/ Jerome H. Saltzewr and M. Frans Kasshoek by
Material type: Text Text; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Gurgaon: Academic Press, 2013
Availability: Items available for loan: National Library of India (1)Call number: E 004 Sa 37.

414.
Smart Cities [electronic resource] : 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers / edited by Sergio Nesmachnow, Luis Hernández Callejo. 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: 621.39 | 004.6.

415.
Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part VI / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau. by Series: Lecture Notes in Computer Science ; 13382
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.6.

416.
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu. by Series: Lecture Notes in Computer Science ; 13505
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.

417.
Performance Evaluation and Benchmarking [electronic resource] : 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Series: Programming and Software Engineering ; 13169
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.24.

418.
Services Computing - SCC 2021 [electronic resource] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Ajay Katangur, Liang-Jie Zhang. by Series: Programming and Software Engineering ; 12995
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: 621.39 | 004.6.

419.
Intelligent Data Engineering and Automated Learning - IDEAL 2011 [electronic resource] : 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings / edited by Hujun Yin, Wenjia Wang, Victor Rayward-Smith. by Series: Lecture Notes in Computer Science ; 6936
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).

420.
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes...[et al.] by Series: Lecture Notes in Computer Science ; 6491
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).

                                                                           
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