Refine your search

Your search returned 142 results.

Sort
Results
1.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings / edited by Andre A. Cire. 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.

2.
Mathematics for Computer Scientists [electronic resource] : A Practice-Oriented Approach / by Peter Hartmann. 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, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

3.
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II / edited by Frank Nielsen, Frédéric Barbaresco. 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.

4.
Foundation Mathematics for Computer Science [electronic resource] : A Visual Approach / by John Vince. by
Edition: 3rd 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: 004.0151.

5.
Computational Methods for Deep Learning [electronic resource] : Theory, Algorithms, and Implementations / by Wei Qi Yan. by Series:
Edition: 2nd ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.31.

6.
Human Brain and Artificial Intelligence [electronic resource] : Third International Workshop, HBAI 2022, Held in Conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022, Revised Selected Papers / edited by Xiaomin Ying. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

7.
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I / edited by Frank Nielsen, Frédéric Barbaresco. 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.

8.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by Leslie Pérez Cáceres, Thomas Stützle. 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.

9.
Modelling and Development of Intelligent Systems [electronic resource] : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers / edited by Dana Simian, Laura Florentina Stoica. 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.

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

11.
Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner. by Series:
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: 004.0151.

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

13.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / edited by Pierre Schaus. by Series: Lecture Notes in Computer Science ; 13292
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.

14.
15.
Deep Learning Theory and Applications [electronic resource] : First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers / edited by Ana Fred, Carlo Sansone, Kurosh Madani. 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.

16.
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

17.
18.
Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Wenjian Luo. 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.

19.
Linear Programming Computation [electronic resource] / by Ping-Qi PAN. by
Edition: 2nd ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

20.
Artificial Intelligence Logic and Applications [electronic resource] : The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings / edited by Songmao Zhang, Yonggang Zhang. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.131.

                                                                           
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