Your search returned 516 results.

Sort
Results
121.
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14072
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.

122.
Quantitative Evaluation of Systems [electronic resource] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14287
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.

123.
124.
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14071
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.

125.
126.
127.
Health Information Science [electronic resource] : 11th International Conference, HIS 2022, Virtual Event, October 28–30, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13705
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

128.
Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14151
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.

129.
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3223
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.

130.
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2944
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.

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

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

133.
134.
Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14290
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.

135.
136.
Structural Information and Communication Complexity [electronic resource] : 11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3104
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.

137.
Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 3038
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.

138.
STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2996
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.

139.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3011
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.

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

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