Search Results for Algorithm Analysis and Problem Complexity.

10 sonuç bulundu

0000000000DEFAULT_TR

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Yazar

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334990.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40787-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Guide to Programming and Algorithms Using R

Yazar

Ergül, Özgür. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331192.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5328-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Yazar

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335072.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35632-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Yazar

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Yer Numarası

ONLINE(334025.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35668-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Genetic Programming Theory and Practice X

Yazar

Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332135.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6846-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Yazar

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334844.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

Yazar

Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335124.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}