Search Results for Software engineering.

1.

Continuous Software Engineering

Yazar

Bosch, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Collaborative Software Engineering

Yazar

Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Agile Software Engineering

Yazar

Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-198-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Handbook of Software Engineering

Yazar

Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00262-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Experimentation in Software Engineering

Yazar

Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Value-Based Software Engineering

Yazar

Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29263-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Rationale-Based Software Engineering

Yazar

Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77583-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Categories for Software Engineering

Yazar

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138249

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Recommendation Systems in Software Engineering

Yazar

Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45135-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Projektorganisation und Management im Software Engineering

Yazar

Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336947.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Software Engineering: A Hands-On Approach

Yazar

Lee, Roger Y. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336486.1)

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-6239-006-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The Future of Software Engineering

Yazar

Nanz, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Software Engineering for Self-Adaptive Systems

Yazar

Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Guide to Advanced Empirical Software Engineering

Yazar

Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-044-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

A Concise Introduction to Software Engineering

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-302-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Software Engineering Techniques: Design for Quality

Yazar

Sacha, Krzysztof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-39388-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Rationale Management in Software Engineering

Yazar

Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-30998-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Software Engineering 1 Abstraction and Modelling

Yazar

Bjørner, Dines. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-31288-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

An Integrated Approach to Software Engineering

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28132-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Engineering and Managing Software Requirements

Yazar

Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28244-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Yazar

Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02450-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Yazar

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02928-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Yazar

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Yazar

Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05843-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Yazar

Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11245-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

Yazar

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2329-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Innovations in Computing Sciences and Software Engineering

Yazar

Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9112-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Experience and Knowledge Management in Software Engineering

Yazar

Schneider, Kurt. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95880-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Ontologies for Software Engineering and Software Technology

Yazar

Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-34518-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05767-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Yazar

Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19034-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Yazar

Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30126-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Yazar

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-0310-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Yazar

Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74433-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Yazar

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72652-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94135-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Yazar

Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60011-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Yazar

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92970-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94764-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

Yazar

Cantone, Giovanni. editor. Marchesi, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06862-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

Yazar

Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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:

48.

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Yazar

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

Yazar

Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334419.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Yazar

Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334426.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333859.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333860.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333861.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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:

56.

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:

57.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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:

59.

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Yazar

Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334859.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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:

61.

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:

62.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Yazar

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332934.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334841.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334911.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

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:

66.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Yazar

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335024.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Software Engineering Frameworks for the Cloud Computing Paradigm

Yazar

Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331122.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5031-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

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:

69.

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333558.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

Yazar

Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334579.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335217.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Yazar

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335227.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337559.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00642-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

Yazar

Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Yazar

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Yazar

Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

Yazar

Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Yazar

Avgeriou, Paris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Yazar

Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

Yazar

Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

Yazar

Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Yazar

Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Yazar

Kienzle, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

Yazar

Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Computer, network, software, and hardware engineering with applications

Yazar

Schneidewind, Norman.

Yer Numarası

ONLINE

Elektronik Erişim

IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

Yazar

Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Yazar

Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

Yazar

Heisel, Maritta. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

Yazar

Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Yazar

Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Yazar

Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Engineering of Software The Continuing Contributions of Leon J. Osterweil

Yazar

Tarr, Peri L. editor. Wolf, Alexander L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

Yazar

Berry, Daniel. editor. Franch, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Yazar

Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Agile Processes in Software Engineering and Extreme Programming 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

Yazar

Sillitti, Alberto. editor. Hazzan, Orit. editor. Bache, Emily. editor. Albaladejo, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

Yazar

Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

Yazar

Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

Yazar

Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Yazar

Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Yazar

Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings

Yazar

Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

Yazar

Troubitsyna, Elena A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Yazar

Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Yazar

Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9843-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Yazar

Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Yazar

Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar

Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Yazar

Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

Yazar

Müller, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Yazar

Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

Yazar

Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

Yazar

Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2487-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

Yazar

Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Advanced Techniques in Computing Sciences and Software Engineering

Yazar

Elleithy, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-3660-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

Yazar

Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

Yazar

Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

Yazar

Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Yazar

Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Yazar

Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

Yazar

Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Yazar

Ghosh, Sudipto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings

Yazar

Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

Yazar

Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-019-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

Yazar

Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-907-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Yazar

Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Yazar

Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

Yazar

Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Yazar

Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9235-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Yazar

Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95888-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Yazar

Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Yazar

Chaudron, Michel R. V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

Yazar

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

Yazar

Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Yazar

Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Yazar

Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

Yazar

Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Yazar

Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Yazar

Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Yazar

Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Yazar

Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78743-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

