Refine your search

Your search returned 8328 results.

Sort
Results
6161.
6162.
Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14245
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.

6163.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2–4, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14310
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.

6164.
6165.
6166.
Stateless Core: A Scalable Approach for Quality of Service in the Internet [electronic resource] : Winning Thesis of the 2001 ACM Doctoral Dissertation Competition / by Series: Lecture Notes in Computer Science ; 2979
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.

6167.
Formal Concept Analysis [electronic resource] : Foundations and Applications / by Series: Lecture Notes in Artificial Intelligence ; 3626
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

6168.
Network Analysis [electronic resource] : Methodological Foundations / by Series: Theoretical Computer Science and General Issues ; 3418
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

6169.
6170.
6171.
Foundations of Security Analysis and Design VII [electronic resource] : FOSAD 2012 / 2013 Tutorial Lectures / by Series: Security and Cryptology ; 8604
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

6172.
6173.
Text Analysis Pipelines [electronic resource] : Towards Ad-hoc Large-Scale Text Mining / by Series: Theoretical Computer Science and General Issues ; 9383
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.

6174.
Computer Algebra and Polynomials [electronic resource] : Applications of Algebra and Number Theory / by Series: Theoretical Computer Science and General Issues ; 8942
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.

6175.
Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3564
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

6176.
6177.
Computing with New Resources [electronic resource] : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday / by Series: Theoretical Computer Science and General Issues ; 8808
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

6178.
Transactions on Foundations for Mastering Change I [electronic resource] / by Series: Transactions on Foundations for Mastering Change ; 9960
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.

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