Search Results for Computer logic.

13.

Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers

Yazar

Bécue, Adrien. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40385-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Yazar

Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Yazar

Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Yazar

Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Yazar

Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-49815-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

1 2

	{displayName}	{count}
{error}