Search Results for Software engineering.

100 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

Cover image for Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Author

Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23499-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Author

Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22888-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12466-7

Format:

Availability

Online Library~1

Available:
Copies:

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Author

Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08494-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Author

Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43613-4

Format:

Availability

Online Library~1

Available:
Copies:

Autonomy Requirements Engineering for Space Missions

Author

Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09816-6

Format:

Availability

Online Library~1

Available:
Copies:

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20656-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Author

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26951-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

Author

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814 Antón, Annie. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12786-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Carl Adam Petri: Ideas, Personality, Impact

Author

Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96154-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}