Search Results for State.

1.

Temporal Logic and State Systems

Author

Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68635-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Automotive Systems and Software Engineering State of the Art and Future Trends

Author

Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91908-9

Format:

Availability

Online Library~1

Available:
Copies:

4.

Programming with Actors State-of-the-Art and Research Perspectives

Author

Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

Author

Motta, Gianmario. editor. Wu, Bing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

Cover image for Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

Author

Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75755-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

Author

Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11558958

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}