Search Results for Programming.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

24 sonuç bulundu

000000000000000000000000DEFAULT_TR

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:

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:

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Yazar

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334268.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Yazar

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334549.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Yazar

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332892.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Yazar

Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.

Yer Numarası

ONLINE(334384.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334751.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334753.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

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:

13.

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:

14.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Yazar

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334071.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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:

18.

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Yazar

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335206.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Yazar

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Yer Numarası

ONLINE(334328.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334871.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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:

23.

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:

24.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

	{displayName}	{count}
{error}