Arama Sonuçları Software - Daraltılmış: Software engineering.

Software engineering

2026-04-05T15:43:42Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.758 S66 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software-Qualität

2026-04-05T15:43:42Z

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 engineering

2026-04-05T15:43:42Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.758 S66 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software engineering

2026-04-05T15:43:42Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.6 S66 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software-Qualität

2026-04-05T15:43:42Z

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 Evolution

2026-04-05T15:43:42Z

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 Architecture

2026-04-05T15:43:42Z

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 engineering

2026-04-05T15:43:42Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.6 S66 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software management

2026-04-05T15:43:42Z

Yazar Reifer, Donald J.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Modeling

2026-04-05T15:43:42Z

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

Beginning software engineering

2026-04-05T15:43:42Z

Yazar Stephens, Rod, author.
Yer Numarası QA76.758 .S74 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Software Engineering

2026-04-05T15:43:42Z

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

Managed Software Evolution

2026-04-05T15:43:42Z

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

Beginning software engineering

2026-04-05T15:43:42Z

Yazar Stephens, Rod.
Yer Numarası QA76.758 S737 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Evolving Software Systems

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Software project management

2026-04-05T15:43:42Z

Yazar Hughes, Bob. Cotterell, Mike.
Yer Numarası QA76.76 H84 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Agile Software Engineering

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Software Product Lines

2026-04-05T15:43:42Z

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

Essential Software Architecture

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Constructing Correct Software

2026-04-05T15:43:42Z

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

Software requirements engineering

2026-04-05T15:43:42Z

Yazar Thayer, Richard H. Dorfman, M.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989265 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989265
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Software Technology

2026-04-05T15:43:42Z

Yazar Mitchell, R., ed.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBCM010E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essentials of software engineering

2026-04-05T15:43:42Z

Yazar Tsui, Frank F. Karam, Orlando.
Yer Numarası QA76.758 T78 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Experimentation in Software Engineering

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Software Product Quality Control

2026-04-05T15:43:42Z

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

Software and Network Engineering

2026-04-05T15:43:42Z

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

Experimentation in Software Engineering

2026-04-05T15:43:42Z

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

Object-oriented software engineering

2026-04-05T15:43:42Z

Yazar Schach, Stephen R.
Yer Numarası QA 76.758 S3 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Essentials of software engineering

2026-04-05T15:43:42Z

Yazar Tsui, Frank F. Karam, Orlando.
Yer Numarası QA76.758 .T785 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software engineering quality practices

2026-04-05T15:43:42Z

Yazar Kandt, Ronald Kirk., author.
Yer Numarası QA76.758 .K35 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Value-Based Software Engineering

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Intelligent Software Defect Prediction

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

A discipline for software engineering

2026-04-05T15:43:42Z

Yazar Humphrey, Watts S., 1927-
Yer Numarası QA 76.758 H857 1995
Format: Kitap
Durum Beytepe Kütüphanesi~1

Pragmatic Evaluation of Software Architectures

2026-04-05T15:43:42Z

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 engineering : the current practices

2026-04-05T15:43:42Z

Yazar Rajlich, Vaclav.
Yer Numarası QA76.758 R36 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Process Definition and Management

2026-04-05T15:43:42Z

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

Trustworthy systems through quantitative software engineering

2026-04-05T15:43:42Z

Yazar Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Project Management

2026-04-05T15:43:42Z

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

The Fundamental Research for Trustworthy Software

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Generative AI for Effective Software Development

2026-04-05T15:43:42Z

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

Software Design for Resilient Computer Systems

2026-04-05T15:43:42Z

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

Effective methods for software engineering

2026-04-05T15:43:42Z

Yazar Summers, Boyd L., author.
Yer Numarası QA76.758 .S857 2020 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003025665 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Proceedings of CSI 2015

2026-04-05T15:43:42Z

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

Concise Guide to Software Testing

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Systems engineering of software-enabled systems

