Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2101.
System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher. by Series: Lecture Notes in Computer Science ; 8769
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).

Place hold Request article Save to lists
2102.
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Series: Lecture Notes in Computer Science ; 9337
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).

Place hold Request article Save to lists
2103.
An Introduction to computers/ Prof. S. Venkatachalam by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi: Pitambar Pub, 1996
Availability: Items available for loan: National Library of India (1)Call number: E 621.39 V 559.

Place hold Request article Save to lists
2104.
2105.
Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova. by Series: Lecture Notes in Computer Science ; 13206
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: 005.131.

Place hold Save to lists
2106.
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof. by Series: Lecture Notes in Computer Science ; 13290
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: 004.0151.

Place hold Save to lists
2107.
Think like a terrorist to combat terrorism and radicalization in prison / William Sturgeon and Francesca Spina. by
Edition: First edition.
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Boca Raton : CRC Press, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 363.325.

Place hold Save to lists
2108.
Fast and effective embedded systems design : applying the ARM mbed / Rob Toulson and Tim Wilmshurst. by
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Language: English
Publication details: Oxford : Newnes, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2109.
Knowledge Engineering and Knowledge Management [electronic resource] : 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings / edited by Oscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, Fajar J. Ekaputra. by Series: Lecture Notes in Artificial Intelligence ; 13514
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: 006.3.

Place hold Save to lists
2110.
Algorithms - ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Hans L. Bodlaender, Giuseppe F. Italiano. by Series: Lecture Notes in Computer Science ; 8125
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).

Place hold Request article Save to lists
2111.
Understanding interactive digital narrative : immersive expressions for a complex time / Hartmut Koenitz. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Abingdon, Oxon ; New York, NY : Routledge, 2023; ©2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 808.036.

Place hold Save to lists
2112.
Microsoft Windows Communication Foundation step by step / John Sharp by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall, 2007
Availability: Items available for loan: National Library of India (1)Call number: E 005.437 Sh 23.

Place hold Request article Save to lists
2113.
Java 2 : exam notes / Philip Heller by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, c2001
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 H 367.

Place hold Request article Save to lists
2114.
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin. by Series: Lecture Notes in Computer Science ; 7519
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).

Place hold Request article Save to lists
2115.
Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Series: Lecture Notes in Computer Science ; 7373
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).

Place hold Request article Save to lists
2116.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7609
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).

Place hold Request article Save to lists
2117.
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by Series: Lecture Notes in Computer Science ; 7740
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).

Place hold Request article Save to lists
2118.
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by Series: Lecture Notes in Computer Science ; 7957
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).

Place hold Request article Save to lists
2119.
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov. by Series: Lecture Notes in Computer Science ; 6479
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).

Place hold Request article Save to lists
2120.
Algorithmic Decision Making with Python Resources [electronic resource] : From Multicriteria Performance Records to Decision Algorithms via Bipolar-Valued Outranking Digraphs / by Raymond Bisdorff. by Series: International Series in Operations Research & Management Science ; 324
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.403.

Place hold Save to lists
                                                                           
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