Search Results for Netherlands

27 Results Found

1 2 3

000DEFAULT

25.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Human Behavior Understanding 7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings

Author

Chetouani, Mohamed. editor. Cohn, Jeffrey. editor. Salah, Albert Ali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

RoboCup 2024: Robot World Cup XXVII

Author

Barros, Edna. editor. (orcid)0000-0001-6479-3052 Hanna, Josiah P. editor. (orcid)0000-0002-7411-0398 Okada, Hiroyuki. editor. (orcid)0000-0003-4217-1548 Torta, Elena. editor. (orcid)0000-0001-9198-1374 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}