Search Results for Computer software.

303 sonuç bulundu

1 2 3 4 5 .. 26

000000000000DEFAULT_TR

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Yazar

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-34096-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

Yazar

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-92196-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

Yazar

Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)

Yazar

Pal, Sankar K. editor. (orcid)0000-0003-3301-4751 Thampi, Sabu M. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2147-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

Yazar

Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5GtoB From Theory to Practice

Yazar

Song, Liang. author. Chen, Mingsong. author. Xu, Zhibing. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-8453-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Numbers and Computers

Yazar

Kneusel, Ronald T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-67482-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023

Yazar

Kumar Singh, Koushlendra. editor. (orcid)0000-0002-5614-6098 Singh, Sangeeta. editor. (orcid)0000-0002-1185-0540 Srivastava, Subodh. editor. Bajpai, Manish Kumar. editor. (orcid)0000-0003-2258-2390 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-4359-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Yazar

Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Systems Benchmarking For Scientists and Engineers

Yazar

Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-85634-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares

Yazar

Takanami, Itsuo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1539-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 26

	{displayName}	{count}
{error}