2026-04-05T15:43:42Z

Yazar Fairley, R. E. (Richard E.), 1937- author.
Yer Numarası QA76.758
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-04-05T15:43:42Z

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

Modeling Companion for Software Practitioners

2026-04-05T15:43:42Z

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

Certifiable software applications. 3, Downward cycle

2026-04-05T15:43:42Z

Yazar Boulanger, Jean-Louis, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9781785481192
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Languages Syntax, Semantics, and Metaprogramming

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Mastering Software Variability with FeatureIDE

2026-04-05T15:43:42Z

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

Automotive Software Architectures An Introduction

2026-04-05T15:43:42Z

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: Specification, Implementation, Verification

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Present and Ulterior Software Engineering

2026-04-05T15:43:42Z

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

Handbook of Hardware/Software Codesign

2026-04-05T15:43:42Z

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

Human Centered Software Product Lines

2026-04-05T15:43:42Z

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

Computational Intelligence and Quantitative Software Engineering

2026-04-05T15:43:42Z

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 Engineering Research, Management and Applications

2026-04-05T15:43:42Z

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

Software Design for Resilient Computer Systems

2026-04-05T15:43:42Z

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

Software Engineering Research, Management and Applications

2026-04-05T15:43:42Z

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

Recommendation Systems in Software Engineering

2026-04-05T15:43:42Z

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

Lean Software Development in Action

2026-04-05T15:43:42Z

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

Software Engineering A Methodical Approach

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Projektorganisation und Management im Software Engineering

2026-04-05T15:43:42Z

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

Model-Based Software Performance Analysis

2026-04-05T15:43:42Z

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

The Future of Software Engineering

2026-04-05T15:43:42Z

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

Relating Software Requirements and Architectures

2026-04-05T15:43:42Z

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-Architektur kompakt – angemessen und zielorientiert

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Introduction to Software Process Improvement

2026-04-05T15:43:42Z

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

Software Reliability Assessment with OR Applications

2026-04-05T15:43:42Z

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

Software engineering : principles and practice

2026-04-05T15:43:42Z

Yazar Jawadekar, W. S. (Waman S.)
Yer Numarası QA76.758 J39 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Open Source Software for Digital Forensics

2026-04-05T15:43:42Z

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 engineering : a practitioner's approach

2026-04-05T15:43:42Z

Yazar Pressman, Roger S.
Yer Numarası QA76.758 P75 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering for Self-Adaptive Systems

2026-04-05T15:43:42Z

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

Software-Architektur kompakt – angemessen und zielorientiert

2026-04-05T15:43:42Z

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

Software-Architektur Grundlagen — Konzepte — Praxis

2026-04-05T15:43:42Z

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

Systems and software engineering with applications

2026-04-05T15:43:42Z

Yazar Schneidewind, Norman.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Graphics Software Tools

2026-04-05T15:43:42Z

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

Hardware-dependent Software Principles and Practice

2026-04-05T15:43:42Z

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

Embedded Software Development with C

2026-04-05T15:43:42Z

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

Artificial Life Models in Software

2026-04-05T15:43:42Z

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

Managing and leading software projects

2026-04-05T15:43:42Z

Yazar Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abnahme komplexer Software-Systeme Das Praxishandbuch

2026-04-05T15:43:42Z

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

Software Engineering Research, Management and Applications

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Networked RFID Systems, Software and Services

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Software Engineering Techniques: Design for Quality

2026-04-05T15:43:42Z

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

Software engineering for Internet applications

2026-04-05T15:43:42Z

Yazar Andersson, Eve Astrid. Greenspun, Philip. Grumet, Andrew.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Configuration Management Using Vesta

2026-04-05T15:43:42Z

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 Engineering 1 Abstraction and Modelling

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Practical Software Factories in .NET

2026-04-05T15:43:42Z

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

Grid Computing: Software Environments and Tools

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Software requirements : encapsulation, quality, and reuse

