Refine your search

Your search returned 1186 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1101.
Optimization and Learning [electronic resource] : 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings / edited by Bernabé Dorronsoro, Francisco Chicano, Gregoire Danoy, El-Ghazali Talbi. 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.

Place hold Save to lists
1102.
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory. by Series: Lecture Notes in Computer Science ; 7261
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
1103.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 7794
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
1104.
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
1105.
Architecture of Computing Systems - ARCS 2014 [electronic resource] : 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings / edited by Erik Maehle, Kay Römer, Wolfgang Karl, Eduardo Tovar. by Series: Lecture Notes in Computer Science ; 8350
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
1106.
Information Management and Big Data [electronic resource] : 9th Annual International Conference, SIMBig 2022, Lima, Peru, November 16-18, 2022, Proceedings / edited by Juan Antonio Lossio-Ventura, Jorge Valverde-Rebaza, Eduardo Díaz, Hugo Alatrista-Salas. 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.6.

Place hold Save to lists
1107.
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers / edited by Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek. 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.

Place hold Save to lists
1108.
Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza. by Series: Lecture Notes in Computer Science ; 7515
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
1109.
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.

Place hold Save to lists
1110.
Improving equity in data science : re-imagining the teaching and learning of data in K-16 classrooms / edited by Colby Tofel-Grehl and Emmanuel Schanzer. by
Material type: Text Text; Literary form: Not fiction
Publication details: New York, NY : Routledge, 2024
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.071/073.

Place hold Save to lists
1111.
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by Series: Lecture Notes in Computer Science ; 7760
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
1112.
Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. de Boer. by Series: Lecture Notes in Computer Science ; 7604
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
1113.
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun. by Series: Lecture Notes in Computer Science ; 8442
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
1114.
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.

Place hold Save to lists
1115.
Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Şima Etaner-Uyar, Bin Hu. by Series: Lecture Notes in Computer Science ; 7831
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
1116.
1117.
Multi-Agent Systems [electronic resource] : 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings / edited by Vadim Malvone, Aniello Murano. 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.

Place hold Save to lists
1118.
String Processing and Information Retrieval [electronic resource] : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8-10, 2022, Proceedings / edited by Diego Arroyuelo, Barbara Poblete. by Series: Lecture Notes in Computer Science ; 13617
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: 518.1.

Place hold Save to lists
1119.
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
1120.
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl. by Series: Lecture Notes in Computer Science ; 8412
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).

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