Your search returned 215 results.

Sort
Results
1.
2.
3.
Advances in Conceptual Modeling [electronic resource] : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17–20, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13650
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.

4.
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13571
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.

5.
Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3326
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.

6.
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13487
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.

7.
Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13479
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.

8.
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13478
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.

9.
LATIN 2022: Theoretical Informatics [electronic resource] : 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13568
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.

10.
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13595
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.

11.
Multiple Classifier Systems [electronic resource] : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3077
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.

12.
Advances in Information Systems [electronic resource] : Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3261
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.

13.
Advanced Information Systems Engineering [electronic resource] : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13295
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.

14.
Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13838
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

15.
Culture and Computing [electronic resource] : 10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13324
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.

16.
17.
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.

18.
19.
WALCOM: Algorithms and Computation [electronic resource] : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13973
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.

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