Results of search for '"SOFTWARE ENGINEERING"'

Results
	1.	No cover image available Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology by BÃ¶hm, Wolfgang\|\|Broy, Manfred\|\|Klein, Cornel\|\|Pohl, Klaus\|\|Rumpe, Bernhard\|\|SchrÃ¶ck, Sebastian Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	2.	No cover image available Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 â€“ April 1, 2021, Proceedings by Guerra, Esther\|\|Stoelinga, MariÃ«lle Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	3.	No cover image available Introduction to Scientific Programming with Python by Sundnes, Joakim Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	4.	No cover image available Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations by Felderer, Michael\|\|Hasselbring, Wilhelm\|\|Koziolek, Heiko\|\|Matthes, Florian\|\|Prechelt, Lutz\|\|Reussner, Ralf\|\|Rumpe, Bernhard\|\|Schaefer, Ina Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	5.	No cover image available Introduction to Scientific Programming with Python by Sundnes, Joakim Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	6.	No cover image available Solving PDEs in Python The FEniCS Tutorial I by Langtangen, Hans Petter\|\|Logg, Anders Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	7.	No cover image available Agile Processes in Software Engineering and Extreme Programming â€“ Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8â€“12, 2020, Revised Selected Papers by Paasivaara, Maria\|\|Kruchten, Philippe Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	8.	No cover image available Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â€“30, 2020, Proceedings by Wehrheim, Heike\|\|Cabot, Jordi Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	9.	No cover image available Building Transformation Networks for Consistent Evolution of Interrelated Models by Klare, Heiko Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	10.	No cover image available The Essence of Software Engineering by Volker Gruhn\|\|RÃ¼diger Striemer Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	11.	No cover image available Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20â€“23, 2021, Proceedings, Part II by Silva, Alexandra\|\|Leino, K. Rustan M Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	12.	No cover image available The Essence of Software Engineering by Gruhn, Volker\|\|Striemer, RÃ¼diger Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	13.	No cover image available Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20â€“23, 2021, Proceedings, Part I by Silva, Alexandra\|\|Leino, K. Rustan M Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	14.	No cover image available Model Transformation Languages with Modular Information Hiding by Rentschler, Andreas Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	15.	No cover image available Deriving Goal-oriented Performance Models by Systematic Experimentation by Westermann, Dennis Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	16.	No cover image available The Once-Only Principle The TOOP Project by Krimmer, Robert\|\|Prentza, Andriana\|\|Mamrot, Szymon Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	17.	No cover image available Agile Processes in Software Engineering and Extreme Programming 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14â€“18, 2021, Proceedings by Gregory, Peggy\|\|Lassenius, Casper\|\|Wang, Xiaofeng\|\|Kruchten, Philippe Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	18.	No cover image available Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21â€“24, 2020, Proceedings, Part I by Lahiri, Shuvendu K.\|\|Wang, Chao Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	19.	No cover image available Automated Deduction â€“ CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12â€“15, 2021, Proceedings by Platzer, AndrÃ©\|\|Sutcliffe, Geoff Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	20.	No cover image available Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond by Collan, Mikael\|\|Michelsen, Karl-Erik Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 261 results.