Search Results for Programming Languages.

15 sonuç bulundu

1 2

000000000000DEFAULT_TR

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Yazar

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60588-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Yazar

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29778-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Transactions on Modularity and Composition I

Yazar

Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46969-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35887-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Yazar

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38088-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Yazar

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Yazar

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334882.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40047-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45210-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Yazar

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334327.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36946-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Yazar

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334469.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}