Your search returned 882 results.

Sort
Results
141.
Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13345
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

142.
Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers / by Series: Lecture Notes in Computer Science ; 655
Edition: 1st ed. 1993.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook
Availability: No items available.

143.
144.
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / by Series: Lecture Notes in Computer Science ; 533
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook
Availability: No items available.

145.
146.
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : International Workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1223
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

147.
148.
Conceptual Modeling ER'99 [electronic resource] : 18th International Conference on Conceptual Modeling Paris, France, November 15-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1728
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

149.
CONCUR 2001 - Concurrency Theory [electronic resource] : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2154
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

150.
Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2127
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

151.
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13360
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

152.
Evolutionary Computing [electronic resource] : AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers / by Series: Lecture Notes in Computer Science ; 865
Edition: 1st ed. 1994.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook
Availability: No items available.

153.
Artificial Evolution [electronic resource] : European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. / by Series: Lecture Notes in Computer Science ; 1063
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

154.
Word Equations and Related Topics [electronic resource] : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings / by Series: Lecture Notes in Computer Science ; 572
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Availability: No items available.

155.
Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004 Calcutta, India, November 22–25, 2004 Proceedings / by Series: Lecture Notes in Computer Science ; 3316
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.

156.
157.
Advances in Computer Games [electronic resource] : 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13262
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

158.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13372
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

159.
Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2624
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

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

Powered by Koha