Refine your search

Your search returned 4435 results.

Sort
Results
2681.
Managing Traffic Performance in Converged Networks [electronic resource] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4516
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.

2682.
2683.
2684.
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] / by Series: Programming and Software Engineering ; 6132
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.

2685.
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.

2686.
Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / by Series: Programming and Software Engineering ; 8569
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.

2687.
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5846
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.

2688.
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8964
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.

2689.
2690.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7998
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.

2691.
2692.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6627
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.

2693.
Transactions on Petri Nets and Other Models of Concurrency X [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 9410
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

2694.
Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7030
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.

2695.
Engineering Multi-Agent Systems [electronic resource] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8758
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.

2696.
Middleware 2011 [electronic resource] : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings / by Series: Programming and Software Engineering ; 7049
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.

2697.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7976
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.

2698.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8197
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.

2699.
2700.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10419
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.

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