Refine your search

Your search returned 1885 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1541.
Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Series: Lecture Notes in Computer Science ; 9154
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
1542.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 8312
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
1543.
1544.
1545.
Advances in Multimedia Information Processing - PCM 2010 [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II / edited by Guoping Qiu...[et al] by Series: Lecture Notes in Computer Science ; 6298
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).

Place hold Request article Save to lists
1546.
1547.
Towards a Service-Based Internet. ServiceWave 2010 Workshops [electronic resource] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / edited by Michel Cezon, Yaron Wolfsthal. by Series: Lecture Notes in Computer Science ; 6569
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).

Place hold Request article Save to lists
1548.
Application of Big Data, Blockchain, and Internet of Things for Education Informatization [electronic resource] : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I / edited by Mian Ahmad Jan, Fazlullah Khan. 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.

Place hold Save to lists
1549.
Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith. 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.131.

Place hold Save to lists
1550.
Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11-14, 2022, Proceedings / edited by Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy. by Series: Lecture Notes in Computer Science ; 13248
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: 006.312.

Place hold Save to lists
1551.
Information Technology in Disaster Risk Reduction [electronic resource] : 6th IFIP WG 5.15 International Conference, ITDRR 2021, Morioka, Japan, October 25-27, 2021, Revised Selected Papers / edited by Jun Sasaki, Yuko Murayama, Dimiter Velev, Plamena Zlateva. by Series: IFIP Advances in Information and Communication Technology ; 638
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.

Place hold Save to lists
1552.
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce. by Series: Lecture Notes in Computer Science ; 7265
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
1553.
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 7152
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
1554.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert. by Series: Lecture Notes in Computer Science ; 7967
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
1555.
Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró. by Series: Lecture Notes in Computer Science ; 7233
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
1556.
Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi. by Series: Lecture Notes in Computer Science ; 7705
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
1557.
1558.
Conceptual Modeling [electronic resource] : 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings / edited by Paolo Atzeni, David Cheung, Sudha Ram. by Series: Lecture Notes in Computer Science ; 7532
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
1559.
Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis De Vos, Robert Wille. by Series: Lecture Notes in Computer Science ; 7165
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
1560.
Architecture of Computing Systems - ARCS 2012 [electronic resource] : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings / edited by Andreas Herkersdorf, Kay Römer, Uwe Brinkschulte. by Series: Lecture Notes in Computer Science ; 7179
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
                                                                           
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