Results of search for 'ccl=su:{Performance.} and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Parallel Computing Technologies [electronic resource] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6873 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / by Bravetti, Mario [editor.] Kloul, Leila [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3670 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	123.	Performance Evaluation and Benchmarking [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6417 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	124.	Advances in Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings / by de Cesare, Sergio [editor.] Frank, Ulrich [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10651 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	126.	Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings / by Wang, Xinbing [editor.] Zheng, Rong [editor.] Jing, Tao [editor.] Xing, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7405 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	127.	Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings / by Göschka, Karl Michael [editor.] Haridi, Seif [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7272 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	128.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers / by Bañares, José Ángel [editor.] Tserpes, Konstantinos [editor.] Altmann, Jörn [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10382 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	129.	Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / by Cheng, Xiuzhen [editor.] Li, Wei [editor.] Znati, Taieb [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4138 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	130.	Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings / by Cérin, Christophe [editor.] Li, Kuan-Ching [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4459 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	131.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012, Proceedings / by Vanmechelen, Kurt [editor.] Altmann, Jörn [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7714 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	132.	Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / by Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5779 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	133.	Foundations of Computer Software [electronic resource] : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers / by Calinescu, Radu [editor.] Jackson, Ethan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6662 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	134.	Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / by Hofmeister, Christine [editor.] Crnkovic, Ivica [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4214 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	135.	Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / by Lopes, Luís [editor.] Žilinskas, Julius [editor.] Costan, Alexandru [editor.] Cascella, Roberto G [editor.] Kecskemeti, Gabor [editor.] Jeannot, Emmanuel [editor.] Cannataro, Mario [editor.] Ricci, Laura [editor.] Benkner, Siegfried [editor.] Petit, Salvador [editor.] Scarano, Vittorio [editor.] Gracia, José [editor.] Hunold, Sascha [editor.] Scott, Stephen L [editor.] Lankes, Stefan [editor.] Lengauer, Christian [editor.] Carretero, Jesus [editor.] Breitbart, Jens [editor.] Alexander, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8806 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	136.	Distributed Applications and Interoperable Systems [electronic resource] : 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017, Proceedings / by Chen, Lydia Y [editor.] Reiser, Hans P [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10320 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	137.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings / by Dudin, Alexander [editor.] De Turck, Koen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7984 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	138.	Parallel Computing Technologies [electronic resource] : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9251 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	139.	Architecting Dependable Systems VI [electronic resource] / by de Lemos, Rogério [editor.] Fabre, Jean-Charles [editor.] Gacek, Cristina [editor.] Gadducci, Fabio [editor.] ter Beek, Maurice H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5835 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	140.	Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers / by Dolev, Shlomi [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5804 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 246 results.