Your search returned 4 results.

Sort
Results
1.
The nature of statistical learning theory by Series: Statistics for engineering and information science
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: IIITD (1)Call number: REF 006.31 VAP-N.

2.
Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by Series: Computer Science Foundations and Applied Logic
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook
Availability: No items available.

3.
Mathematical Reasoning: The History and Impact of the DReaM Group [electronic resource] / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

4.
Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14066
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in