Search Results for Software Engineering.

1.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Yazar

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330912.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Scala Design Patterns Patterns for Practical Reuse and Design

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332904.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334652.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

Using Event-B for Critical Device Software Systems

Yazar

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Yazar

Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331186.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

An Introduction to Network Programming with Java Java 7 Compatible

Yazar

Graba, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331180.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5254-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Distributed Programming Theory and Practice

Yazar

Shankar, A. Udaya. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331611.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4881-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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:

34.

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:

35.

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:

36.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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:

38.

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:

39.

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:

40.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Yazar

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335210.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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:

42.

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:

43.

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:

	{displayName}	{count}
{error}