Search Results for

6 Results Found

000000DEFAULT

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Author

Bowen, Jonathan P. editor. Li, Qin. editor. Xu, Qiwen. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521129.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Museums and Digital Culture New Perspectives and Research

Author

Giannini, Tula. editor. Bowen, Jonathan P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Electronic Visualisation in Arts and Culture

Author

Bowen, Jonathan P. editor. Keene, Suzanne. editor. Ng, Kia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331203.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5406-8

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods: State of the Art and New Directions

Author

Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-736-3

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

Author

Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78917-8

Format:

Availability

Online Library~1

Available:
Copies:

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Author

Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87603-8

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}