Arama Sonuçları Software - Daraltılmış: SpringerLink (Online service)

Software-Qualität

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Evolution

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Qualität

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Modeling

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managed Software Evolution

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving Software Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Continuous Software Engineering

2026-06-05T10:28:08Z

Yazar Bosch, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11283-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essential Software Architecture

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Software Reliability

2026-06-05T10:28:08Z

Yazar Pham, Hoang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-295-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essential Software Architecture

2026-06-05T10:28:08Z

Yazar Gorton, Ian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28714-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Software Construction

2026-06-05T10:28:08Z

Yazar Hunt, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-262-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Lines

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructing Correct Software

2026-06-05T10:28:08Z

Yazar Cooke, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138515
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimentation in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Challenges of Software Verification

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Culture

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Software Testing

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGAs for Software Programmers

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Validation of Evolving Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Quality Control

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementing Software Defined Radio

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimentation in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Network Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Similarity and Classification

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software for Algebraic Geometry

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Value-Based Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Software Development

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Software Engineering Skills

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Software Defect Prediction

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Quality

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology-Driven Software Development

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Systems Traceability

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification of Software Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Entwicklung für Echtzeitsysteme

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rationale-Based Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Categories for Software Engineering

2026-06-05T10:28:08Z

Yazar Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138249
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boosting Software Development Using Machine Learning

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pragmatic Evaluation of Software Architectures

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Definition and Management

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Project Management

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative AI for Effective Software Development

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Fundamental Research for Trustworthy Software

2026-06-05T10:28:08Z

Yazar He, Jifeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5589-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Perspectives in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Design for Resilient Computer Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Ecosystems Tooling and Analytics

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic-Based Software Systems

2026-06-05T10:28:08Z

Yazar Chrysafiadi, Konstantina. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44457-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Defined Chips Volume II

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Testing

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Design with Java

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Proceedings of CSI 2015

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-06-05T10:28:08Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61388-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality Software Through Reuse and Integration

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Companion for Software Practitioners

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Languages Syntax, Semantics, and Metaprogramming

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Prediction A Road Map

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Essence of Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software Verification and Debugging

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Hardware/Software Codesign

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Specification, Implementation, Verification

2026-06-05T10:28:08Z

Yazar Alagić, Suad. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61518-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Failure-Modes-Based Software Reading

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Centered Software Product Lines

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Present and Ulterior Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mastering Software Variability with FeatureIDE

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing Platforms for Software-Defined Radio

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Software Architectures An Introduction

2026-06-05T10:28:08Z

Yazar Staron, Miroslaw. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58610-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-06-05T10:28:08Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33903-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Quantitative Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Design for Resilient Computer Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical Ultracentrifugation Instrumentation, Software, and Applications

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Writing Virtual Environments for Software Visualization

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-06-05T10:28:08Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11265-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lean Software Development in Action

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recommendation Systems in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-06-05T10:28:08Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-00948-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering A Methodical Approach

2026-06-05T10:28:08Z

Yazar Foster, Elvis. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0847-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Raspberry Pi System Software Reference

2026-06-05T10:28:08Z

Yazar Gay, Warren. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0796-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gröbner Bases Statistics and Software Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: A Hands-On Approach

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Projektorganisation und Management im Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Software Performance Analysis

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Architektur kompakt – angemessen und zielorientiert

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Development and Professional Practice

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relating Software Requirements and Architectures

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Reliability Assessment with OR Applications

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Future of Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Process Improvement

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silverlight 4 Business Intelligence Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Software for Digital Forensics

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Architektur Grundlagen — Konzepte — Praxis

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware-dependent Software Principles and Practice

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Architektur kompakt – angemessen und zielorientiert

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abnahme komplexer Software-Systeme Das Praxishandbuch

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life Models in Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Graphics Software Tools

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software Development with C

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Advanced Empirical Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elementary Logic For Software Development

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked RFID Systems, Software and Services

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Measurement Establish — Extract — Evaluate — Execute

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOA? Serviceorientierung in Business und Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Experimental Robotics

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques: Design for Quality

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 1 Abstraction and Modelling

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interoperability of Enterprise Software and Applications

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rationale Management in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing: Software Environments and Tools

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Approaches to Software Quality

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Software Factories in .NET

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Configuration Management Using Vesta

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Implemented Hardware Fault Tolerance

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Best Software Writing I

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Testing with UML

2026-06-05T10:28:08Z

Yazar Gross, Hans-Gerhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138012
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering and Managing Software Requirements

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life Models in Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing Statistical Software in Fortran 95

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Integrated Approach to Software Engineering

2026-06-05T10:28:08Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28132-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development XII

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development XI

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Supply Chains Theory and Practice

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Challenges in Software Engineering Volume 1

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architectures Topics Usually Missed in Textbooks

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Electromechanical Systems Mathematical and Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing Sustainable and Energy-Efficient Software Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture Research Roadmaps from the Community

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Synergies Between Knowledge Engineering and Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Shortest Path Solvers. From Software to Wetware

2026-06-05T10:28:08Z

Yazar Adamatzky, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77510-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SafeScrum® – Agile Development of Safety-Critical Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Analysis for Software Verification and Security

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scaling a Software Business The Digitalization Journey

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Defined Networking Applications in Distributed Datacenters

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deductive Software Verification - The KeY Book From Theory to Practice

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

Yazar Piterman, Nir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26287-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Cartography Software Tools and Mapping Techniques

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

Yazar Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13338-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Project Management in a Changing World

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Hardware/Software Codesign

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Dependability Assessment of Software Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analysis in Management with SPSS Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anpassung von Open-Source-Software in Anwenderunternehmen

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Software Industry Economic Principles, Strategies, Perspectives

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Improving Software Testing Technical and Organizational Developments

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games, Actions and Social Software Multidisciplinary Aspects

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2012

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research,Management and Applications 2011

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development IX

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VIII

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clustering-Based Support for Software Architecture Restructuring

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Tools and Algorithms for Biological Systems

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Hardware/Software Codesign

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2010

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in Computing Sciences and Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Ocean Modelling Using Open-Source Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composing Software Components A Software-testing Perspective

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experience and Knowledge Management in Software Engineering

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2009

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Approach to Modelling Software Evolution Processes

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture Knowledge Management Theory and Practice

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development V

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Baseband Analog Circuits for Software Defined Radio

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Cartography Software Tools and Mapping Techniques

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software for Data Analysis Programming with R

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development IV

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digitale Hardware/Software-Systeme Synthese und Optimierung

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development III

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Eric Sink on the Business of Software

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development I

2026-06-05T10:28:08Z

Yazar Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11687061
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontologies for Software Engineering and Software Technology

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development II

2026-06-05T10:28:08Z

Yazar Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11922827
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Project Secrets Why Software Projects Fail

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Synthesizers and Transmitters for Software Radio

2026-06-05T10:28:08Z

Yazar Vankka, Jouko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3195-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Agent-Based Applications, Platforms and Development Kits

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-05T10:28:08Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-06-05T10:28:08Z

Yazar Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-06-05T10:28:08Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

2026-06-05T10:28:08Z

Yazar Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1621-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Protection for Software Development and IT A Practical Introduction

2026-06-05T10:28:08Z

Yazar Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1