Results of search for 'ccl=su:"Software engineering"'

Results
	181.	Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings by Simon Bliudze, Laura Bocchi Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	182.	Research Challenges in Information Science : 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020, Proceedings by Fabiano Dalpiaz, Jelena Zdravkovic, Pericles Loucopoulos Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	183.	Human-Computer Interaction. Design and User Experience : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I by Masaaki Kurosu Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	184.	Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	185.	Technologies and Innovation : 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings by Rafael Valencia-García, Gema Alcaraz-Marmol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	186.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	187.	Analytical and Stochastic Modelling Techniques and Applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings by Marco Gribaudo, Eduard Sopin, Irina Kochetkova Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	188.	Parallel Agile - faster delivery, fewer defects, lower cost by Doug Rosenberg, Barry Boehm, Matt Stephens, Charles Suscheck, Shobha Rani Dhalipathi, Bo Wang Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	189.	Advances in Agile and User-Centred Software Engineering : Third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019, Revised Selected Papers by Adam Przyłek, Miguel Ehécatl Morales-Trujillo Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	190.	Fundamentals of Software Startups : Essential Engineering and Business Aspects by Anh Nguyen-Duc, Jürgen Münch, Rafael Prikladnicki, Xiaofeng Wang, Pekka Abrahamsson Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	191.	Information Technology for Management: Current Research and Future Directions : 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1-4, 2019, Extended and Revised Selected Papers by Ewa Ziemba Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	192.	Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers by Supratik Chakraborty, Jorge A. Navas Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	193.	Service-Oriented and Cloud Computing : 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings by Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	194.	Sustainable Energy for Smart Cities : First EAI International Conference, SESC 2019, Braga, Portugal, December 4-6, 2019, Proceedings by João L. Afonso, Vítor Monteiro, José Gabriel Pinto Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	195.	HCI in Business, Government and Organizations : 7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings by Fiona Fui-Hoon Nah, Keng Siau Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	196.	Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	197.	Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I by Shuvendu K. Lahiri, Chao Wang Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	198.	NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	199.	Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I by Daniele Micciancio, Thomas Ristenpart Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	200.	Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part III by Daniele Micciancio, Thomas Ristenpart Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Topics

Your search returned 612 results.