Search Results for Computing Systems Design.

5 sonuç bulundu

00000DEFAULT_TR

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Yazar

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73751-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

Yazar

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66673-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

Yazar

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66676-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}