Your search returned 920 results.

Sort
Results
81.
Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8723
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.

82.
Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9270
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

83.
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8981
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

84.
Software Engineering for Collective Autonomic Systems [electronic resource] : The ASCENS Approach / by Series: Programming and Software Engineering ; 8998
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

85.
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8663
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.

86.
87.
88.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10703
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

89.
From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 11500
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.

90.
NASA Formal Methods [electronic resource] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by Series: Programming and Software Engineering ; 9690
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

91.
Tests and Proofs [electronic resource] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by Series: Programming and Software Engineering ; 9762
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

92.
93.
94.
Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13266
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.

95.
96.
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10499
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.

97.
98.
Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by Series: Programming and Software Engineering ; 10702
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

99.
Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by Series: Programming and Software Engineering ; 11237
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

100.
Developments in Language Theory [electronic resource] : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11647
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.

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