Refine your search

Your search returned 1885 results.

Sort
Results
461.
Service-Oriented Computing [electronic resource] : 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers / edited by Johanna Barzen, Frank Leymann, Schahram Dustdar. by Series: Communications in Computer and Information Science ; 1603
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.

462.
Computer science and technology : NBS programing environment workshop report / ed. by Martha A. Branstad and W. Richards Adrion by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Department of Commerce, 1981
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Un 3 c.

463.
Intelligent Information Systems [electronic resource] : CAiSE Forum 2022, Leuven, Belgium, June 6-10, 2022, Proceedings / edited by Jochen De Weerdt, Artem Polyvyanyy. by Series: Lecture Notes in Business Information Processing ; 452
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.

464.
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 7680
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).

465.
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Series: Lecture Notes in Computer Science ; 9369
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).

466.
Model-Based Approaches to the Internet of Things [electronic resource] / by Pascal Hirmer. 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.

467.
Sustainable Development through Machine Learning, AI and IoT [electronic resource] : First International Conference, ICSD 2023, Delhi, India, July 15-16, 2023, Revised Selected Papers / edited by Pawan Whig, Nuno Silva, Ahmed A. Elngar, Nagender Aneja, Pavika Sharma. 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.

468.
469.
470.
Fundamentals of Enterprise Architecture Management [electronic resource] : Foundations for Steering the Enterprise-Wide Digital System / by Jörg Ziemann. by Series: The Enterprise Engineering Series
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.

471.
472.
473.
Quantitative Evaluation of Systems [electronic resource] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone. 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.

474.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. 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.

475.
Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach. 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.

476.
Animated Program Design [electronic resource] : Intermediate Program Design Using Video Game Development / by Marco T. Morazán. by Series: Texts in Computer Science
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.

477.
478.
Informatics and Intelligent Applications [electronic resource] : First International Conference, ICIIA 2021, Ota, Nigeria, November 25-27, 2021, Revised Selected Papers / edited by Sanjay Misra, Jonathan Oluranti, Robertas Damaševičius, Rytis Maskeliunas. by Series: Communications in Computer and Information Science ; 1547
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.

479.
480.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection [electronic resource] : 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings / edited by Philippe Mathieu, Frank Dignum, Paulo Novais, Fernando De la Prieta. 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.

                                                                           
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