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

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-06019-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29852-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

Yazar Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29983-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

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

2024-12-26T18:58:41Z

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

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

2024-12-26T18:58:41Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32409-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31517-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17138-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30275-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0310-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

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

2024-12-26T18:58:41Z

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

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30446-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

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

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22559-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2024-12-26T18:58:41Z

Yazar Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11854-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

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

2024-12-26T18:58:41Z

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

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-12-26T18:58:41Z

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

Design Science Methodology for Information Systems and Software Engineering

2024-12-26T18:58:41Z

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

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-12-26T18:58:41Z

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

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34968-4
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

2024-12-26T18:58:41Z

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

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20652-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21759-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24781-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-12-26T18:58:41Z

Yazar Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06410-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34175-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27008-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 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-030-23554-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 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-030-23499-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05998-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-12-26T18:58:41Z

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

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12466-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43613-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomy Requirements Engineering for Space Missions

2024-12-26T18:58:41Z

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

Bilgisayar mühendisliğine giriş

2024-12-26T18:58:41Z

Yazar Çölkesen, Toros Rifat. Eren, Şaban.
Yer Numarası QA76.27 B552 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

Bilgisayar mühendisliğine giriş

2024-12-26T18:58:41Z

Yazar Çölkesen, Toros Rifat. Eren, Şaban.
Yer Numarası QA76.27 B552 2019
Format: Kitap
Durum Beytepe Kütüphanesi~1

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32497-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31019-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21395-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31919-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Vera-Rodriguez, Ruben. editor. Fierrez, Julian. editor. Morales, Aythami. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13469-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20656-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-12-26T18:58:41Z

Yazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22102-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation XIX 19th International Workshop, MABS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Davidsson, Paul. editor. Verhagen, Harko. editor. (orcid)0000-0002-7937-2944 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22270-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Libraries at the Crossroads of Digital Information for the Future 21st International Conference on Asia-Pacific Digital Libraries, ICADL 2019, Kuala Lumpur, Malaysia, November 4–7, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Maeda, Akira. editor. (orcid)0000-0002-5494-132X Syn, Sue Yeon. editor. (orcid)0000-0002-3632-5160 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34058-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26951-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814 Antón, Annie. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12786-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Carl Adam Petri: Ideas, Personality, Impact

2024-12-26T18:58:41Z

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

Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Gauthier-Umaña, Valérie. editor. (orcid)0000-0003-0909-7091 Ochoa, Martín. editor. (orcid)0000-0002-7816-5775 Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21568-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Visual Informatics 6th International Visual Informatics Conference, IVIC 2019, Bangi, Malaysia, November 19–21, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Badioze Zaman, Halimah. editor. Smeaton, Alan F. editor. Shih, Timothy K. editor. Velastin, Sergio. editor. Terutoshi, Tada. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34032-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings

2024-12-26T18:58:41Z

Yazar Cheng, Reynold. editor. (orcid)0000-0002-9480-9809 Mamoulis, Nikos. editor. Sun, Yizhou. editor. Huang, Xin. editor. (orcid)0000-0002-3650-0301 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34223-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0871-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Systems, Algorithms and Networks 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Esposito, Christian. editor. Hong, Jiman. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30143-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29750-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T18:58:41Z

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

Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Ferreira, Joao Carlos. editor. (orcid)0000-0002-6662-0806 Martins, Ana Lúcia. editor. (orcid)0000-0002-8533-6595 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14757-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30760-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751 Yagi, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26834-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29908-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

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

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Braschler, Martin. editor. Savoy, Jacques. editor. (orcid)0000-0002-4486-0067 Rauber, Andreas. editor. Müller, Henning. editor. (orcid)0000-0001-6800-9878
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28577-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24258-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2024-12-26T18:58:41Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26954-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Instructional Systems First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Sottilare, Robert A. editor. Schwarz, Jessica. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22341-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

e-Learning, e-Education, and Online Training 5th EAI International Conference, eLEOT 2019, Kunming, China, August 18–19, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Sun, Guanglu. editor. Gan, Jianhou. editor. Liu, Shuai. editor. Lang, Fei. editor. Lu, Zeguang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35095-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

2024-12-26T18:58:41Z

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

Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34083-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Cardona-Rivera, Rogelio E. editor. (orcid)0000-0002-6720-568X Sullivan, Anne. editor. Young, R. Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33894-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, Music and Computing Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Eismont, Polina. editor. (orcid)0000-0002-0595-1847 Mitrenina, Olga. editor. (orcid)0000-0002-1750-5633 Pereltsvaig, Asya. editor. (orcid)0000-0003-2018-6896 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05594-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

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

Cognitive Computing – ICCC 2019 Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Xu, Ruifeng. editor. (orcid)0000-0002-4009-5679 Wang, Jianzong. 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-030-23407-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19504-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18419-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32101-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Business, Government and Organizations. eCommerce and Consumer Behavior 6th International Conference, HCIBGO 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Nah, Fiona Fui-Hoon. editor. Siau, Keng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22335-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12942-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods An Appetizer

2024-12-26T18:58:41Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05156-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

2024-12-26T18:58:41Z

Yazar Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24268-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Medicine 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Riaño, David. editor. (orcid)0000-0002-1608-0215 Wilk, Szymon. editor. ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21642-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 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-23703-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning Technology for Education Challenges 8th International Workshop, LTEC 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Uden, Lorna. editor. Liberona, Dario. editor. Sanchez, Galo. editor. Rodríguez-González, Sara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20798-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Kosta, Eleni. editor. Pierson, Jo. editor. Slamanig, Daniel. editor. (orcid)0000-0002-4181-2561 Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 Krenn, Stephan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16744-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-12-26T18:58:41Z

