Your search returned 967 results.

Sort
Results
521.
522.
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures / by Series: Programming and Software Engineering ; 7171
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

523.
Distributed Computing and Networking [electronic resource] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5408
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

524.
Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5970
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

525.
Ada 2012 Rationale [electronic resource] : The Language -- The Standard Libraries / by Series: Programming and Software Engineering ; 8338
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

526.
Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5438
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

527.
528.
Modelling -- Foundation and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / by Series: Programming and Software Engineering ; 6698
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.

529.
High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 / by Series: Programming and Software Engineering ; 5030
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

530.
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / by Series: Programming and Software Engineering ; 3771
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.

531.
Algorithmic Aspects in Information and Management [electronic resource] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6124
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

532.
Wireless Sensor Networks [electronic resource] : Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 3868
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.

533.
Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5785
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

534.
Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 5460
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

535.
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Series: Programming and Software Engineering ; 4279
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.

536.
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Series: Programming and Software Engineering ; 4888
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

537.
Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5474
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

538.
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5123
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

539.
540.
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by Series: Programming and Software Engineering ; 9593
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.

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