Search Results for Integrated software.

26 Results Found

1 2 3

000000000000DEFAULT

An Integrated Approach to Software Engineering

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28132-0

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

Author

Snider, Ross K. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520191.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

Author

Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28430-5

Format:

Availability

Online Library~1

Available:
Copies:

Software Verification and Analysis An Integrated, Hands-On Approach

Author

Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-240-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

Author

Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520580.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

Author

Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.

Preferred Shelf Number

XX(520663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

Author

Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520676.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34497-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Author

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Preferred Shelf Number

XX(520812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers

Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers

Author

Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520822.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Author

Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521157.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43240-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

Author

Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520296.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27609-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers

Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers

Author

Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520321.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32213-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}