Your search returned 390 results.

Sort
Results
41.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9212
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.

42.
Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / by Series: Programming and Software Engineering ; 8627
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.

43.
System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / by Series: Programming and Software Engineering ; 8769
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.

44.
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by Series: Programming and Software Engineering ; 9434
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.

45.
46.
Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Series: Programming and Software Engineering ; 10028
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.

47.
Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12062
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.

48.
49.
System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by Series: Programming and Software Engineering ; 9959
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.

50.
51.
Security and Trust Management [electronic resource] : 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings / by Series: Security and Cryptology ; 11091
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.

52.
Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 2946
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.

53.
ECOOP 2006 - Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / by Series: Lecture Notes in Computer Science ; 4067
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

54.
55.
56.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / by Series: Programming and Software Engineering ; 4574
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.

57.
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / by Series: Programming and Software Engineering ; 4762
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.

58.
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / by Series: Programming and Software Engineering ; 7041
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

59.
Case-Based Reasoning Research and Development [electronic resource] : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12311
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.

60.
Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8591
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.

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