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

Conceptual Modeling Perspectives

2026-04-04T16:23:48Z

Yazar Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67271-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Modeling

2026-04-04T16:23:48Z

Yazar Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104986
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Companion for Software Practitioners

2026-04-04T16:23:48Z

Yazar Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56641-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling with UML Language, Concepts, Methods

2026-04-04T16:23:48Z

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

Quality in Business Process Modeling

2026-04-04T16:23:48Z

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

Advances in Modeling Agricultural Systems

2026-04-04T16:23:48Z

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

Active Knowledge Modeling of Enterprises

2026-04-04T16:23:48Z

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

Conceptual Modeling of Information Systems

2026-04-04T16:23:48Z

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

Embedded Systems – Modeling, Technology, and Applications

2026-04-04T16:23:48Z

Yazar Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4933-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding the Digital World Modeling with HERAKLIT

2026-04-04T16:23:48Z

Yazar Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thriving Systems Theory and Metaphor-Driven Modeling

2026-04-04T16:23:48Z

Yazar Waguespack, Leslie J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-302-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Modeling, Synthesis and Verification

2026-04-04T16:23:48Z

Yazar Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets

2026-04-04T16:23:48Z

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78377-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78380-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85884-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings

2026-04-04T16:23:48Z

Yazar Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 van der Aa, Han. editor. (orcid)0000-0002-4200-4937 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Enterprise Modeling 17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3-5, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Paja, Elda. editor. (orcid)0000-0002-8346-2467 Zdravkovic, Jelena. editor. (orcid)0000-0002-0870-0330 Kavakli, Evangelia. editor. (orcid)0000-0003-2743-5146 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77908-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75599-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75872-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Enterprise Modeling 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

2026-04-04T16:23:48Z

Yazar Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Kaczmarek-Heß, Monika. editor. Koschmider, Agnes. editor. (orcid)0000-0001-8206-7636 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48583-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar van der Aa, Han. editor. (orcid)0000-0002-4200-4937 Bork, Dominik. editor. (orcid)0000-0001-8259-2297 Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61007-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-04-04T16:23:48Z

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

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68416-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2026-04-04T16:23:48Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30690-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2026-04-04T16:23:48Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233 Pernici, Barbara. editor. Lim, Ee-Peng. editor. de Oliveira, José Palazzo M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33223-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

2026-04-04T16:23:48Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35646-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17910-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-04-04T16:23:48Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29662-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2026-04-04T16:23:48Z

Yazar Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34146-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault Prediction Modeling for the Prediction of Number of Software Faults

2026-04-04T16:23:48Z

Yazar Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-7131-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Detection and Correction: Modeling and Applications

2026-04-04T16:23:48Z

Yazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1162-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610 Karagiannis, Dimitris. editor. Kirikova, Marite. editor. (orcid)0000-0002-1678-9523 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02302-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-04-04T16:23:48Z

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

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93372-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building Information Modeling Technology Foundations and Industry Practice

2026-04-04T16:23:48Z

Yazar Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92862-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2026-04-04T16:23:48Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00787-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00151-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2026-04-04T16:23:48Z

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

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00847-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2026-04-04T16:23:48Z

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

Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Woo, Carson. editor. Lu, Jiaheng. editor. (orcid)0000-0003-2067-454X Li, Zhanhuai. editor. Ling, Tok Wang. editor. Li, Guoliang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01391-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73600-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings

2026-04-04T16:23:48Z

Yazar Gulden, Jens. editor. (orcid)0000-0003-4824-8569 Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905 Schmidt, Rainer. editor. Guerreiro, Sérgio. editor. (orcid)0000-0002-8627-3338 Guédria, Wided. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91704-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2026-04-04T16:23:48Z

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

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-04-04T16:23:48Z

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

MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73603-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2026-04-04T16:23:48Z

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

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-04-04T16:23:48Z

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

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69904-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

2026-04-04T16:23:48Z

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

Agile Modeling with UML Code Generation, Testing, Refactoring

2026-04-04T16:23:48Z

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

The Practice of Enterprise Modeling 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Poels, Geert. editor. Gailly, Frederik. editor. Serral Asensio, Estefania. editor. Snoeck, Monique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70241-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