Yazar Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-60651-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11680-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-12-26T18:58:41Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22348-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12018-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

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

AI 2019: Advances in Artificial Intelligence 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Liu, Jixue. editor. Bailey, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35288-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Calise, Mauro. editor. Delgado Kloos, Carlos. editor. Reich, Justin. editor. Ruiperez-Valiente, Jose A. editor. Wirsing, Martin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19875-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2024-12-26T18:58:41Z

Yazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33274-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

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

Cross-Cultural Design. Culture and Society 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

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

Information Security 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Venter, Hein. editor. (orcid)0000-0002-3607-8630 Loock, Marianne. editor. (orcid)0000-0001-8005-716X Coetzee, Marijke. editor. (orcid)0000-0002-9157-3079 Eloff, Mariki. editor. (orcid)0000-0001-8997-7931 Eloff, Jan. editor. (orcid)0000-0003-4683-2198
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11407-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Networks and Digital Transformation 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23–25, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Antonelli, Dario. editor. (orcid)0000-0002-0118-0424 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Ohara, Kouzou. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30639-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30806-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29959-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29962-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1384-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1956-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Histories of Computing in Eastern Europe IFIP WG 9.7 International Workshop on the History of Computing, HC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznań, Poland, September 19–21, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

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

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23696-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Working, Living and Organising IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Elbanna, Amany. editor. Dwivedi, Yogesh K. editor. Bunker, Deborah. editor. Wastell, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04315-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14273-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2019: Robot World Cup XXIII

2024-12-26T18:58:41Z

Yazar Chalup, Stephan. editor. (orcid)0000-0002-7886-3653 Niemueller, Tim. editor. Suthakorn, Jackrit. editor. (orcid)0000-0003-1333-3982 Williams, Mary-Anne. editor. (orcid)0000-0002-1047-0503 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35699-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12797-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1922-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-06010-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36365-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2024-12-26T18:58:41Z

Yazar Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05487-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-12-26T18:58:41Z

Yazar Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31175-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

2024-12-26T18:58:41Z

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

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05532-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Edelmann, Noella. editor. Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Misuraca, Gianluca. editor. Parycek, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings

2024-12-26T18:58:41Z

Yazar Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27523-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information System Development Improving Enterprise Communication

2024-12-26T18:58:41Z

Yazar José Escalona, María. editor. Aragón, Gustavo. editor. Linger, Henry. editor. Lang, Michael. editor. (orcid)0000-0001-7961-2285 Barry, Chris. editor. (orcid)0000-0002-3664-8429
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07215-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44914-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 Murphy, Amy L. editor. Trigoni, Niki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04651-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Marked Graphs

2024-12-26T18:58:41Z

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

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

2024-12-26T18:58:41Z

Yazar Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06793-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Visualization An Introduction

2024-12-26T18:58:41Z

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

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11179-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings

2024-12-26T18:58:41Z

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

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

2024-12-26T18:58:41Z

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

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12904-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

2024-12-26T18:58:41Z

Yazar Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13563-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-12-26T18:58:41Z

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

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-12-26T18:58:41Z

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

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05416-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54239-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering

2024-12-26T18:58:41Z

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

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-12-26T18:58:41Z

Yazar Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45006-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence XVI

2024-12-26T18:58:41Z

Yazar Kowalczyk, Ryszard. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44871-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43951-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing for Data-Intensive Applications

2024-12-26T18:58:41Z

Yazar Li, Xiaolin. editor. Qiu, Judy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-1905-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Huang, De-Shuang. editor. Han, Kyungsook. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09330-7
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

2024-12-26T18:58:41Z

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

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

2024-12-26T18:58:41Z

Yazar Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14609-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-12-26T18:58:41Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-12-26T18:58:41Z

Yazar Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

2024-12-26T18:58:41Z

Yazar Mistry, Michael. editor. Leonardis, Aleš. editor. Witkowski, Mark. editor. Melhuish, Chris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10401-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

2024-12-26T18:58:41Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07173-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications

2024-12-26T18:58:41Z

Yazar Fehling, Christoph. author. Leymann, Frank. author. Retter, Ralph. author. Schupeck, Walter. author. Arbitter, Peter. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-7091-1568-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12970-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-53962-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54848-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2024-12-26T18:58:41Z

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

Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings

2024-12-26T18:58:41Z

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

Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-55285-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14370-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-12-26T18:58:41Z

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

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11439-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

2024-12-26T18:58:41Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Design Science

2024-12-26T18:58:41Z

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

Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2024-12-26T18:58:41Z

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

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-12-26T18:58:41Z

Yazar Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45523-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-12-26T18:58:41Z

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

Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09333-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings

2024-12-26T18:58:41Z

Yazar del Pobil, Angel P. editor. Chinellato, Eris. editor. Martínez-Martín, Ester. editor. Hallam, John. editor. Cervera, Enric. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08864-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Communication Communication, Multimedia, Security

2024-12-26T18:58:41Z

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

Computer concepts : illustrated

2024-12-26T18:58:41Z

Yazar Parsons, June Jamrich. Oja, Dan.
Yer Numarası QA76 .P3557 2007
Format: Kitap
Durum Beytepe Kütüphanesi~2