Refine your search

Your search returned 1206 results.

Sort
Results
941.
Applications of Computational Intelligence [electronic resource] : 5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27-29, 2022, Revised Selected Papers / edited by Alvaro David Orjuela-Cañón, Jesus Lopez, Julian David Arias-Londoño, Juan Carlos Figueroa-García. 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.

942.
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska. by Series: Lecture Notes in Computer Science ; 7177
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).

943.
Algorithms and Models for the Web Graph [electronic resource] : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / edited by Anthony Bonato, Jeannette Janssen. by Series: Lecture Notes in Computer Science ; 7323
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).

944.
Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye. by Series: Lecture Notes in Computer Science ; 7354
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).

945.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Series: Lecture Notes in Computer Science ; 8174
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).

946.
Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 7162
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).

947.
Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011. Revised Selected Papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin. by Series: Lecture Notes in Computer Science ; 7537
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).

948.
Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by Series: Lecture Notes in Computer Science ; 7593
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).

949.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković. by Series: Lecture Notes in Computer Science ; 7595
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).

950.
Integration in Finite Terms: Fundamental Sources [electronic resource] / edited by Clemens G. Raab, Michael F. Singer. by Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
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.131.

951.
Algorithm audit : why, what, and how? / Biagio Aragona. by Series:
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Abingdon, Oxon ; New York, NY : Routledge, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 300.72.

952.
Advances in Information and Computer Security [electronic resource] : 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings / edited by Keisuke Tanaka, Yuji Suga. by Series: Lecture Notes in Computer Science ; 9241
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).

953.
Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim Güneysu, Helena Handschuh. by Series: Lecture Notes in Computer Science ; 9293
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

954.
Internet of Vehicles - Technologies and Services [electronic resource] : First International Conference, IOV, Beijing, China, September 1-3, 2014. Proceedings / edited by Robert C.-H. Hsu, Shangguang Wang. by Series: Lecture Notes in Computer Science ; 8662
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).

955.
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Series: Lecture Notes in Computer Science ; 9231
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).

956.
Security Protocols XVIII [electronic resource] : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers / edited by Bruce Christianson, James Malcolm. by Series: Lecture Notes in Computer Science ; 7061
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

957.
958.
Complexity of sequential and parallel numerical algorithms / edited by J. F. Traub by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, 1973
Availability: Items available for loan: National Library of India (1)Call number: E519.92 Sy68.

959.
Information Security Applications [electronic resource] : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers / edited by Dong Hoon Lee, Moti Yung. by Series: Lecture Notes in Computer Science ; 7690
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).

960.
                                                                           
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