2026-04-04T16:23:48Z

Yazar Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68185-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Brézillon, Patrick. editor. Turner, Roy. editor. Penco, Carlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57837-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-04-04T16:23:48Z

Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51738-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environment modeling-based requirements engineering for software intensive systems.

2026-04-04T16:23:48Z

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

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46397-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-04-04T16:23:48Z

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

Interactive Modeling and Simulation in Business System Design

2026-04-04T16:23:48Z

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

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

2026-04-04T16:23:48Z

Yazar Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39417-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings

2026-04-04T16:23:48Z

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

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2026-04-04T16:23:48Z

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

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2026-04-04T16:23:48Z

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

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

2026-04-04T16:23:48Z

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

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2026-04-04T16:23:48Z

Yazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11743-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers

2026-04-04T16:23:48Z

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

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation

2026-04-04T16:23:48Z

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

Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings

2026-04-04T16:23:48Z

Yazar Yu, Eric. editor. Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Jarke, Matthias. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12206-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2026-04-04T16:23:48Z

Yazar Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11900-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings

2026-04-04T16:23:48Z

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

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2026-04-04T16:23:48Z

Yazar Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335150.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2026-04-04T16:23:48Z

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

Enterprise, Business-Process and Information Systems Modeling 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings

2026-04-04T16:23:48Z

