Search Results for 4.

620 Results Found

1 .. 3 4 5 6 7 .. 52

000000000000DEFAULT

49.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Author

Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings

Author

Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00940-3

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Author

Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

Author

Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

Author

Wannous, Hazem. editor. Pala, Pietro. editor. Daoudi, Mohamed. editor. Flórez-Revuelta, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91863-1

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

Author

Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90371-2

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Author

Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Author

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91632-3

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Author

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76072-8

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 52

	{displayName}	{count}
{error}