Search Results for Logic.

Skip to:Search Results

|

|

|

Arama Sonuçlarını Sınırlandır

Liste görünümüne geç

Küçük resim görünümüne geç

18 sonuç bulundu

Arama sonuçlarına abone ol

1 2

000000DEFAULT_TR

Yazdır

13.

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers için kapak resmi

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Yazar

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-15663-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers için kapak resmi

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Yazar

Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-10549-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34968-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings için kapak resmi

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30179-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings için kapak resmi

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Yazar

Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings için kapak resmi

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Yazar

Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

Go to:Search Results

|

|