Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

6313 Results Found

1 .. 3 4 5 6 7 .. 527

000000000000DEFAULT

49.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Author

Joshi, James. editor. (orcid)0000-0003-4519-9802 Nepal, Surya. editor. Zhang, Qi. editor. 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-23404-1

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Mobile Computing, Applications, and Services 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings

Mobile Computing, Applications, and Services 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings

Author

Yin, Yuyu. editor. Li, Ying. editor. Gao, Honghao. editor. Zhang, Jilin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28468-8

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Mobile, Secure, and Programmable Networking 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers

Mobile, Secure, and Programmable Networking 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers

Author

Renault, Éric. editor. Boumerdassi, Selma. editor. Leghris, Cherkaoui. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22885-9

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

Author

Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32497-1

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31019-6

Format:

Availability

Online Library~1

Available:
Copies:

56.

Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

Author

Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Connectomics in NeuroImaging Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Connectomics in NeuroImaging Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Author

Schirmer, Markus D. editor. (orcid)0000-0001-9561-0239 Venkataraman, Archana. editor. (orcid)0000-0003-2653-5591 Rekik, Islem. editor. (orcid)0000-0001-5595-6673 Kim, Minjeong. editor. Chung, Ai Wern. editor. (orcid)0000-0002-0905-6698

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Artificial Intelligence in Radiation Therapy First International Workshop, AIRT 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Artificial Intelligence in Radiation Therapy First International Workshop, AIRT 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Author

Nguyen, Dan. editor. (orcid)0000-0002-9590-0655 Xing, Lei. editor. Jiang, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Machine Learning in Medical Imaging 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Machine Learning in Medical Imaging 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Author

Suk, Heung-Il. editor. Liu, Mingxia. editor. Yan, Pingkun. editor. Lian, Chunfeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Simulation and Synthesis in Medical Imaging 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Simulation and Synthesis in Medical Imaging 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Author

Burgos, Ninon. editor. (orcid)0000-0002-4668-2006 Gooya, Ali. editor. (orcid)0000-0001-5135-4800 Svoboda, David. editor. (orcid)0000-0001-6074-0164 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32778-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 527

	{displayName}	{count}
{error}