Search Results for Software.

178 Results Found

1 2 3 4 5 6 .. 15

000000000000DEFAULT

37.

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:

38.

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:

39.

Autonomous driving algorithms and Its IC Design

Author

Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2897-2

Format:

Availability

Online Library~1

Available:
Copies:

40.

Applications in Reliability and Statistical Computing

Author

Pham, Hoang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

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:

42.

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

Author

Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21395-4

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Author

Meiselwitz, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25540-4

Format:

Availability

Online Library~1

Available:
Copies:

45.

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

Author

Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233 Pernici, Barbara. editor. Lim, Ee-Peng. editor. de Oliveira, José Palazzo M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings

Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings

Author

Ferreira, Joao Carlos. editor. (orcid)0000-0002-6662-0806 Martins, Ana Lúcia. editor. (orcid)0000-0002-8533-6595 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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

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

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-26948-7

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings

Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings

Author

Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Braschler, Martin. editor. Savoy, Jacques. editor. (orcid)0000-0002-4486-0067 Rauber, Andreas. editor. Müller, Henning. editor. (orcid)0000-0001-6800-9878

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 15

	{displayName}	{count}
{error}