Search Results for Programming Languages.

1.

Transactions on Pattern Languages of Programming III

Yazar

Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334647.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Yazar

Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335028.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Yazar

Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334706.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Yazar

Hinze, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335126.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Yazar

Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334104.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

Yazar

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334109.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Learning C# by Programming Games

Yazar

Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334239.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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:

18.

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Yazar

Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334772.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Yazar

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334934.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Yazar

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334946.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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:

23.

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:

24.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Yazar

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Yazar

Sagonas, Kostis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335204.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Yazar

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Yer Numarası

ONLINE(335216.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

Logic Programming with Prolog

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331207.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5487-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Yazar

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332921.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Compiler Design Syntactic and Semantic Analysis

Yazar

Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333076.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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:

32.

Transactions on Aspect-Oriented Software Development X

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Yazar

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Yazar

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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:

37.

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:

	{displayName}	{count}
{error}