Refine your search

Your search returned 3843 results.

Sort
Results
3061.
3062.
3063.
3064.
3065.
3066.
3067.
3068.
Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13768
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.

3069.
Advances in Technology Transfer Through IoT and IT Solutions [electronic resource] / by Series: SpringerBriefs in Applied Sciences and Technology
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.

3070.
Document Analysis and Recognition - ICDAR 2023 [electronic resource] : 17th International Conference, San José, CA, USA, August 21–26, 2023, Proceedings, Part IV / by Series: Lecture Notes in Computer Science ; 14190
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.

3071.
3072.
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2925
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.

3073.
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 4444
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3074.
Service-Oriented and Cloud Computing [electronic resource] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / by Series: Programming and Software Engineering ; 10465
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.

3075.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8489
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.

3076.
3077.
Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11785
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

3078.
Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12101
Edition: 1st 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.

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