Your search returned 37 results.

Sort
Results
1.
Formal Methods for Industrial Critical Systems [electronic resource] : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by Series: Programming and Software Engineering ; 12863
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

2.
From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12611
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

3.
4.
Computer Safety, Reliability, and Security [electronic resource] : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by Series: Programming and Software Engineering ; 12852
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

5.
Intelligent Tutoring Systems [electronic resource] : 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings / by Series: Programming and Software Engineering ; 12677
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

6.
7.
OpenMP: Enabling Massive Node-Level Parallelism [electronic resource] : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by Series: Programming and Software Engineering ; 12870
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

8.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings / by Series: Programming and Software Engineering ; 12685
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

9.
Accelerator Programming Using Directives [electronic resource] : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by Series: Programming and Software Engineering ; 12655
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

10.
Practical Aspects of Declarative Languages [electronic resource] : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by Series: Programming and Software Engineering ; 12548
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

11.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12524
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

12.
Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by Series: Programming and Software Engineering ; 12750
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

13.
Model and Data Engineering [electronic resource] : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by Series: Programming and Software Engineering ; 12732
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

14.
15.
16.
Tests and Proofs [electronic resource] : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / by Series: Programming and Software Engineering ; 12740
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

17.
Reversible Computation [electronic resource] : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by Series: Programming and Software Engineering ; 12805
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

18.
19.
Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Series: Programming and Software Engineering ; 13012
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

20.
Programming Languages and Systems [electronic resource] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by Series: Programming and Software Engineering ; 13008
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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