Refine your search

Your search returned 7935 results.

Sort
Results
5701.
Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / by Series: Lecture Notes in Computer Science ; 2931
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

5702.
Data Warehousing and Knowledge Discovery [electronic resource] : 6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3181
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

5703.
Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2941
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

5704.
Semantic Technology [electronic resource] : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9544
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

5705.
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers / by Series: Security and Cryptology ; 10543
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

5706.
5707.
String Processing and Information Retrieval [electronic resource] : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26–28, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14240
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.

5708.
5709.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14093
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.

5710.
5711.
Knowledge Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5465
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

5712.
Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9151
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

5713.
5714.
5715.
5716.
5717.
The Algorithm Design Manual [electronic resource] / by Series: Texts in Computer Science
Edition: 3rd ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

5718.
Computational Methods for Deep Learning [electronic resource] : Theoretic, Practice and Applications / by Series: Texts in Computer Science
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.

5719.
Fundamentals of Cryptography [electronic resource] : Introducing Mathematical and Algorithmic Foundations / by Series: Undergraduate Topics in Computer Science
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.

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