Search Results for Programming languages (Electronic computers).

208 sonuç bulundu

1 2 3 4 5 6 .. 18

000000000000DEFAULT_TR

37.

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

Yazar

Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

R Programming Statistical Data Analysis in Research

Yazar

Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Yazar

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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:

41.

JavaScript : syntax and practices

Yazar

Tomar, Ravi, author. Dangi, Sarishma, author.

Yer Numarası

QA76.73 .J39

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003122364
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

The statistical analysis of doubly truncated data : with applications in R

Yazar

Uña-Álvarez, Jacobo de, 1972- author. Moreira, Carla, 1972- author. Crujeiras, Rosa M. (Rosa María), 1978- author.

Yer Numarası

QH323.5 .U53 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java

Yazar

Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.

Yer Numarası

QA76.7

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python

Yazar

Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.

Yer Numarası

QA76.7

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Anyone can code : the art and science of logical creativity

Yazar

Arya, Ali, author.

Yer Numarası

QA76.6

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429244421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 18

	{displayName}	{count}
{error}