2026-04-05T15:43:42Z

Yazar Lutowski, Rick., author.
Yer Numarası QA76.758 .L87 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The Best Software Writing I

2026-04-05T15:43:42Z

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

Engineering and Managing Software Requirements

2026-04-05T15:43:42Z

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

An Integrated Approach to Software Engineering

2026-04-05T15:43:42Z

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

Artificial Life Models in Software

2026-04-05T15:43:42Z

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

Strategic software engineering : an interdisciplinary approach

2026-04-05T15:43:42Z

Yazar Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.
Yer Numarası QA76.758 .S765 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Component-Based Software Testing with UML

2026-04-05T15:43:42Z

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

Computers, Software Engineering, and Digital Devices

2026-04-05T15:43:42Z

Yazar Dorf, Richard C., author. Taylor and Francis.
Yer Numarası TK7885
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering for image processing systems

2026-04-05T15:43:42Z

Yazar Laplante, Phillip A., author.
Yer Numarası TA1637 .L34 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software design for engineers and scientists

2026-04-05T15:43:42Z

Yazar Robinson, John A. (John Allen), 1958-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics software engineering delivering effective applications

2026-04-05T15:43:42Z

Yazar Weston, Paul, HGMP. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/0470030143
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering and computer games

2026-04-05T15:43:42Z

Yazar Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Yer Numarası QA76.758 R83 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Managing Complexity in Software Engineering

2026-04-05T15:43:42Z

Yazar Mitchell, R., ed.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBCM017E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development XI

2026-04-05T15:43:42Z

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

Software measurement and estimation a practical approach

2026-04-05T15:43:42Z

Yazar Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-04-05T15:43:42Z

Yazar Hobbs, Chris (Christopher W.)
Yer Numarası QA76.76 .D47
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003598145 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Supply Chains Theory and Practice

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Computational intelligence applications for software engineering problems

2026-04-05T15:43:42Z

Yazar Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.
Yer Numarası QA76.758
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003283195 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving software processes : trends and future directions

2026-04-05T15:43:42Z

Yazar Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.
Yer Numarası QA76.76 .D47
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-based software engineering : methods and metrics

2026-04-05T15:43:42Z

Yazar Tiwari, Umesh Kumar, author. Kumar, Santosh, author.
Yer Numarası QA76.758 .T58 2021 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429331749 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Perspectives in Computer Game Development.

2026-04-05T15:43:42Z

Yazar Cooper, Kendra M. L., editor.
Yer Numarası QA76.76 .C672
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781315145549 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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 Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2026-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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 Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

SafeScrum® – Agile Development of Safety-Critical Software

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2026-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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 Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Scaling a Software Business The Digitalization Journey

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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 for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

String Analysis for Software Verification and Security

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

Perspectives on data science for software engineering

2026-04-05T15:43:42Z

Yazar Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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 Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

Sharing data and models in software engineering

2026-04-05T15:43:42Z