Yazar Nurcan, Selmin. editor. Proper, Henderik A. editor. Soffer, Pnina. editor. Krogstie, John. editor. Schmidt, Rainer. editor.
Yer Numarası ONLINE(334607.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38484-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-04-04T16:23:48Z

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

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2026-04-04T16:23:48Z

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

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2026-04-04T16:23:48Z

Yazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334913.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2026-04-04T16:23:48Z

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

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30782-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31072-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33999-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2026-04-04T16:23:48Z

Yazar Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2026-04-04T16:23:48Z

Yazar Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2026-04-04T16:23:48Z

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

The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling

2026-04-04T16:23:48Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17752-1
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

2026-04-04T16:23:48Z

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

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2026-04-04T16:23:48Z

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

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

2026-04-04T16:23:48Z

Yazar Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21713-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

2026-04-04T16:23:48Z

Yazar Halpin, Terry. editor. Nurcan, Selmin. editor. Krogstie, John. editor. Soffer, Pnina. editor. Proper, Erik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21759-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Business Systems and Services: Modeling and Development

2026-04-04T16:23:48Z

Yazar Pokorny, Jaroslav. editor. Repa, Vaclav. editor. Richta, Karel. editor. Wojtkowski, Wita. editor. Linger, Henry. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9790-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Conceptual Modeling Theory, Practice, and Research Challenges

2026-04-04T16:23:48Z

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

Modeling, Design, and Simulation of Systems with Uncertainties

2026-04-04T16:23:48Z

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

Business Process Modeling Notation Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings

2026-04-04T16:23:48Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2026-04-04T16:23:48Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

2026-04-04T16:23:48Z

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

Advances in Conceptual Modeling. Recent Developments and New Directions ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

2026-04-04T16:23:48Z

Yazar Troyer, Olga. editor. Bauzer Medeiros, Claudia. editor. Billen, Roland. editor. Hallot, Pierre. editor. Simitsis, Alkis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24574-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

2026-04-04T16:23:48Z

Yazar Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24606-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

2026-04-04T16:23:48Z

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

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

2026-04-04T16:23:48Z

Yazar Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24933-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13051-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13568-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers

2026-04-04T16:23:48Z

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

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2026-04-04T16:23:48Z

Yazar Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16086-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2026-04-04T16:23:48Z

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

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16373-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2026-04-04T16:23:48Z

Yazar Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16385-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

2026-04-04T16:23:48Z

Yazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

2026-04-04T16:23:48Z

Yazar Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02518-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04840-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition

2026-04-04T16:23:48Z

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

Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01112-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01862-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02205-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

2026-04-04T16:23:48Z

Yazar Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04947-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2026-04-04T16:23:48Z

Yazar Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

2026-04-04T16:23:48Z

Yazar Li, Qing. editor. Spaccapietra, Stefano. editor. Yu, Eric. editor. Olivé, Antoni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87877-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Semantic Web Services The Web Service Modeling Language

2026-04-04T16:23:48Z

Yazar Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68172-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2026-04-04T16:23:48Z

Yazar Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85035-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Common Component Modeling Example Comparing Software Component Models

2026-04-04T16:23:48Z

Yazar Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2026-04-04T16:23:48Z

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

Enabling Semantic Web Services The Web Service Modeling Ontology

2026-04-04T16:23:48Z

Yazar Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2026-04-04T16:23:48Z

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

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2026-04-04T16:23:48Z

Yazar Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2026-04-04T16:23:48Z

Yazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2026-04-04T16:23:48Z

Yazar Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2026-04-04T16:23:48Z

Yazar Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2026-04-04T16:23:48Z

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

Use Case Driven Object Modeling with UML Theory and Practice

2026-04-04T16:23:48Z

Yazar Rosenberg, Doug. author. Stephens, Matt. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0369-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2026-04-04T16:23:48Z

Yazar Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2026-04-04T16:23:48Z

Yazar Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754305
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2026-04-04T16:23:48Z

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

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2026-04-04T16:23:48Z

Yazar Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11901181
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2026-04-04T16:23:48Z

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

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2026-04-04T16:23:48Z

Yazar Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4826-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2026-04-04T16:23:48Z

Yazar Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11568322
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2026-04-04T16:23:48Z

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

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2026-04-04T16:23:48Z

Yazar Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11603009
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

2026-04-04T16:23:48Z

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

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2026-04-04T16:23:48Z

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

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2026-04-04T16:23:48Z

Yazar Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b101185
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106725
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2026-04-04T16:23:48Z

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

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138975
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Supply Chains Theory and Practice

2026-04-04T16:23:48Z

Yazar Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1797-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85638-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

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

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87217-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-04-04T16:23:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

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

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

2026-04-04T16:23:48Z

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

Metamodeling for Extended Reality

2026-04-04T16:23:48Z

Yazar Muff, Fabian. author. (orcid)0000-0002-7283-6603 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76762-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-04-04T16:23:48Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part III

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96962-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97573-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Elstermann, Matthes. editor. (orcid)0009-0007-9845-9926 Lederer, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72041-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-04-04T16:23:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-04-04T16:23:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92471-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92474-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97557-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97564-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97567-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-04-04T16:23:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96997-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78386-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Engineering Learning Through Applications Using JMT

2026-04-04T16:23:48Z

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

The Fundamental Research for Trustworthy Software

2026-04-04T16:23:48Z

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

Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

2026-04-04T16:23:48Z

Yazar Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Smeaton, Alan F. editor. De Oliveira, Renato Lima. editor. Jørgensen, Bo Nørregaard. editor. (orcid)0000-0001-5678-6602
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7339-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

2026-04-04T16:23:48Z

Yazar Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55729-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Information Systems Interoperability Data, Services, and Processes

2026-04-04T16:23:48Z

Yazar Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48322-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

2026-04-04T16:23:48Z

Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56862-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings

2026-04-04T16:23:48Z

Yazar Sellami, Mohamed. editor. Vidal, Maria-Esther. editor. van Dongen, Boudewijn. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46846-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

2026-04-04T16:23:48Z

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

Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-04-04T16:23:48Z

Yazar Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51674-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64576-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64605-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64608-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63775-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

2026-04-04T16:23:48Z

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

Software Architectures Topics Usually Missed in Textbooks

2026-04-04T16:23:48Z

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

The French School of Programming

2026-04-04T16:23:48Z

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

Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61003-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62638-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronics - Industry-Inspired Advances

2026-04-04T16:23:48Z

Yazar Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63444-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63751-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63783-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

2026-04-04T16:23:48Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-04-04T16:23:48Z

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

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66339-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70055-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70068-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

2026-04-04T16:23:48Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70071-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

2026-04-04T16:23:48Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70085-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

2026-04-04T16:23:48Z

Yazar Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70797-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning software engineering

2026-04-04T16:23:48Z

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

Evolving software processes : trends and future directions

2026-04-04T16:23:48Z

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

Official Google Cloud Certified Professional Data Engineer study guide

2026-04-04T16:23:48Z

Yazar Sullivan, Dan, 1962-
Yer Numarası QA76.3
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-04-04T16:23:48Z

Yazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51046-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

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

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64635-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68499-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mastering Software Variability with FeatureIDE

2026-04-04T16:23:48Z

Yazar Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61443-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

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

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2026-04-04T16:23:48Z

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

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66302-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

2026-04-04T16:23:48Z

Yazar Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4436-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54494-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57708-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-04-04T16:23:48Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Kalinichenko, Leonid. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57135-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

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

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

2026-04-04T16:23:48Z

Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Cabot, Jordi. editor. De Virgilio, Roberto. editor. Torlone, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60131-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-04-04T16:23:48Z

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

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-04-04T16:23:48Z

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

Green IT Engineering: Concepts, Models, Complex Systems Architectures

2026-04-04T16:23:48Z

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

Self-Aware Computing Systems

2026-04-04T16:23:48Z

Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47474-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67113-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55961-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66854-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68015-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72453-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66399-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61982-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57186-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Methods 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Silva da Silva, Tiago. editor. Estácio, Bernardo. editor. Kroll, Josiane. editor. Mantovani Fontana, Rafaela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55907-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-04-04T16:23:48Z

Yazar Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51957-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2026-04-04T16:23:48Z

Yazar Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65482-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-04-04T16:23:48Z

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

Business Information Systems 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings

2026-04-04T16:23:48Z

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

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

2026-04-04T16:23:48Z

Yazar Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3950-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method

2026-04-04T16:23:48Z

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

Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings

2026-04-04T16:23:48Z

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

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-04-04T16:23:48Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

2026-04-04T16:23:48Z

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

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48740-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Papadimitriou, Panagiotis. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33936-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42089-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Technologies and Applications

2026-04-04T16:23:48Z

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

Deductive Software Verification - The KeY Book From Theory to Practice

2026-04-04T16:23:48Z

Yazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49812-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-04-04T16:23:48Z

Yazar Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45889-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

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

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-04-04T16:23:48Z

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

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42061-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-04-04T16:23:48Z

Yazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria

2026-04-04T16:23:48Z

Yazar Chikhi, Salim. editor. Amine, Abdelmalek. editor. Chaoui, Allaoua. editor. Kholladi, Mohamed Khireddine. editor. Saidouni, Djamel Eddine. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33410-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

2026-04-04T16:23:48Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48743-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-04-04T16:23:48Z

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

Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015

2026-04-04T16:23:48Z

Yazar Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27896-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47846-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OSS Reliability Measurement and Assessment

2026-04-04T16:23:48Z

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

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30695-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

2026-04-04T16:23:48Z

Yazar Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48003-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

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

Advanced Information Systems Engineering 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings

2026-04-04T16:23:48Z

Yazar Nurcan, Selmin. editor. (orcid)0000-0001-9676-4520 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X Bajec, Marko. editor. Eder, Johann. editor. (orcid)0000-0001-6050-468X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39696-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-04-04T16:23:48Z

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

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

2026-04-04T16:23:48Z

Yazar Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0551-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Engineering and Knowledge Management 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Poggi, Francesco. editor. Vitali, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49004-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change

2026-04-04T16:23:48Z

Yazar Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31545-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42085-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40180-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

2026-04-04T16:23:48Z

Yazar Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-50539-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard

2026-04-04T16:23:48Z

Yazar Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44339-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32689-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings

2026-04-04T16:23:48Z

Yazar Lee, Seok-Won. editor. (orcid)0000-0002-8569-0236 Nakatani, Takako. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3256-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2026-04-04T16:23:48Z

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

Process Mining Data Science in Action

2026-04-04T16:23:48Z

Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49851-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2026-04-04T16:23:48Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42111-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-04T16:23:48Z

Yazar Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-35122-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems

2026-04-04T16:23:48Z

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

Physics for JavaScript Games, Animation, and Simulations with HTML5 Canvas

2026-04-04T16:23:48Z

Yazar Dobre, Adrian. author. Ramtal, Dev. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-04-04T16:23:48Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334837.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1