Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(6752)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Dil
Yayın Yılı
-
Konu
Computer science.
(4592)
Software engineering.
(3826)
Computer software.
(2174)
Artificial intelligence.
(2060)
Computer Communication Networks.
(1706)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8915 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings için kapak resmi
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
Yazar 
Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29983-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings için kapak resmi
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Yazar 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings için kapak resmi
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Yazar 
Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22888-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings için kapak resmi
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Yazar 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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 için kapak resmi
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Yazar 
Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-06019-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Yazar 
Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35540-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17601-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings için kapak resmi
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings için kapak resmi
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Yazar 
Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30856-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Prospective Philosophy of Software : a Simondonian Study için kapak resmi
Prospective Philosophy of Software : a Simondonian Study
Yazar 
Ferrarato, Coline.
Yer Numarası 
QA76.167
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119686804
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Synergies Between Knowledge Engineering and Software Engineering için kapak resmi
Synergies Between Knowledge Engineering and Software Engineering
Yazar 
Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64161-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings için kapak resmi
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Yazar 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings için kapak resmi
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Yazar 
Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99927-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings için kapak resmi
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Yazar 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Yazar 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
SafeScrum® – Agile Development of Safety-Critical Software için kapak resmi
SafeScrum® – Agile Development of Safety-Critical Software
Yazar 
Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99334-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Yazar 
Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92432-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings için kapak resmi
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Yazar 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Yazar 
Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77243-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings için kapak resmi
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Yazar 
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03673-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Shortest Path Solvers. From Software to Wetware için kapak resmi
Shortest Path Solvers. From Software to Wetware
Yazar 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77510-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Yazar 
Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74730-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
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 için kapak resmi
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Yazar 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings için kapak resmi
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Yazar 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Yazar 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings için kapak resmi
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Yazar 
Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00761-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings için kapak resmi
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Yazar 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02146-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers için kapak resmi
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Yazar 
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96562-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02928-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Analytic methods in systems and software testing için kapak resmi
Analytic methods in systems and software testing
Yazar 
Kenett, Ron, editor. Ruggeri, Fabrizio, editor. Faltin, Frederick W., editor.
Yer Numarası 
QA76.76 .T48 A52 2018 EB
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119357056
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
ESSENTIAL SOFTWARE TESTING : a use-case approach. için kapak resmi
ESSENTIAL SOFTWARE TESTING : a use-case approach.
Yazar 
FOURNIER, GREG.
Yer Numarası 
QA76.76 .T48
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/e/9780429114854
Taylor & Francis https://www.taylorfrancis.com/books/9780429114854
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Managing trade-offs in adaptable software architectures için kapak resmi
Managing trade-offs in adaptable software architectures
Yazar 
Mistrík, Ivan, editor. Ali, Nour, editor. Kazman, Rick, editor. Grundy, John, editor. Schmerl, Bradley, editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect https://www.sciencedirect.com/science/book/9780128028551
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Artificial neural network for software reliability prediction için kapak resmi
Artificial neural network for software reliability prediction
Yazar 
Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Yer Numarası 
QA76.87
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Perspectives on data science for software engineering için kapak resmi
Perspectives on data science for software engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Software patterns, knowledge maps, and domain analysis için kapak resmi
Software patterns, knowledge maps, and domain analysis
Yazar 
Fayad, Mohamed, 1950, author.
Yer Numarası 
QA76.76 .P37 F39 2015
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Sharing data and models in software engineering için kapak resmi
Sharing data and models in software engineering
Yazar 
Menzies, Tim, author. Rogers, Mark, designer.
Yer Numarası 
ONLINE(355389.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Java software solutions : foundations of program design için kapak resmi
Java software solutions : foundations of program design
Yazar 
Lewis, John. Loftus, William.
Yer Numarası 
QA76.73.J38 L49 2015
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
40. 
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Yazar 
Piterman, Nir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26287-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings için kapak resmi
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Yazar 
Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22183-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Yazar 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Yazar 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering için kapak resmi
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Yazar 
De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15545-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Yazar 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings için kapak resmi
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Yazar 
Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25942-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings için kapak resmi
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Yazar 
El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25945-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings için kapak resmi
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Yazar 
Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23727-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings için kapak resmi
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Yazar 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Software Engineering for Collective Autonomic Systems The ASCENS Approach için kapak resmi
Software Engineering for Collective Autonomic Systems The ASCENS Approach
Yazar 
Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16310-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings için kapak resmi
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Yazar 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures için kapak resmi
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Yazar 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28406-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings için kapak resmi
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Yazar 
Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26844-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Yazar 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings için kapak resmi
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Yazar 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures için kapak resmi
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Yazar 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Yazar 
Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Computing handbook : computer science and software engineering için kapak resmi
Computing handbook : computer science and software engineering
Yazar 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Yer Numarası 
QA76 .C57315 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Software quality engineering a practioner's approach için kapak resmi
Software quality engineering a practioner's approach
Yazar 
Suryn, Witold.
Yer Numarası 
ONLINE(341841.1)
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781118830208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Signal processing with free software practical experiments için kapak resmi
Signal processing with free software practical experiments
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Knowledge Cartography Software Tools and Mapping Techniques için kapak resmi
Knowledge Cartography Software Tools and Mapping Techniques
Yazar 
Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6470-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Yazar 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Yazar 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings için kapak resmi
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Yazar 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings için kapak resmi
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Yazar 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings için kapak resmi
Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Yazar 
Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12241-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Yazar 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings için kapak resmi
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Yazar 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings için kapak resmi
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Yazar 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Software Project Management in a Changing World için kapak resmi
Software Project Management in a Changing World
Yazar 
Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55035-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Yazar 
Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05843-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings için kapak resmi
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Yazar 
Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44811-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
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 için kapak resmi
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Yazar 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Yazar 
Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Yazar 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Yazar 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers için kapak resmi
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Yazar 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
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 için kapak resmi
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Yazar 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
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 için kapak resmi
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings için kapak resmi
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Yazar 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Model-Driven Dependability Assessment of Software Systems için kapak resmi
Model-Driven Dependability Assessment of Software Systems
Yazar 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334812.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Transactions on Aspect-Oriented Software Development X için kapak resmi
Transactions on Aspect-Oriented Software Development X
Yazar 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334333.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung için kapak resmi
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Yazar 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337114.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34718-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Anpassung von Open-Source-Software in Anwenderunternehmen için kapak resmi
Anpassung von Open-Source-Software in Anwenderunternehmen
Yazar 
Keßler, Steffen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-01955-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
A Practical Introduction to Hardware/Software Codesign için kapak resmi
A Practical Introduction to Hardware/Software Codesign
Yazar 
Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331370.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
The Software Industry Economic Principles, Strategies, Perspectives için kapak resmi
The Software Industry Economic Principles, Strategies, Perspectives
Yazar 
Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333443.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31510-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Data Analysis in Management with SPSS Software için kapak resmi
Data Analysis in Management with SPSS Software
Yazar 
Verma, J.P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335463.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-81-322-0786-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT için kapak resmi
Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
Yazar 
Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(337594.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-00790-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement için kapak resmi
Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
Yazar 
Impekoven, Christoph. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-01182-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Multi-criteria decision analysis : methods and software için kapak resmi
Multi-criteria decision analysis : methods and software
Yazar 
Ishizaka, Alessio. Nemery, Philippe.
Yer Numarası 
T57.95 I84 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
92. 
Software project management : a process-driven approach için kapak resmi
Software project management : a process-driven approach
Yazar 
Ahmed, Ashfaque., author.
Yer Numarası 
QA76.76 .D47 A3965 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Enterprise software architecture and design entities, services, and resources için kapak resmi
Enterprise software architecture and design entities, services, and resources
Yazar 
Duggan, Dominic.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Games, Actions and Social Software Multidisciplinary Aspects için kapak resmi
Games, Actions and Social Software Multidisciplinary Aspects
Yazar 
Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29326-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Software Engineering Research, Management and Applications 2012 için kapak resmi
Software Engineering Research, Management and Applications 2012
Yazar 
Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30460-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Software Engineering Research,Management and Applications 2011 için kapak resmi
Software Engineering Research,Management and Applications 2011
Yazar 
Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23202-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Improving Software Testing Technical and Organizational Developments için kapak resmi
Improving Software Testing Technical and Organizational Developments
Yazar 
Majchrzak, Tim A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27464-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Transactions on Aspect-Oriented Software Development IX için kapak resmi
Transactions on Aspect-Oriented Software Development IX
Yazar 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Java software solutions : foundations of program design için kapak resmi
Java software solutions : foundations of program design
Yazar 
Lewis, John. Loftus, William. Abirami, S.
Yer Numarası 
QA76.73.J38 L49 2012
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
100. 
QuickBooks 2010 finance software for small business için kapak resmi
QuickBooks 2010 finance software for small business
Yazar 
Barich, Thomas E.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Aufwandsschätzungen in der Software- und Systementwicklung kompakt için kapak resmi
Aufwandsschätzungen in der Software- und Systementwicklung kompakt
Yazar 
Hummel, Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2752-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Clustering-Based Support for Software Architecture Restructuring için kapak resmi
Clustering-Based Support for Software Architecture Restructuring
Yazar 
Streekmann, Niels. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-8675-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Scientific Software Design The Object-Oriented Way için kapak resmi
Scientific Software Design The Object-Oriented Way
Yazar 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Transactions on Aspect-Oriented Software Development VIII için kapak resmi
Transactions on Aspect-Oriented Software Development VIII
Yazar 
Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22031-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Software Tools and Algorithms for Biological Systems için kapak resmi
Software Tools and Algorithms for Biological Systems
Yazar 
Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Innovation in China the Chinese software industry için kapak resmi
Innovation in China the Chinese software industry
Yazar 
Jui, Shang-Ling.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Usability Engineering kompakt Benutzbare Software gezielt entwickeln için kapak resmi
Usability Engineering kompakt Benutzbare Software gezielt entwickeln
Yazar 
Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2329-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung için kapak resmi
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Yazar 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2526-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software için kapak resmi
Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software
Yazar 
Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9661-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Software Engineering Research, Management and Applications 2010 için kapak resmi
Software Engineering Research, Management and Applications 2010
Yazar 
Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13273-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Innovations in Computing Sciences and Software Engineering için kapak resmi
Innovations in Computing Sciences and Software Engineering
Yazar 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9112-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Digitale Hardware/Software-Systeme Spezifikation und Verifikation için kapak resmi
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Yazar 
Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05356-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Advanced Ocean Modelling Using Open-Source Software için kapak resmi
Advanced Ocean Modelling Using Open-Source Software
Yazar 
Kämpf, Jochen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10610-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
A Practical Introduction to Hardware/Software Codesign için kapak resmi
A Practical Introduction to Hardware/Software Codesign
Yazar 
Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Composing Software Components A Software-testing Perspective için kapak resmi
Composing Software Components A Software-testing Perspective
Yazar 
Hamlet, Dick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Software error detection through testing and analysis için kapak resmi
Software error detection through testing and analysis
Yazar 
Huang, J. C., 1935-
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Experience and Knowledge Management in Software Engineering için kapak resmi
Experience and Knowledge Management in Software Engineering
Yazar 
Schneider, Kurt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-95880-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Software Engineering Research, Management and Applications 2009 için kapak resmi
Software Engineering Research, Management and Applications 2009
Yazar 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05441-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
An Approach to Modelling Software Evolution Processes için kapak resmi
An Approach to Modelling Software Evolution Processes
Yazar 
Li, Tong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79464-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Transactions on Aspect-Oriented Software Development V için kapak resmi
Transactions on Aspect-Oriented Software Development V
Yazar 
Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02059-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Software Architecture Knowledge Management Theory and Practice için kapak resmi
Software Architecture Knowledge Management Theory and Practice
Yazar 
Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02374-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
MIS cases : decision making with application software için kapak resmi
MIS cases : decision making with application software
Yazar 
Miller, M. Lisa.
Yer Numarası 
HD30.23 M55 2009
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
123. 
Software engineering foundations : a software science perspective için kapak resmi
Software engineering foundations : a software science perspective
Yazar 
Wang, Yingxu., author.
Yer Numarası 
QA76.758 .W375 2008
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Software maintenance management evaluation and continuous improvement için kapak resmi
Software maintenance management evaluation and continuous improvement
Yazar 
April, Alain, 1958- Abran, Alain, 1949-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Symbolic data analysis and the SODAS software için kapak resmi
Symbolic data analysis and the SODAS software
Yazar 
Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470723562
MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Baseband Analog Circuits for Software Defined Radio için kapak resmi
Baseband Analog Circuits for Software Defined Radio
Yazar 
Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Software for Data Analysis Programming with R için kapak resmi
Software for Data Analysis Programming with R
Yazar 
Chambers, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75936-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Knowledge Cartography Software Tools and Mapping Techniques için kapak resmi
Knowledge Cartography Software Tools and Mapping Techniques
Yazar 
Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-149-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Digitale Hardware/Software-Systeme Synthese und Optimierung için kapak resmi
Digitale Hardware/Software-Systeme Synthese und Optimierung
Yazar 
Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-46824-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Transactions on Aspect-Oriented Software Development IV için kapak resmi
Transactions on Aspect-Oriented Software Development IV
Yazar 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77042-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Transactions on Aspect-Oriented Software Development III için kapak resmi
Transactions on Aspect-Oriented Software Development III
Yazar 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75162-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Java software solutions : foundations of program design için kapak resmi
Java software solutions : foundations of program design
Yazar 
Lewis, John. Loftus, William, ort. yaz.
Yer Numarası 
QA76.73.J38 .L49 2007
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
133. 
Software specification and design : an engineering approach için kapak resmi
Software specification and design : an engineering approach
Yazar 
Munson, John C., author.
Yer Numarası 
QA76.76 .D47 M853 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Memory management for synthesis of DSP software için kapak resmi
Memory management for synthesis of DSP software
Yazar 
Murthy, Praveen K., 1969- author. Bhattacharyya, Shuvra S., 1968-
Yer Numarası 
TK5102.9 .M87 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
The economics of open source software development için kapak resmi
The economics of open source software development
Yazar 
Bitzer, Jürgen, 1970- Schröder, Philipp J. H.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444527691
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Ontologies for Software Engineering and Software Technology için kapak resmi
Ontologies for Software Engineering and Software Technology
Yazar 
Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-34518-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Ontologies for software engineering and software technology için kapak resmi
Ontologies for software engineering and software technology
Yazar 
Calero, Coral. Ruiz, Francisco. Piattini, Mario.
Yer Numarası 
QA76.9.D35 O57 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
138. 
Transactions on Aspect-Oriented Software Development I için kapak resmi
Transactions on Aspect-Oriented Software Development I
Yazar 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11687061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Eric Sink on the Business of Software için kapak resmi
Eric Sink on the Business of Software
Yazar 
Sink, Eric. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0143-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Transactions on Aspect-Oriented Software Development II için kapak resmi
Transactions on Aspect-Oriented Software Development II
Yazar 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11922827
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Model-driven software development : technology, engineering, management için kapak resmi
Model-driven software development : technology, engineering, management
Yazar 
Stahl, Thomas (Tom) Vèolter, Markus.
Yer Numarası 
QA76.76.D47 S697 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
142. 
Software evolution and feedback theory and practice için kapak resmi
Software evolution and feedback theory and practice
Yazar 
Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
John Wiley http://dx.doi.org/10.1002/0470871822
http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855
Books24x7 http://www.books24x7.com/marc.asp?bookid=9542
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Outsourcing software development offshore : making it work için kapak resmi
Outsourcing software development offshore : making it work
Yazar 
Gold, Tandy., author.
Yer Numarası 
QA76.76 .D47 G63 2005
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Perspectives on free and open source software için kapak resmi
Perspectives on free and open source software
Yazar 
Feller, Joseph, 1972-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Digital Synthesizers and Transmitters for Software Radio için kapak resmi
Digital Synthesizers and Transmitters for Software Radio
Yazar 
Vankka, Jouko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3195-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Hardware and computer organization the software perspective için kapak resmi
Hardware and computer organization the software perspective
Yazar 
Berger, Arnold S.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Software Project Secrets Why Software Projects Fail için kapak resmi
Software Project Secrets Why Software Projects Fail
Yazar 
Stepanek, George. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0055-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Software development failures anatomy of abandoned projects için kapak resmi
Software development failures anatomy of abandoned projects
Yazar 
Ewusi-Mensah, Kweku.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267255
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Global IT Outsourcing Software Development across Borders için kapak resmi
Global IT Outsourcing Software Development across Borders
Yazar 
Sahay, Sundeep. Nicholson, Brian. Krishna, S..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Dynamic software development : managing projects in flux için kapak resmi
Dynamic software development : managing projects in flux
Yazar 
Wells, Timothy D. CRC Press LLC.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429134074
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Computer architecture : software aspects, coding, and hardware için kapak resmi
Computer architecture : software aspects, coding, and hardware
Yazar 
Hsu, John Y., author.
Yer Numarası 
QA76.9 .A73 H758 2001
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Automated software testing : introduction, management, and performance için kapak resmi
Automated software testing : introduction, management, and performance
Yazar 
Dustin, Elfriede. Rashka, Jeff. Paul, John.
Yer Numarası 
QA76.76.T48 D87 1999
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
153. 
Adapted wavelet analysis from theory to software için kapak resmi
Adapted wavelet analysis from theory to software
Yazar 
Wickerhauser, Mladen Victor.
Yer Numarası 
QA403.3 W53 1994
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
154. 
Estimation and tracking : principles, techniques, and software için kapak resmi
Estimation and tracking : principles, techniques, and software
Yazar 
Bar-Shalom, Yaakov. Li, Xiao-Rong, ort. yaz.
Yer Numarası 
TK 6580 B32 1993
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
155. 
Microcomputer software for information management : case studies için kapak resmi
Microcomputer software for information management : case studies
Yazar 
Collier, M., ed.
Yer Numarası 
QA 76.9.D3 M54 1986
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
156. 
Software for roundoff analysis of matrix algorithms için kapak resmi
Software for roundoff analysis of matrix algorithms
Yazar 
Miller, Webb Wrathall, Celia, ort. yaz.
Yer Numarası 
QA 188 M54 1980 1.K
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
157. 
Software Agent-Based Applications, Platforms and Development Kits için kapak resmi
Software Agent-Based Applications, Platforms and Development Kits
Yazar 
Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137512
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Software defined radio baseband technologies for 3G handsets and basestations için kapak resmi
Software defined radio baseband technologies for 3G handsets and basestations
Yazar 
Tuttlebee, Wally H. W., 1953- John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0470867728
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003021216.html
Volltext http://proquest.tech.safaribooksonline.de/9780470867709
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Schaum's outline of theory and problems of software engineering için kapak resmi
Schaum's outline of theory and problems of software engineering
Yazar 
Gustafson, David A.
Yer Numarası 
QA76.758 G88 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
160. 
Software defined radio origins, drivers, and international perspectives için kapak resmi
Software defined radio origins, drivers, and international perspectives
Yazar 
Tuttlebee, Wally H. W., 1953-
Yer Numarası 
ONLINE
Elektronik Erişim 
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/48516093.html
John Wiley http://dx.doi.org/10.1002/0470846011
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
PIC microcontroller : an introduction to software and hardware interfacing için kapak resmi
PIC microcontroller : an introduction to software and hardware interfacing
Yazar 
Huang, Han-Way.
Yer Numarası 
TJ223.P76 H835 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
162. 
Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer için kapak resmi
Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer
Yazar 
Darche, Philippe.
Yer Numarası 
QA76.5
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Software Test Attacks to Break Mobile and Embedded Devices. için kapak resmi
Software Test Attacks to Break Mobile and Embedded Devices.
Yazar 
Hagar, Jon Duncan, author. CRC Press LLC.
Yer Numarası 
QA76.9 .A25 H343 2017
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429071911
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Software designers in action : a human-centric look at design work için kapak resmi
Software designers in action : a human-centric look at design work
Yazar 
Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.
Yer Numarası 
QA76.76 .D47 S6185 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development için kapak resmi
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Yazar 
Trendowicz, Adam. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30764-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
24 deadly sins of software security programming flaws and how to fix them için kapak resmi
24 deadly sins of software security programming flaws and how to fix them
Yazar 
Howard, Michael, 1965- LeBlanc, David, 1960- Viega, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Schaum's outline of theory and problems of software engineering için kapak resmi
Schaum's outline of theory and problems of software engineering
Yazar 
Gustafson, David A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016 için kapak resmi
MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016
Yazar 
Ramamurthy, Karthikeyan N. Spanias, Andreas.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu) için kapak resmi
Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)
Yazar 
Topal, Baran
Yer Numarası 
TEZ/8246 T673 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
170. 
The road map to software engineering a standards-based guide için kapak resmi
The road map to software engineering a standards-based guide
Yazar 
Moore, James W., 1948-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Practical support for ISO 9001 software project documentation using IEEE software engineering standards için kapak resmi
Practical support for ISO 9001 software project documentation using IEEE software engineering standards
Yazar 
Land, Susan K. Walz, John W. IEEE Computer Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Classic Lego mindstorms project and software tools award-winning designs from master builders için kapak resmi
Classic Lego mindstorms project and software tools award-winning designs from master builders
Yazar 
Ferrari, Mario.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781597490894
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003) için kapak resmi
Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)
Yazar 
Parallel CFD Conference (2003 : Moscow, Russia) Chetverushkin, B. N. (Boris Nikolaevich)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516121
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site için kapak resmi
Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site
Yazar 
Kavaklı, Nevzat
Yer Numarası 
TEZ/8333 .K383 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
175. 
Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001 için kapak resmi
Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001
Yazar 
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.
Yer Numarası 
QA 76.758 A345 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
176. 
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada için kapak resmi
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Yazar 
International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.
Yer Numarası 
QA 76.6 P941 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
177. 
Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering için kapak resmi
Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering
Yazar 
Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark için kapak resmi
Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark
Yazar 
International Symposium on Hardware/Software Codesign (9th : 2001 : Copenhagen, Denmark) ACM Special Interest Group on Design Automation.
Yer Numarası 
QA 76.9 S88 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
179. 
Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988 için kapak resmi
Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988
Yazar 
IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw ; (1988 : Poland) Zalewski, J., ed. Ehrenberger, W., ed.
Yer Numarası 
TS 156.9 I35 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
180. 
Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976 için kapak resmi
Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976
Yazar 
Symposium on Computer software Engineering, New York, 1976.
Yer Numarası 
QA 76.6 S919 1976
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
181. 
Practical software project estimation a toolkit for estimating software development effort & duration için kapak resmi
Practical software project estimation a toolkit for estimating software development effort & duration
Yazar 
Hill, Peter R. International Software Benchmarking Standards Group.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Real-world software projects for computer science and engineering students için kapak resmi
Real-world software projects for computer science and engineering students
Yazar 
Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Yer Numarası 
QA76.6 .G86 2021
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003119883
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control. için kapak resmi
GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.
Yazar 
SETHI, V.P.
Yer Numarası 
SB415
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003481126
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Directory of library automation software, systems, and services. için kapak resmi
Directory of library automation software, systems, and services.
Yazar 
Cibbarelli, Pamela R., ed. Information Today, Inc.
Yer Numarası 
Z678.9.A3 D6
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
185. 
INTEGRATING HUMAN AND ARTIFICIAL INTELLIGENCE software in the age of AI. için kapak resmi
INTEGRATING HUMAN AND ARTIFICIAL INTELLIGENCE software in the age of AI.
Yazar 
Reed, Stephen K.
Yer Numarası 
TA167
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003632351
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
A Comprehensive Guide to HSMM Theory, Software, and Advanced Extensions. için kapak resmi
A Comprehensive Guide to HSMM Theory, Software, and Advanced Extensions.
Yazar 
Peyrard, Nathalie. de Saporta, Benoîte.
Yer Numarası 
XX(600386.1)
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394427581
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Taking testing seriously : the rapid software testing approach için kapak resmi
Taking testing seriously : the rapid software testing approach
Yazar 
Bach, James, author. Bolton, Michael, author.
Yer Numarası 
QA76.76 .T48 B33 2026
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319749
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems için kapak resmi
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Yazar 
Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process. için kapak resmi
EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.
Yazar 
QUAYE, RODNEY.
Yer Numarası 
QA76.76 .V54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003502784
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams için kapak resmi
Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams
Yazar 
Sedano, Todd, author. Ralph, Paul, author
Yer Numarası 
QA76.76 .D47 S425 2025 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598039
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Strategic software quality management : how to incorporate sustainable continuous improvement practices için kapak resmi
Strategic software quality management : how to incorporate sustainable continuous improvement practices
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Securing the digital realm : advances in hardware and software security, communication, and forensics için kapak resmi
Securing the digital realm : advances in hardware and software security, communication, and forensics
Yazar 
Arif, Muhammad (Computer scientist), editor. Jaffar, M. Arfan, editor. Geman, Oana, editor. Abbasi, Waseem, editor.
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003497851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Software-defined infrastructure : a novel concept of advanced network infrastructure için kapak resmi
Software-defined infrastructure : a novel concept of advanced network infrastructure
Yazar 
Chu, Tran-Tuan, author.
Yer Numarası 
TK5105.5833 .C48 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388608
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Permutation tests for complex data : theory, applications and software için kapak resmi
Permutation tests for complex data : theory, applications and software
Yazar 
Pesarin, Fortunato, author. Salmaso, Luigi, author.
Yer Numarası 
QA277 .P374 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119438199
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects için kapak resmi
Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects
Yazar 
Wooldridge, Kevin, author. Ashurst, Stephen, author.
Yer Numarası 
HF5548.2
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003372660
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity için kapak resmi
A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity
Yazar 
Iannacci, Jacopo, author.
Yer Numarası 
TK5103.252
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003494928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python. için kapak resmi
SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.
Yazar 
Wilson, Greg, 1963- author.
Yer Numarası 
QA76.76 .P37
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032725239
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software. için kapak resmi
COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.
Yazar 
Long, Stephen I.
Yer Numarası 
TK7874.78
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032629773
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Quantum service-oriented computing : a proposal for quantum software as a service için kapak resmi
Quantum service-oriented computing : a proposal for quantum software as a service
Yazar 
Romero-Álvarez, Javier, author. Alvarado-Valiente, Jaime, author. Moguel, Enrique, author. Garcia-Alonso, José, author. Murillo, Juan M., author.
Yer Numarası 
QA76.889
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9788770046336
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Embedded software system testing : automatic testing solution based on formal method için kapak resmi
Embedded software system testing : automatic testing solution based on formal method
Yazar 
Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Yer Numarası 
TK7895 .E42
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS için kapak resmi
MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS
Yazar 
O'Brien, Wayne.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003448891
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS için kapak resmi
WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS
Yazar 
Cosgriff, Philip. Memmott, Matthew.
Yer Numarası 
R858
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003301202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
x86 software reverse-engineering, cracking, and counter-measures için kapak resmi
x86 software reverse-engineering, cracking, and counter-measures
Yazar 
Domas, Stephanie, author. Domas, Christopher, author.
Yer Numarası 
QA76.9 .A25 D66 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations için kapak resmi
Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations
Yazar 
Hasenauer, Rainer, author. Yu, Oliver S., author.
Yer Numarası 
HD45 .H34345 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119837756
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem. için kapak resmi
RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.
Yazar 
Bannert, Mattias.
Yer Numarası 
Q180.55 .E4
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003286899
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1 için kapak resmi
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21435-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter için kapak resmi
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
Yazar 
Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26135-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2 için kapak resmi
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21438-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra için kapak resmi
Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra
Yazar 
Shah, Nimish. author. Meert, Wannes. author. Verhelst, Marian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33136-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) için kapak resmi
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Yazar 
Barolli, Leonard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Ambient Intelligence-Software and Applications-13th International Symposium on Ambient Intelligence için kapak resmi
Ambient Intelligence-Software and Applications-13th International Symposium on Ambient Intelligence
Yazar 
Julián, Vicente. editor. (orcid)0000-0002-2743-6037 Carneiro, João. editor. Alonso, Ricardo S. editor. (orcid)0000-0002-6599-0186 Chamoso, Pablo. editor. Novais, Paulo. editor. (orcid)0000-0002-3549-0754
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22356-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022) için kapak resmi
New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022)
Yazar 
Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Hernández-Nava, Víctor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-20322-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence için kapak resmi
Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence
Yazar 
Novais, Paulo. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 Hornos, Miguel J. editor. Satoh, Ichiro. editor. Carneiro, Davide. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43461-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Communication, Software and Networks Proceedings of INDIA 2022 için kapak resmi
Communication, Software and Networks Proceedings of INDIA 2022
Yazar 
Bhateja, Vikrant. editor. Mohanty, Jnyana Ranjan. editor. Flores Fuentes, Wendy. editor. Maharatna, Koushik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4990-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
HARDWARE, SOFTWARE, HEARTWARE digital twinning for more sustainable built environments. için kapak resmi
HARDWARE, SOFTWARE, HEARTWARE digital twinning for more sustainable built environments.
Yazar 
Pomeroy, Jason.
Yer Numarası 
HT166
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437765
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES için kapak resmi
SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES
Yazar 
Misra, Sanjay. Jain, Amit. Kaushik, Manju. Banerjee, Chitresh.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003441601
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Implementing enterprise cybersecurity with open-source software and standard architecture. Volume II için kapak resmi
Implementing enterprise cybersecurity with open-source software and standard architecture. Volume II
Yazar 
Handa, Anand, editor. Negi, Rohit, editor. Venkatesan, S., editor. Shukla, Sandeep K., editor.
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003426134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
A Software Development Approach for Driving Competitiveness in Small Firms için kapak resmi
A Software Development Approach for Driving Competitiveness in Small Firms
Yazar 
Chevers, Delroy A., author.
Yer Numarası 
HD2341
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Medical-Grade Software Development How to Build Medical-Device Products That Meet the Requirements of IEC 62304 and ISO 13485. için kapak resmi
Medical-Grade Software Development How to Build Medical-Device Products That Meet the Requirements of IEC 62304 and ISO 13485.
Yazar 
Juuso, Ilkka. Pöyhönen, Ilpo.
Yer Numarası 
R856.6
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003454830
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Multi-criteria decision models in software reliability : methods and applications için kapak resmi
Multi-criteria decision models in software reliability : methods and applications
Yazar 
Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Yer Numarası 
QA76.76 .R44 M85 2023
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings
Yazar 
Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33976-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines için kapak resmi
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Yazar 
Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-11686-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General için kapak resmi
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
Yazar 
Stølen, Ketil. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25817-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I için kapak resmi
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Yazar 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42307-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization için kapak resmi
Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Yazar 
Parsa, Saeed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22057-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms için kapak resmi
Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Yazar 
Ball, Rafael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-38826-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II için kapak resmi
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
Yazar 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42310-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers için kapak resmi
Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Yazar 
Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-37231-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques için kapak resmi
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
Yazar 
Hu, Chenglie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28311-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Concise Guide to Software Verification From Model Checking to Annotation Checking için kapak resmi
Concise Guide to Software Verification From Model Checking to Annotation Checking
Yazar 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Mathematical Foundations of Software Engineering A Practical Guide to Essentials için kapak resmi
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering için kapak resmi
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Yazar 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences için kapak resmi
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Yazar 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
UML-Based Software Product Line Engineering with SMarty için kapak resmi
UML-Based Software Product Line Engineering with SMarty
Yazar 
OliveiraJr, Edson. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-18556-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Development of Safety-Critical Systems Architecture and Software için kapak resmi
Development of Safety-Critical Systems Architecture and Software
Yazar 
Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27901-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Yazar 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Yazar 
Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Yazar 
Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers için kapak resmi
Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
Yazar 
Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48639-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science için kapak resmi
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
Yazar 
Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29046-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 için kapak resmi
Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022
Yazar 
Virvou, Maria. editor. Saruwatari, Takuya. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-17583-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022 için kapak resmi
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Yazar 
Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-6791-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products için kapak resmi
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
Yazar 
Atem de Carvalho, Rogerio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-08893-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023 için kapak resmi
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
Yazar 
Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7783-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings için kapak resmi
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Yazar 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022) için kapak resmi
Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022)
Yazar 
Kiefl, Niklas. editor. Wulle, Frederik. editor. Ackermann, Clemens. editor. Holder, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27933-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1 için kapak resmi
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35311-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing için kapak resmi
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Yazar 
Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-19604-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science için kapak resmi
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
Yazar 
Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26384-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach için kapak resmi
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Yazar 
Snider, Ross K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-15416-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers için kapak resmi
Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Yazar 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38821-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings için kapak resmi
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Yazar 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Yazar 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Optimising the Software Development Process with Artificial Intelligence için kapak resmi
Optimising the Software Development Process with Artificial Intelligence
Yazar 
Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-9948-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings için kapak resmi
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Yazar 
Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings için kapak resmi
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Yazar 
Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36757-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings için kapak resmi
Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Yazar 
Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31488-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Wies, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings için kapak resmi
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Yazar 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers için kapak resmi
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Yazar 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings için kapak resmi
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Yazar 
Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42592-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings için kapak resmi
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Yazar 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers için kapak resmi
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Yazar 
Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings için kapak resmi
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Yazar 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings için kapak resmi
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Yazar 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
What every engineer should know about software engineering için kapak resmi
What every engineer should know about software engineering
Yazar 
Laplante, Phillip A., author. Kassab, Mohamad, author.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003218647
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Introduction to convective heat transfer : a software-based approach using MAPLE and MATLAB için kapak resmi
Introduction to convective heat transfer : a software-based approach using MAPLE and MATLAB
Yazar 
Onur, Nevzat, 1950- author.
Yer Numarası 
QC327 .O58 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119766797
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure için kapak resmi
Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure
Yazar 
Nwodo, Adora.
Yer Numarası 
QA76.58 .N86 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Handbook of software fault localization : foundations and advances için kapak resmi
Handbook of software fault localization : foundations and advances
Yazar 
Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Yer Numarası 
QA76.76 .F34 H36 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Software design by example : a tool-based introduction with JavaScript için kapak resmi
Software design by example : a tool-based introduction with JavaScript
Yazar 
Wilson, Greg, 1963- author.
Yer Numarası 
QA76.76 .P37
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003317807
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Software engineering for automotive systems : principles and applications için kapak resmi
Software engineering for automotive systems : principles and applications
Yazar 
Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Yer Numarası 
TL272.53
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003269908
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Learning GIS using open source software : an applied guide for geo-spatial analysis için kapak resmi
Learning GIS using open source software : an applied guide for geo-spatial analysis
Yazar 
Saha, Kakoli, author. Frøyen, Yngve K., author.
Yer Numarası 
G70.212 .S267 2022
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003056928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Software-defined networking for future internet technology : concepts and applications için kapak resmi
Software-defined networking for future internet technology : concepts and applications
Yazar 
Sahoo, Kshira Sagar, editor. Sahoo, Bibhudatta, 1967- editor. Mishra, Brojo Kishore, 1979- editor.
Yer Numarası 
TK5105.5833 .S64 2022
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003145721
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Applied mathematics with open-source software : operational research problems with Python and R için kapak resmi
Applied mathematics with open-source software : operational research problems with Python and R
Yazar 
Knight, Vincent (Vincent A.), author. Palmer, Geraint, author.
Yer Numarası 
T57.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/e/9780429328534
Taylor & Francis https://www.taylorfrancis.com/books/9780429328534
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Properties for design of composite structures : theory and implementation using software için kapak resmi
Properties for design of composite structures : theory and implementation using software
Yazar 
McCartney, Neil, author.
Yer Numarası 
TA418.9 .C6 M3495 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118789797
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue için kapak resmi
Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue
Yazar 
Coker, A. Kayode, author. Sotudeh-Gharebagh, Rahmat, 1964- author.
Yer Numarası 
TP155.7
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119871163
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Software-defined networking : extending SDN control to large-scale networks için kapak resmi
Software-defined networking : extending SDN control to large-scale networks
Yazar 
Bannour, Fetia, author. Souihi, Sami, author. Mellouk, Abdelhamid, author.
Yer Numarası 
TK5105.5833 .B36 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186181
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams. için kapak resmi
REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams.
Yazar 
Qu, Zhengping.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003160496
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Liberalised India, politicised middle class and software professionals için kapak resmi
Liberalised India, politicised middle class and software professionals
Yazar 
Srivastava, Anshu, author.
Yer Numarası 
HT690 .I4
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429274602
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Health Tech Rebooting Society's Software, Hardware and Mindset. için kapak resmi
Health Tech Rebooting Society's Software, Hardware and Mindset.
Yazar 
Undheim, Trond Arne.
Yer Numarası 
RA425
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003178071
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Software-defined wide area network architectures and technologies için kapak resmi
Software-defined wide area network architectures and technologies
Yazar 
Sheng, Cheng, author.
Yer Numarası 
TK5105.5833
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003144038
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Computational intelligence techniques and their applications to software engineering problems için kapak resmi
Computational intelligence techniques and their applications to software engineering problems
Yazar 
Bansal, Ankita, editor.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003079996
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Implementing enterprise cybersecurity with open-source software and standard architecture için kapak resmi
Implementing enterprise cybersecurity with open-source software and standard architecture
Yazar 
Handa, Anand, editor. Negi, Rohit, editor. Shukla, Sandeep K., editor.
Yer Numarası 
QA76.9 .A25 I47 2021 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003338512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts. için kapak resmi
Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.
Yazar 
Gupta, V. (Varun) Gupta, Chetna.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003168393
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Mapping, monitoring, and modeling land and water resources : advanced techniques using open source software için kapak resmi
Mapping, monitoring, and modeling land and water resources : advanced techniques using open source software
Yazar 
Shit, Pravat Kumar, editor. Das, Pulakesh, editor. Bhunia, Gouri Sankar, editor. Dutta, Dipanwita, editor.
Yer Numarası 
QH541.15 .M64
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003181293
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Software Engineering A Methodical Approach, 2nd Edition. için kapak resmi
Software Engineering A Methodical Approach, 2nd Edition.
Yazar 
Foster, Elvis C.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780367746025
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar için kapak resmi
Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar
Yazar 
Erdebilli, Babek.
Yer Numarası 
HD30.23 B953 2021
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
293. 
Research Software Engineering with Python : Building software that makes research possible. için kapak resmi
Research Software Engineering with Python : Building software that makes research possible.
Yazar 
Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte
Yer Numarası 
Q180.55 .E4
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003143482
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Building secure cars : assuring the automotive software development lifecycle için kapak resmi
Building secure cars : assuring the automotive software development lifecycle
Yazar 
Oka, Dennis Kengo, author.
Yer Numarası 
TL272.53 .O42 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
An introduction to self-adaptive systems : a contemporary software engineering perspective için kapak resmi
An introduction to self-adaptive systems : a contemporary software engineering perspective
Yazar 
Weyns, Danny.
Yer Numarası 
QA76.76 .S375
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Deep learning for remote sensing images with open source software için kapak resmi
Deep learning for remote sensing images with open source software
Yazar 
Cresson, Rémi, author.
Yer Numarası 
G70.4 .C75 2020
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003020851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Software networks : virtualization, SDN, 5G and security için kapak resmi
Software networks : virtualization, SDN, 5G and security
Yazar 
Pujolle, G., 1949- author.
Yer Numarası 
TK5105.5
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119694748
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Data plane development kit : a software optimization guide to the user space-based network applications için kapak resmi
Data plane development kit : a software optimization guide to the user space-based network applications
Yazar 
Zhu, Heqing, editor.
Yer Numarası 
QA76.76 .O62
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429353512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Interdisciplinary approaches to information systems and software engineering için kapak resmi
Interdisciplinary approaches to information systems and software engineering
Yazar 
Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Integrating the internet of things into software engineering practices için kapak resmi
Integrating the internet of things into software engineering practices
Yazar 
Mala, D. Jeya, 1974- editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç