Arama Sonuçları Systems software. - Daraltılmış: English

Evolving Software Systems

2025-12-11T16:50:00Z

Yazar Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-45398-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Systems Traceability

2025-12-11T16:50:00Z

Yazar Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification of Software Systems

2025-12-11T16:50:00Z

Yazar Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting secure software systems

2025-12-11T16:50:00Z

Yazar Talukder, Asoke K., author. Chaitanya, Manish.
Yer Numarası QA76.9 .A25 T34 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic-Based Software Systems

2025-12-11T16:50:00Z

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

Software and systems architecture in action

2025-12-11T16:50:00Z

Yazar Sangwan, Raghvinder S., author.
Yer Numarası QA76.9 .A73 S29 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Recommendation Systems in Software Engineering

2025-12-11T16:50:00Z

Yazar Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-45135-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gröbner Bases Statistics and Software Systems

2025-12-11T16:50:00Z

Yazar Hibi, Takayuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335439.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54574-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded systems hardware for software engineers

2025-12-11T16:50:00Z

Yazar Lipiansky, Ed.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded systems hardware for software engineers

2025-12-11T16:50:00Z

Yazar Lipiansky, Ed.
Yer Numarası TK7895.E42 L56 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering for Self-Adaptive Systems

2025-12-11T16:50:00Z

Yazar Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked RFID Systems, Software and Services

2025-12-11T16:50:00Z

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

Software engineering for image processing systems

2025-12-11T16:50:00Z

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

Digital control systems : theory, hardware, software

2025-12-11T16:50:00Z

Yazar Houpis, Constantine H. Lamont, G. B., ort. yaz.
Yer Numarası TJ 223.M53 H68 1985
Format: Kitap
Durum Beytepe Kütüphanesi~1

Developing Sustainable and Energy-Efficient Software Systems

2025-12-11T16:50:00Z

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

Model-Driven Dependability Assessment of Software Systems

2025-12-11T16:50:00Z

Yazar Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası ONLINE(334812.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Tools and Algorithms for Biological Systems

2025-12-11T16:50:00Z

Yazar Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Directory of library automation software, systems, and services.

2025-12-11T16:50:00Z

Yazar Cibbarelli, Pamela R., ed. Information Today, Inc.
Yer Numarası Z678.9.A3 D6
Format: Kitap
Durum Beytepe Kütüphanesi~1

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

2025-12-11T16:50:00Z

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

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

2025-12-11T16:50:00Z

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

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

2025-12-11T16:50:00Z

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

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

2025-12-11T16:50:00Z

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

Development of Safety-Critical Systems Architecture and Software

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

2025-12-11T16:50:00Z

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

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2025-12-11T16:50:00Z

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

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022

2025-12-11T16:50:00Z

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

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2025-12-11T16:50:00Z

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

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

2025-12-11T16:50:00Z

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

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16874-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2025-12-11T16:50:00Z

Yazar Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2185-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-12-11T16:50:00Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17184-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Systems and Software Engineering State of the Art and Future Trends

2025-12-11T16:50:00Z

Yazar Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12157-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interdisciplinary approaches to information systems and software engineering

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31280-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2025-12-11T16:50:00Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17465-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17601-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2025-12-11T16:50:00Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17462-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22888-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02928-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

2025-12-11T16:50:00Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71440-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

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

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2025-12-11T16:50:00Z

Yazar Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97925-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2025-12-11T16:50:00Z

Yazar Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92375-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2025-12-11T16:50:00Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89960-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2025-12-11T16:50:00Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89963-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2025-12-11T16:50:00Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

2025-12-11T16:50:00Z

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

Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

2025-12-11T16:50:00Z

Yazar Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94496-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2025-12-11T16:50:00Z

Yazar Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61455-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1

2025-12-11T16:50:00Z

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

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99927-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

2025-12-11T16:50:00Z

Yazar Griffor, Edward R., editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128037737
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environment modeling-based requirements engineering for software intensive systems.

2025-12-11T16:50:00Z

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

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings

2025-12-11T16:50:00Z

Yazar Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15994-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

2025-12-11T16:50:00Z

Yazar O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24647-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

2025-12-11T16:50:00Z

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

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25945-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2025-12-11T16:50:00Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18473-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2025-12-11T16:50:00Z

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

Model-Integrating Software Components Engineering Flexible Software Systems

2025-12-11T16:50:00Z

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

Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers

2025-12-11T16:50:00Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2025-12-11T16:50:00Z

Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16310-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology

2025-12-11T16:50:00Z

Yazar Feigenbaum, Thomas D., author
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9780128051016
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification

2025-12-11T16:50:00Z

Yazar Larrieu, Nicolas, author. Varet, Antoine, author.
Yer Numarası ONLINE(342171.1)
Elektronik Erişim ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781119050643
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-11T16:50:00Z

Yazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54862-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07317-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44857-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2025-12-11T16:50:00Z

Yazar Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2025-12-11T16:50:00Z

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

Embedded and networking systems : design, software, and implementation

2025-12-11T16:50:00Z

Yazar Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.
Yer Numarası TK7895 .E42 E535 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2025-12-11T16:50:00Z

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

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2025-12-11T16:50:00Z

Yazar Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-55128-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Software Thermal Management for Embedded Systems

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

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

Software 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

2025-12-11T16:50:00Z

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

Design Science Methodology for Information Systems and Software Engineering

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03602-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-11T16:50:00Z

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

Systems and Software Quality The next step for industrialisation

2025-12-11T16:50:00Z

Yazar Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-39971-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-11T16:50:00Z

Yazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334348.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2025-12-11T16:50:00Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333015.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-04166-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334688.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

2025-12-11T16:50:00Z

Yazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41151-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2025-12-11T16:50:00Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2025-12-11T16:50:00Z

Yazar Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Yer Numarası ONLINE(336495.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-92-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-11T16:50:00Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2025-12-11T16:50:00Z

Yazar McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334744.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39179-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data

2025-12-11T16:50:00Z

Yazar Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336020.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5618-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2025-12-11T16:50:00Z

Yazar Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2025-12-11T16:50:00Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334236.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems and Software Variability Management Concepts, Tools and Experiences

2025-12-11T16:50:00Z

Yazar Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334240.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

2025-12-11T16:50:00Z

Yazar Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.
Yer Numarası ONLINE(335170.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-44930-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335198.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

2025-12-11T16:50:00Z

Yazar Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31199-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2025-12-11T16:50:00Z

Yazar Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28756-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2025-12-11T16:50:00Z

Yazar Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28869-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

2025-12-11T16:50:00Z

Yazar Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29216-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Avgeriou, Paris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2025-12-11T16:50:00Z

Yazar Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded systems security practical methods for safe and secure software and systems development

2025-12-11T16:50:00Z

Yazar Kleidermacher, David. Kleidermacher, Mike.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123868862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35731-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20401-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23583-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2025-12-11T16:50:00Z

Yazar Barthe, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19718-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2025-12-11T16:50:00Z

Yazar Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support

2025-12-11T16:50:00Z

Yazar Borutzky, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9368-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

2025-12-11T16:50:00Z

Yazar Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design patterns for embedded systems in C an embedded software engineering toolkit

2025-12-11T16:50:00Z

Yazar Douglass, Bruce Powel.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781856177078
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledge

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19125-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16256-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

2025-12-11T16:50:00Z

Yazar O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22206-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

2025-12-11T16:50:00Z

Yazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22285-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24124-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

2025-12-11T16:50:00Z

Yazar Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

2025-12-11T16:50:00Z

Yazar Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11528-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16416-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2025-12-11T16:50:00Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15666-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16496-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Systems On-Chip: Practical Software/Hardware Design

2025-12-11T16:50:00Z

Yazar Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-33-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Gordon, Andrew D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11957-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12002-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings

2025-12-11T16:50:00Z

Yazar Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13244-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing Business Application Systems On the Specification and Selection of Software Components and Services

2025-12-11T16:50:00Z

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

Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment

2025-12-11T16:50:00Z

Yazar Allocco, Michael.
Yer Numarası TA169.7 A45 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

The architecture of computer hardware, systems software, and networking : an information technology approach

2025-12-11T16:50:00Z

Yazar Englander, Irv.
Yer Numarası QA76.5 E54 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2025-12-11T16:50:00Z

Yazar Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

2025-12-11T16:50:00Z

Yazar Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10265-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2025-12-11T16:50:00Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2025-12-11T16:50:00Z

Yazar Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2025-12-11T16:50:00Z

Yazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling systems : practical tools and techniques in software development

2025-12-11T16:50:00Z

Yazar Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.
Yer Numarası QA76.76 .D47 F59 2009
Elektronik Erişim https://doi.org/10.1017/CBO9780511626975
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting software intensive systems : a practitioner's guide

2025-12-11T16:50:00Z

Yazar Lattanze, Anthony J., author.
Yer Numarası QA76.758 .L3285 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-12-11T16:50:00Z

Yazar Drossopoulou, Sophia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Making of Information Systems Software Engineering and Management in a Globalized World

2025-12-11T16:50:00Z

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

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2025-12-11T16:50:00Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

2025-12-11T16:50:00Z

Yazar Mei, Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68073-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-12-11T16:50:00Z

Yazar Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

2025-12-11T16:50:00Z

Yazar Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87785-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2025-12-11T16:50:00Z

Yazar Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and verification of real-time systems formalisms and software tools

2025-12-11T16:50:00Z

Yazar Merz, Stephan. Navet, Nicolas.
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643 John Wiley http://dx.doi.org/10.1002/9780470611012 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software development for embedded multi-core systems a practical guide using embedded Intel architecture

2025-12-11T16:50:00Z

Yazar Domeika, Max.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750685399
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-12-11T16:50:00Z

Yazar Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-12-11T16:50:00Z

Yazar Nicola, Rocco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2025-12-11T16:50:00Z

Yazar Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

2025-12-11T16:50:00Z

Yazar Arslan, Hüseyin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5542-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2025-12-11T16:50:00Z

Yazar Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6264-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2025-12-11T16:50:00Z

Yazar Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2025-12-11T16:50:00Z

Yazar Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757283
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2025-12-11T16:50:00Z

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

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2025-12-11T16:50:00Z

Yazar Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34226-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2025-12-11T16:50:00Z

Yazar Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5263-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2025-12-11T16:50:00Z

Yazar Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11691372
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-12-11T16:50:00Z

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

Software Engineering 2 Specification of Systems and Languages

2025-12-11T16:50:00Z

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

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

2025-12-11T16:50:00Z

Yazar Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11738817
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2025-12-11T16:50:00Z

Yazar Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11808107
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DSP software development techniques for embedded and real-time systems

2025-12-11T16:50:00Z

Yazar Oshana, Robert.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750677592
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

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

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2025-12-11T16:50:00Z

Yazar Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106390
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2025-12-11T16:50:00Z

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

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2025-12-11T16:50:00Z

Yazar Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11599555
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System-level Test and Validation of Hardware/Software Systems

2025-12-11T16:50:00Z

Yazar Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-145-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

2025-12-11T16:50:00Z

Yazar Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105900
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2025-12-11T16:50:00Z

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

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11535409
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106347
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2025-12-11T16:50:00Z

Yazar Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107194
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2025-12-11T16:50:00Z

Yazar Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135888
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3532-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust communications software : extreme availability, reliability and scalability for carrier-grade systems

2025-12-11T16:50:00Z

Yazar Utas, Greg.
Yer Numarası TK5105.9 U83 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

2025-12-11T16:50:00Z

Yazar Gilb, Tom. Brodie, Lindsey.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750665070
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust communications software extreme availability, reliability and scalability for carrier-grade systems

2025-12-11T16:50:00Z

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

Process-aware information systems bridging people and software through process technology

2025-12-11T16:50:00Z

Yazar Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html John Wiley http://dx.doi.org/10.1002/0471741442
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Flexible Software Design : Systems Development for Changing Requirements.

2025-12-11T16:50:00Z

Yazar Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Yer Numarası QA76.9 .S88
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429117053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ISO 9001:2000 for software and systems providers : an engineering approach

2025-12-11T16:50:00Z

Yazar Bamford, Robert., author. Deibler, William J.
Yer Numarası TS156.6 .B36 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software radio architecture object-oriented approaches to wireless systems engineering

2025-12-11T16:50:00Z

Yazar Mitola, Joseph.
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?isbn=0471384925 Books24x7 http://www.books24x7.com/marc.asp?bookid=2561 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=152062 MyiLibrary, Table of contents http://www.myilibrary.com?id=36742&ref=toc John Wiley http://dx.doi.org/10.1002/047121664X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Investigating biological systems using modeling : strategies and software

2025-12-11T16:50:00Z

Yazar Wastney, Meryl E., ort. yaz.
Yer Numarası QH 323.5 I5675 1999
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Investigating biological systems using modeling strategies and software

2025-12-11T16:50:00Z

Yazar Wastney, Meryl E.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780080926452
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software psychology : human factors in computer and information systems

2025-12-11T16:50:00Z

Yazar Shneiderman, Ben.
Yer Numarası QA 76.6 S543 1980
Format: Kitap
Durum Beytepe Kütüphanesi~1

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

2025-12-11T16:50:00Z

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

Recent Advances in Data and Algorithms for e-Government

2025-12-11T16:50:00Z

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

Autonomy Requirements Engineering for Space Missions

2025-12-11T16:50:00Z

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

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

2025-12-11T16:50:00Z

Yazar Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105417
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Web: Concepts, Technologies and Applications

2025-12-11T16:50:00Z

Yazar Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Technology from a Formal Perspective

2025-12-11T16:50:00Z

Yazar Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-271-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging the wisdom of the crowd in software testing

2025-12-11T16:50:00Z

Yazar Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Yer Numarası QA76.76 .T48 S53 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Aligning Organizations Through Measurement The GQM+Strategies Approach

2025-12-11T16:50:00Z

Yazar Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05047-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

Yazar Trendowicz, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE(333358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Definition and Management

2025-12-11T16:50:00Z

Yazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information security management handbook

2025-12-11T16:50:00Z

Yazar Tipton, Harold F. Krause, Micki.
Yer Numarası QA76.9 .A25 I54165 2003
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43366-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings

2025-12-11T16:50:00Z

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

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Predictive Analytics in System Reliability

2025-12-11T16:50:00Z

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

Applications in Electronics and Computing Systems Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022

2025-12-11T16:50:00Z

Yazar Dantsevich, Igor. editor. Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20631-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)

2025-12-11T16:50:00Z

Yazar Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9205-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022

2025-12-11T16:50:00Z

Yazar Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5974-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explainable AI for Cybersecurity

2025-12-11T16:50:00Z

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

Dependable Computer Systems and Networks Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3-7, 2023, Brunów, Poland

2025-12-11T16:50:00Z

Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37720-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29956-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

2025-12-11T16:50:00Z

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

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2025-12-11T16:50:00Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30445-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V

2025-12-11T16:50:00Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37117-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II

2025-12-11T16:50:00Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36808-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

2025-12-11T16:50:00Z

Yazar Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8085-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

2025-12-11T16:50:00Z

Yazar Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8088-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2025-12-11T16:50:00Z

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

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

2025-12-11T16:50:00Z

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

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2025-12-11T16:50:00Z

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

Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)

2025-12-11T16:50:00Z

Yazar Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6755-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Hardware Accelerators

2025-12-11T16:50:00Z

Yazar Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-22170-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medical Devices and In Vitro Diagnostics Requirements in Europe

2025-12-11T16:50:00Z

Yazar Baumgartner, Christian. editor. Harer, Johann. editor. Schröttner, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-22091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology for Education, Science, and Technics Proceedings of ITEST 2022

2025-12-11T16:50:00Z

Yazar Faure, Emil. editor. Danchenko, Olena. editor. Bondarenko, Maksym. editor. Tryus, Yurii. editor. Bazilo, Constantine. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35467-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Information Technology and Applications ICITA 2022

2025-12-11T16:50:00Z

Yazar Anwar, Sajid. editor. Ullah, Abrar. editor. Rocha, Álvaro. editor. Sousa, Maria José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9331-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

2025-12-11T16:50:00Z

Yazar Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-22311-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions

2025-12-11T16:50:00Z

Yazar Iwendi, Celestine. editor. Boulouard, Zakaria. editor. (orcid)0000-0002-4891-3760 Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37164-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving Fault Diagnosis Problems Linear Synthesis Techniques with Julia Code Examples

2025-12-11T16:50:00Z

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

Springer Handbook of Augmented Reality

2025-12-11T16:50:00Z

Yazar Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-67822-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

2025-12-11T16:50:00Z

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

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25648-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

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

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2025-12-11T16:50:00Z

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

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reference Architectures for Critical Domains Industrial Uses and Impacts

2025-12-11T16:50:00Z

Yazar Nakagawa, Elisa Yumi. editor. Oliveira Antonino, Pablo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-16957-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Engineering of Batteries

2025-12-11T16:50:00Z

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

Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World

2025-12-11T16:50:00Z

Yazar Visvizi, Anna. editor. Troisi, Orlando. editor. Grimaldi, Mara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-19560-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

2025-12-11T16:50:00Z

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

Understanding Analog Side Channels Using Cryptography Algorithms

2025-12-11T16:50:00Z

Yazar Zajić, Alenka. author. Prvulovic, Milos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-38579-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

2025-12-11T16:50:00Z

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

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

2025-12-11T16:50:00Z

Yazar Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24985-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings

2025-12-11T16:50:00Z

Yazar Afonso, João L. editor. Monteiro, Vitor. editor. Pinto, José Gabriel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33979-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8296-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

2025-12-11T16:50:00Z

Yazar Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30258-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-11T16:50:00Z

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

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I

2025-12-11T16:50:00Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30442-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28486-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

2025-12-11T16:50:00Z

Yazar Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29315-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30122-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

2025-12-11T16:50:00Z

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

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

2025-12-11T16:50:00Z

Yazar Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42293-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43111-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Medicine 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Juarez, Jose M. editor. Marcos, Mar. editor. Stiglic, Gregor. editor. Tucker, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34344-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

2025-12-11T16:50:00Z

Yazar Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35190-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2025-12-11T16:50:00Z

Yazar Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36402-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2025-12-11T16:50:00Z

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

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2025-12-11T16:50:00Z

Yazar Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49008-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

2025-12-11T16:50:00Z

Yazar Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49432-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings

2025-12-11T16:50:00Z

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

Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022

2025-12-11T16:50:00Z

Yazar Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-3035-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2025-12-11T16:50:00Z

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

River Dynamics and Flood Hazards Studies on Risk and Mitigation

2025-12-11T16:50:00Z

Yazar Pandey, Manish. editor. Azamathulla, Hazi. editor. Pu, Jaan H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-7100-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Society 5.0 Cyber-Solutions for Human-Centric Technologies

2025-12-11T16:50:00Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35875-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022

2025-12-11T16:50:00Z

Yazar Strelets, Dmitry Yu. editor. Korsun, Oleg N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9010-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence for Clinical Diagnosis

2025-12-11T16:50:00Z

Yazar Joseph, Ferdin Joe John. editor. Balas, Valentina Emilia. editor. Rajest, S. Suman. editor. Regin, R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23683-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022

2025-12-11T16:50:00Z

Yazar Salopek Čubrić, Ivana. editor. Čubrić, Goran. editor. Jambrošić, Kristian. editor. Jurčević Lulić, Tanja. editor. Sumpor, Davor. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33986-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Challenges of Software Verification

2025-12-11T16:50:00Z

Yazar Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9601-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Neuroengineering

2025-12-11T16:50:00Z

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

System Dependability and Analytics Approaching System Dependability from Data, System and Analytics Perspectives

2025-12-11T16:50:00Z

Yazar Wang, Long. editor. Pattabiraman, Karthik. editor. Di Martino, Catello. editor. Athreya, Arjun. editor. Bagchi, Saurabh. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-02063-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Microbiology, Infectious Diseases and Public Health Volume 17

2025-12-11T16:50:00Z

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