Yazar Menzies, Tim, author. Rogers, Mark, designer.
Yer Numarası ONLINE(355389.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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 Project Management in a Changing World

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

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-04-05T15:43:42Z

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

Signal processing with free software practical experiments

2026-04-05T15:43:42Z

Yazar Auger, François.
Yer Numarası ONLINE(341600.1)
Elektronik Erişim Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657 John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619 John Wiley http://dx.doi.org/10.1002/9781118579619
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Dependability Assessment of Software Systems

2026-04-05T15:43:42Z

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

The Software Industry Economic Principles, Strategies, Perspectives

2026-04-05T15:43:42Z

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

Transactions on Aspect-Oriented Software Development X

2026-04-05T15:43:42Z

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

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2026-04-05T15:43:42Z

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

Software Engineering Research,Management and Applications 2011

2026-04-05T15:43:42Z

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

Improving Software Testing Technical and Organizational Developments

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Transactions on Aspect-Oriented Software Development IX

2026-04-05T15:43:42Z

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

Clustering-Based Support for Software Architecture Restructuring

2026-04-05T15:43:42Z

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

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

2026-04-05T15:43:42Z

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

Scientific Software Design The Object-Oriented Way

2026-04-05T15:43:42Z

Yazar Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VIII

2026-04-05T15:43:42Z

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

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

2026-04-05T15:43:42Z

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

Software Engineering Research, Management and Applications 2010

2026-04-05T15:43:42Z

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

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

2026-04-05T15:43:42Z

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

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2026-04-05T15:43:42Z

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

Innovations in Computing Sciences and Software Engineering

2026-04-05T15:43:42Z

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

Composing Software Components A Software-testing Perspective

2026-04-05T15:43:42Z

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

A Practical Introduction to Hardware/Software Codesign

2026-04-05T15:43:42Z

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 2009

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Experience and Knowledge Management in Software Engineering

2026-04-05T15:43:42Z

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

Transactions on Aspect-Oriented Software Development V

2026-04-05T15:43:42Z

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

Software Architecture Knowledge Management Theory and Practice

2026-04-05T15:43:42Z

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

Software engineering foundations : a software science perspective

2026-04-05T15:43:42Z

Yazar Wang, Yingxu., author.
Yer Numarası QA76.758 .W375 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Digitale Hardware/Software-Systeme Synthese und Optimierung

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Transactions on Aspect-Oriented Software Development IV

2026-04-05T15:43:42Z

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

Ontologies for Software Engineering and Software Technology

2026-04-05T15:43:42Z

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 I

2026-04-05T15:43:42Z

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-04-05T15:43:42Z

Yazar Calero, Coral. Ruiz, Francisco. Piattini, Mario.
Yer Numarası QA76.9.D35 O57 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Transactions on Aspect-Oriented Software Development II

2026-04-05T15:43:42Z

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 Agent-Based Applications, Platforms and Development Kits

2026-04-05T15:43:42Z

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

Schaum's outline of theory and problems of software engineering

2026-04-05T15:43:42Z

Yazar Gustafson, David A.
Yer Numarası QA76.758 G88 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-04-05T15:43:42Z

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

Strategic software quality management : how to incorporate sustainable continuous improvement practices

2026-04-05T15:43:42Z

Yazar Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Yer Numarası QA76.76 .Q35
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003491606 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T15:43:42Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

2026-04-05T15:43:42Z

Yazar Marchesi, Lodovica. editor. (orcid)0000-0002-0627-5043 Goldman, Alfredo. editor. (orcid)0000-0001-5746-4154 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228 Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72781-8
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-04-05T15:43:42Z

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-04-05T15:43:42Z

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

Data Protection for Software Development and IT A Practical Introduction

2026-04-05T15:43:42Z

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

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1

2026-04-05T15:43:42Z

Yazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3013-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

2026-04-05T15:43:42Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87054-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18-20, 2024, Proceedings

2026-04-05T15:43:42Z

Yazar Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131 Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398 Jansen, Slinger. editor. (orcid)0000-0003-3752-2868 Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85849-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

2026-04-05T15:43:42Z

Yazar Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88531-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-04-05T15:43:42Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

2026-04-05T15:43:42Z

Yazar Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89277-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Management: Theory and Applications Volume 17

2026-04-05T15:43:42Z

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

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-04-05T15:43:42Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-04-05T15:43:42Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-04-05T15:43:42Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-04-05T15:43:42Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-04-05T15:43:42Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-04-05T15:43:42Z

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

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

2026-04-05T15:43:42Z

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

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-04-05T15:43:42Z

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

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

2026-04-05T15:43:42Z

Yazar Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84913-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T15:43:42Z

Yazar Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0602-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T15:43:42Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2

2026-04-05T15:43:42Z

Yazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3161-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-04-05T15:43:42Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-04-05T15:43:42Z

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

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

2026-04-05T15:43:42Z

Yazar Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66149-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-04-05T15:43:42Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1