Search Results for Software

1.

Software-Qualität

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337190.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Software Architecture

Yazar

Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software-Qualität

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Software Evolution

Yazar

Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

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:

7.

Financial Software Engineering

Yazar

Lano, Kevin. author. Haughton, Howard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

Evolving Software Systems

Yazar

Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45398-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Essential Software Architecture

Yazar

Gorton, Ian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

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:

13.

System Software Reliability

Yazar

Pham, Hoang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-295-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Agile Software Construction

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-262-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Essential Software Architecture

Yazar

Gorton, Ian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Software Product Lines

Yazar

Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Constructing Correct Software

Yazar

Cooke, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Challenges of Software Verification

Yazar

Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-9601-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

Fundamentals of Software Culture

Yazar

Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-0701-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Trends in Software Testing

Yazar

Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1415-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

FPGAs for Software Programmers

Yazar

Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Validation of Evolving Software

Yazar

Chockler, Hana. editor. Kroening, Daniel. editor. Mariani, Leonardo. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Green in Software Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Implementing Software Defined Radio

Yazar

Grayver, Eugene. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330849.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9332-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Software Product Quality Control

Yazar

Wagner, Stefan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334625.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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:

29.

Software and Network Engineering

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Software Similarity and Classification

Yazar

Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Software for Algebraic Geometry

Yazar

Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-78133-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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:

33.

Model-Driven Software Development

Yazar

Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

Agile Software Engineering Skills

Yazar

Bass, Julian Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-05469-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Introduction to Software Quality

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Ontology-Driven Software Development

Yazar

Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.

Yer Numarası

ONLINE(333408.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Software and Systems Traceability

Yazar

Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Specification of Software Systems

Yazar

Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-277-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Software-Entwicklung für Echtzeitsysteme

Yazar

Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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:

42.

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:

43.

Boosting Software Development Using Machine Learning

Yazar

Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-88188-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Pragmatic Evaluation of Software Architectures

Yazar

Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

Guide to Software Project Management

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80578-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Software Design for Resilient Computer Systems

Yazar

Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55139-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Generative AI for Effective Software Development

Yazar

Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Abrahamsson, Pekka. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55642-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

The Fundamental Research for Trustworthy Software

Yazar

He, Jifeng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-5589-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

New Perspectives in Software Engineering

Yazar

Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50590-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Fuzzy Logic-Based Software Systems

Yazar

Chrysafiadi, Konstantina. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44457-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Software Ecosystems Tooling and Analytics

Yazar

Mens, Tom. editor. De Roover, Coen. editor. Cleve, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36060-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Software Defined Chips Volume II

Yazar

Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7636-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Software Engineering Proceedings of CSI 2015

Yazar

Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8848-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Concise Guide to Software Testing

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Introduction to Software Design with Java

Yazar

Robillard, Martin P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24094-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Software Languages Syntax, Semantics, and Metaprogramming

Yazar

Lämmel, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Software Fault Prediction A Road Map

Yazar

Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8715-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

The Essence of Software Engineering

Yazar

Gruhn, Volker. editor. Striemer, Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Quality Software Through Reuse and Integration

Yazar

Rubin, Stuart H. editor. Bouabana-Tebibel, Thouraya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Present and Ulterior Software Engineering

Yazar

Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Embedded Software Verification and Debugging

Yazar

Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4614-2266-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Automotive Software Architectures An Introduction

Yazar

Staron, Miroslaw. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Human Centered Software Product Lines

Yazar

Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Handbook of Hardware/Software Codesign

Yazar

Ha, Soonhoi. editor. Teich, Jürgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-94-017-7267-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Mastering Software Variability with FeatureIDE

Yazar

Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Computing Platforms for Software-Defined Radio

Yazar

Hussain, Waqar. editor. Nurmi, Jari. editor. Isoaho, Jouni. editor. Garzia, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Failure-Modes-Based Software Reading

Yazar

Zhu, Yang-Ming. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Software Engineering: Specification, Implementation, Verification

Yazar

Alagić, Suad. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Software Design for Resilient Computer Systems

Yazar

Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Computational Intelligence and Quantitative Software Engineering

Yazar

Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Analytical Ultracentrifugation Instrumentation, Software, and Applications

Yazar

Uchiyama, Susumu. editor. Arisaka, Fumio. editor. Stafford, Walter F. editor. Laue, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-4-431-55985-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Writing Virtual Environments for Software Visualization

Yazar

Jeffery, Clinton. author. Al-Gharaibeh, Jafar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4614-1755-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Lean Software Development in Action

Yazar

Janes, Andrea. author. Succi, Giancarlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

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:

81.

Raspberry Pi System Software Reference

Yazar

Gay, Warren. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4842-0796-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Software Engineering A Methodical Approach

Yazar

Foster, Elvis. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4842-0847-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Gröbner Bases Statistics and Software Systems

Yazar

Hibi, Takayuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335439.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-54574-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

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:

85.

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:

86.

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

Yazar

Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Model-Based Software Performance Analysis

Yazar

Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Software-Architektur kompakt – angemessen und zielorientiert

Yazar

Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2835-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Software Development and Professional Practice

Yazar

Dooley, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-3802-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

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:

91.

Relating Software Requirements and Architectures

Yazar

Avgeriou, Paris. editor. Grundy, John. editor. Hall, Jon G. editor. Lago, Patricia. editor. Mistrík, Ivan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Introduction to Software Process Improvement

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-172-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Software Reliability Assessment with OR Applications

Yazar

Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-204-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Silverlight 4 Business Intelligence Software

Yazar

Czernicki, Bart. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-3061-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Open Source Software for Digital Forensics

Yazar

Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-5803-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Software-Architektur kompakt – angemessen und zielorientiert

Yazar

Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

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:

98.

Software-Architektur Grundlagen — Konzepte — Praxis

Yazar

Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2267-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Hardware-dependent Software Principles and Practice

Yazar

Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Embedded Software Development with C

Yazar

Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0606-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Guide to Graphics Software Tools

Yazar

Chen, Jim X. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Abnahme komplexer Software-Systeme Das Praxishandbuch

Yazar

Osterhage, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

Yazar

Mellouli, Taieb. author. Suhl, Leena. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Artificial Life Models in Software

Yazar

Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-285-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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:

107.

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:

108.

Elementary Logic For Software Development

Yazar

Lover, Robert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-082-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Networked RFID Systems, Software and Services

Yazar

Roussos, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-153-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Software Measurement Establish — Extract — Evaluate — Execute

Yazar

Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

SOA? Serviceorientierung in Business und Software

Yazar

Masak, Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Software Engineering for Experimental Robotics

Yazar

Brugali, Davide. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

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:

114.

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

Yazar

Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Practical Software Factories in .NET

Yazar

Lenz, Gunther. author. Wienands, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0181-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Interoperability of Enterprise Software and Applications

Yazar

Konstantas, Dimitri. editor. Bourrières, Jean-Paul. editor. Léonard, Michel. editor. Boudjlida, Nacer. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-152-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Grid Computing: Software Environments and Tools

Yazar

Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-339-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Mathematical Approaches to Software Quality

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-435-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

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:

120.

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:

121.

Software Configuration Management Using Vesta

Yazar

Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-30852-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Software-Implemented Hardware Fault Tolerance

Yazar

Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-32937-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Component-Based Software Testing with UML

Yazar

Gross, Hans-Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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:

125.

The Best Software Writing I

Yazar

Spolsky, Joel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0038-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Artificial Life Models in Software

Yazar

Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-214-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Developing Statistical Software in Fortran 95

Yazar

Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

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:

129.

Transactions on Aspect-Oriented Software Development XII

Yazar

Chiba, Shigeru. editor. Tanter, Éric. editor. Ernst, Erik. editor. Hirschfeld, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Transactions on Aspect-Oriented Software Development XI

Yazar

Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55099-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Managing Software Supply Chains Theory and Practice

Yazar

Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1797-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

New Challenges in Software Engineering Volume 1

Yazar

Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90310-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Software Architectures Topics Usually Missed in Textbooks

Yazar

Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51335-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Smart Electromechanical Systems Mathematical and Software Engineering

Yazar

Tarasova, Irina Leonidovna. editor. (orcid)0000-0002-2282-150X Kulik, Boris Alexandrovich. editor. (orcid)0000-0001-6193-5588 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-64277-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Developing Sustainable and Energy-Efficient Software Systems

Yazar

Kruglov, Artem. author. Succi, Giancarlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-11658-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Software Architecture Research Roadmaps from the Community

Yazar

Pelliccione, Patrizio. editor. Kazman, Rick. editor. Weber, Ingo. editor. Liu, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36847-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Yazar

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Yazar

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, 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-17601-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Yazar

Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Yazar

Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Yazar

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Yazar

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Yazar

Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

Yazar

Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356 Lárusdóttir, Marta Kristín. editor. Palanque, Philippe. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Yazar

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

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:

153.

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:

154.

Synergies Between Knowledge Engineering and Software Engineering

Yazar

Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

SafeScrum® – Agile Development of Safety-Critical Software

Yazar

Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Shortest Path Solvers. From Software to Wetware

Yazar

Adamatzky, Andrew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

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:

166.

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

Yazar

Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

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:

168.

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Yazar

Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

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:

170.

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Yazar

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Yazar

Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Yazar

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Yazar

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Yazar

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, 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-319-56841-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Yazar

Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Yazar

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Scaling a Software Business The Digitalization Journey

Yazar

Fitzgerald, Brian. author. Stol, Klaas-Jan. author. (orcid)0000-0002-1038-5050 Minör, Sten. author. Cosmo, Henrik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Yazar

Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Yazar

Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Yazar

Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Yazar

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Yazar

Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Yazar

Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Software Defined Networking Applications in Distributed Datacenters

Yazar

Qi, Heng. author. Li, Keqiu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Yazar

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Yazar

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Yazar

Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Yazar

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Yazar

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-319-29628-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Yazar

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Yazar

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Yazar

Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Yazar

Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Yazar

Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Yazar

Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Deductive Software Verification - The KeY Book From Theory to Practice

Yazar

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Yazar

Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Babar, Ali. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Yazar

Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49224-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Yazar

Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Yazar

Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Yazar

Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Yazar

de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

Yazar

Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Yazar

De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Yazar

Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Yazar

Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Yazar

Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Yazar

Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Yazar

Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Yazar

Piterman, Nir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Yazar

Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Yazar

Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Yazar

Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Yazar

El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Yazar

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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:

235.

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Yazar

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54108-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Yazar

Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

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:

239.

Knowledge Cartography Software Tools and Mapping Techniques

Yazar

Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6470-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Yazar

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

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:

243.

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:

244.

Software Project Management in a Changing World

Yazar

Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

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:

247.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

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:

249.

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:

250.

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Yazar

Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

A Practical Introduction to Hardware/Software Codesign

Yazar

Schaumont, Patrick R. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331370.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-3737-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

The Software Industry Economic Principles, Strategies, Perspectives

Yazar

Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333443.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

Transactions on Aspect-Oriented Software Development X

Yazar

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

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Data Analysis in Management with SPSS Software

Yazar

Verma, J.P. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335463.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-322-0786-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337114.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Model-Driven Dependability Assessment of Software Systems

Yazar

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

Yazar

Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337594.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00790-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

Yazar

Impekoven, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337718.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Anpassung von Open-Source-Software in Anwenderunternehmen

Yazar

Keßler, Steffen. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337922.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Software Engineering Research,Management and Applications 2011

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Improving Software Testing Technical and Organizational Developments

Yazar

Majchrzak, Tim A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Games, Actions and Social Software Multidisciplinary Aspects

Yazar

Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Software Engineering Research, Management and Applications 2012

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Transactions on Aspect-Oriented Software Development IX

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Transactions on Aspect-Oriented Software Development VIII

Yazar

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

Yazar

Hummel, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2752-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Software Tools and Algorithms for Biological Systems

Yazar

Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7046-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Clustering-Based Support for Software Architecture Restructuring

Yazar

Streekmann, Niels. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-8675-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Advanced Ocean Modelling Using Open-Source Software

Yazar

Kämpf, Jochen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Software Engineering Research, Management and Applications 2010

Yazar

Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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:

273.

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:

274.

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

Yazar

Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software

Yazar

Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

A Practical Introduction to Hardware/Software Codesign

Yazar

Schaumont, Patrick R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-6000-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Composing Software Components A Software-testing Perspective

Yazar

Hamlet, Dick. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7148-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

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:

279.

Transactions on Aspect-Oriented Software Development V

Yazar

Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

An Approach to Modelling Software Evolution Processes

Yazar

Li, Tong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Software Architecture Knowledge Management Theory and Practice

Yazar

Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Software Engineering Research, Management and Applications 2009

Yazar

Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Knowledge Cartography Software Tools and Mapping Techniques

Yazar

Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-149-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Baseband Analog Circuits for Software Defined Radio

Yazar

Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6538-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Software for Data Analysis Programming with R

Yazar

Chambers, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-75936-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Transactions on Aspect-Oriented Software Development IV

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Yazar

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Transactions on Aspect-Oriented Software Development III

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Transactions on Aspect-Oriented Software Development II

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Transactions on Aspect-Oriented Software Development I

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

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:

292.

Eric Sink on the Business of Software

Yazar

Sink, Eric. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Software Project Secrets Why Software Projects Fail

Yazar

Stepanek, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0055-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Digital Synthesizers and Transmitters for Software Radio

Yazar

Vankka, Jouko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3195-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Software Agent-Based Applications, Platforms and Development Kits

Yazar

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

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:

297.

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Yazar

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84913-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75387-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Yazar

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0602-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-77382-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}