Yazar

Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79488-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

Yazar

Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68255-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

Yazar

Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85279-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

Yazar

Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85992-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Yazar

Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-87891-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Yazar

Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88194-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88643-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Yazar

Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89762-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

Yazar

Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69062-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Yazar

Giese, Holger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69073-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

Yazar

Elleithy, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8735-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

Yazar

Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73031-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

Yazar

Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73101-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

Yazar

Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73131-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

Yazar

Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75542-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Yazar

Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76650-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Yazar

Kühne, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69489-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Yazar

Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70945-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71289-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

Yazar

Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71301-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

Yazar

Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71437-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

Yazar

Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71876-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Yazar

Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73551-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75698-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Software Verification and Validation An Engineering and Scientific Approach

Yazar

Fisher, Marcus S. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-47939-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

Yazar

Lopp, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0271-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Yazar

Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11693017

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Software Engineering 2 Specification of Systems and Languages

Yazar

Bjørner, Dines. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-33193-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Yazar

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11774129

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

MDA® Effektives Software-Engineering mit UML 2® und Eclipse™

Yazar

Gruhn, Volker. author. Pieper, Daniel. author. Röttgers, Carsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28746-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Software Engineering 3 Domains, Requirements, and Software Design

Yazar

Bjøner, Dines. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-33653-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Yazar

Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11783565

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11877028

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Yazar

Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11889229

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

Yazar

Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11901433

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

Yazar

Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28171-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

Yazar

Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-34831-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

Yazar

Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11949374

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

Yazar

Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11668855

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

Yazar

Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11738817

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Yazar

Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751113

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Yazar

Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11752660

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Yazar

Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105022

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

Yazar

Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107130

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Cerioli, Maura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107062

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Yazar

Guelfi, Nicolas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136153

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Yazar

Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136248

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Yazar

Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137278

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

Yazar

Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106347

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Yazar

Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3532-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle

Yazar

Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4113-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Software Product Line Engineering Foundations, Principles, and Techniques

Yazar

Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28901-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Yazar

Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11576280

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Yazar

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01090-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03044-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Yazar

Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04272-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Yazar

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99927-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03592-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Yazar

Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Yazar

Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98938-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04771-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Yazar

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92997-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Yazar

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73814-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Yazar

Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74730-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-95582-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77935-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02146-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Yazar

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00856-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-90089-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Yazar

Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92612-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Yazar

Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-93317-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Yazar

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03673-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Yazar

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03769-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Yazar

German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Yazar

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Yazar

Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06859-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Yazar

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09970-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Yazar

Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45391-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-53956-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Yazar

Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08789-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Yazar

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Yazar

Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

Yazar

Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07076-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06410-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Yazar

Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Yazar

Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44879-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44857-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Yazar

Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09195-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07602-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Programming with Actors State-of-the-Art and Research Perspectives

Yazar

Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00302-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98334-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Yazar

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99498-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99906-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Yazar

Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-95246-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02671-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Yazar

Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-90421-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02768-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Yazar

Podelski, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99725-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00244-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

Yazar

Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Yazar

de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Yazar

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74896-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

Yazar

Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55149-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Yazar

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11653-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Yazar

Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08494-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Software Process Modeling

Yazar

Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104986

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Semantic Web: Concepts, Technologies and Applications

Yazar

Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-710-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Agent Technology from a Formal Perspective

Yazar

Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-271-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Aligning Organizations Through Measurement The GQM+Strategies Approach

Yazar

Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05047-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Software Process Definition and Management

Yazar

Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Yazar

Trendowicz, Adam. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Intelligent Software Defect Prediction

Yazar

Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-2842-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

Yazar

Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20883-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Yazar

Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14310-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

Yazar

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34500-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

Yazar

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33742-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Managed Software Evolution

Yazar

Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13499-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Yazar

Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12797-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Yazar

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26831-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91908-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers

Yazar

Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362 Rocha, Carla. editor. (orcid)0000-0003-3102-5166 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-36701-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Yazar

Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28005-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Yazar

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Yazar

Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-93736-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Yazar

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Yazar

Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01081-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Yazar

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2423-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

Yazar

Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

Yazar

Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02641-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03418-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03427-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

Yazar

Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03062-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03424-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03421-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Yazar

Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04762-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-78054-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Yazar

Aramaki, Mitsuko. editor. Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992 Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. (orcid)0000-0001-9022-9690 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01692-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Yazar

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94460-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

Yazar

Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

Yazar

Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94274-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

Yazar

Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

Yazar

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Herrera-Joancomartí, Jordi. editor. (orcid)0000-0002-4935-4681 Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00305-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Yazar

Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)