Refine your search

Your search returned 1885 results.

Sort
Results
741.
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Series: Lecture Notes in Computer Science ; 7000
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).

742.
Object oriented programming : analysis and design / M. Ramesh Raja by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Pollachi, Tamilnadu : Ethir Veliyeedu, c2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 R 137.

743.
Rich internet applications / D. Sundar by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Sivaksi : Velsen Atr Crafts, 2008
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.276 Su 72.

744.
Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski. by Series: Lecture Notes in Computer Science ; 13354
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.395.

745.
746.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings / edited by Luis Gomes, Robert Lorenz. 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.22.

747.
Frontiers of Algorithmics [electronic resource] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings / edited by Jing Chen, Minming Li, Guochuan Zhang. by Series: Theoretical Computer Science and General Issues ; 12874
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.

748.
Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.11.

749.
Quality of Information and Communications Technology [electronic resource] : 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings / edited by Antonio Vallecillo, Joost Visser, Ricardo Pérez-Castillo. by Series: Communications in Computer and Information Science ; 1621
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.

750.
Knowledge mining using intelligent agents / eds. Satchidananda Dehuri, Sung-Bae Cho by Series: Advances in computer science and engineering : Tests ; vol. 6
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: London : Imperial College Press, c2011
Availability: Items available for loan: National Library of India (1)Call number: E 006.312 K 76.

751.
Introduction to fuzzy reliability / by Kai-Yuan Cai by Series: The Kluwer international series in engineering and computer science ; SECS 363
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : Kluwer Academic Publishers, c1996
Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 C 12.

752.
Streaming Linked Data [electronic resource] : From Vision to Practice / by Riccardo Tommasini, Pieter Bonte, Fabiano Spiga, Emanuele Della Valle. 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.3.

753.
Handbook of Dynamic Data Driven Applications Systems [electronic resource] : Volume 1 / edited by Erik P. Blasch, Frederica Darema, Sai Ravela, Alex J. Aved. by
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: (1)Call number: 003.3.

754.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by Series: Lecture Notes in Computer Science ; 8044
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).

755.
756.
757.
Embedded and real time system development : a software engineering perspective : concepts, methods and principles / eds., Mohammad Ayoub Khan ...[et al.] by Series: Studies in computational intelligence ; 520
Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Heidelberg, Germany : Springer, c 2014
Availability: Items available for loan: National Library of India (1)Call number: E 006.22 Em 13.

758.
Speech, sound and music processing : embracing research in India / eds. Solvi Ystad...[et al.] by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New York : Springer, 2012
Availability: Items available for loan: National Library of India (1)Call number: E 781.80285 Sp 32.

759.
Objects, Models, Components, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings / edited by Judith Bishop, Antonio Vallecillo. by Series: Lecture Notes in Computer Science ; 6705
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).

760.
Service-Oriented Computing [electronic resource] : 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part II / edited by Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella. 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.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