Search Results for Computer software -- Development.

212 Results Found

1 2 3 4 5 .. 18

000000000000DEFAULT

Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Author

Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21292-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Author

Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12566-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

Author

Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-09684-1

Format:

Availability

Online Library~1

Available:
Copies:

The cognitive dynamics of computer science cost-effective large scale software development

Author

De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

Author

Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520264.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23947-2

Format:

Availability

Online Library~1

Available:
Copies:

Computer Aided Engineering of Batteries

Author

Santhanagopalan, Shriram. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520358.1)

Electronic Access

https://doi.org/10.1007/978-3-031-17607-4

Format:

Availability

Online Library~1

Available:
Copies:

Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520417.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34045-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Author

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520625.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42622-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521324.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7584-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Author

Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.

Preferred Shelf Number

XX(521001.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36402-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2

Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2

Author

Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-31775-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Intelligent Sustainable Systems Proceedings of ICISS 2023

Author

Raj, Jennifer S. editor. Perikos, Isidoros. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-1726-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 18

	{displayName}	{count}
{error}