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

Industrial Software Technology

2024-11-28T18:18:36Z

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

Software and Network Engineering

2024-11-28T18:18:36Z

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

Ontology-Driven Software Development

2024-11-28T18:18:36Z

Yazar Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.
Yer Numarası ONLINE(333408.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2024-11-28T18:18:36Z

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

Quality Software Through Reuse and Integration

2024-11-28T18:18:36Z

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

Software Engineering Research, Management and Applications

2024-11-28T18:18:36Z

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

Software Engineering for Self-Adaptive Systems

2024-11-28T18:18:36Z

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

Artificial Life Models in Software

2024-11-28T18:18:36Z

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

Software Engineering Research, Management and Applications

2024-11-28T18:18:36Z

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

Software Engineering for Experimental Robotics

2024-11-28T18:18:36Z

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

Artificial Life Models in Software

2024-11-28T18:18:36Z

Yazar Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-214-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35333-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

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-11-28T18:18:36Z

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-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Synergies Between Knowledge Engineering and Software Engineering

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96562-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77243-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74781-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04771-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90421-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2024-11-28T18:18:36Z

Yazar Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44811-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games, Actions and Social Software Multidisciplinary Aspects

2024-11-28T18:18:36Z

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

Software Engineering Research,Management and Applications 2011

2024-11-28T18:18:36Z

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

Software Engineering Research, Management and Applications 2012

2024-11-28T18:18:36Z

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

Software Engineering Research, Management and Applications 2010

2024-11-28T18:18:36Z

Yazar Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13273-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2009

2024-11-28T18:18:36Z

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

Ontologies for Software Engineering and Software Technology

2024-11-28T18:18:36Z

Yazar Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34518-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Agent-Based Applications, Platforms and Development Kits

2024-11-28T18:18:36Z

Yazar Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137512
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

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

Computing and Software Science State of the Art and Perspectives

2024-11-28T18:18:36Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91908-9
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-11-28T18:18:36Z

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

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-11-28T18:18:36Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30985-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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-11-28T18:18:36Z

Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17127-8
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-11-28T18:18:36Z

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

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-11-28T18:18:36Z

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

Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

2024-11-28T18:18:36Z

Yazar Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01171-0
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-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28423-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-11-28T18:18:36Z

Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89366-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Crisis: A Smart Way to Enterprise Agility

2024-11-28T18:18:36Z

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

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93641-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2024-11-28T18:18:36Z

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

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

2024-11-28T18:18:36Z

Yazar Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70578-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74433-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-28T18:18:36Z

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

Towards a Synergistic Combination of Research and Practice in Software Engineering

2024-11-28T18:18:36Z

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

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

2024-11-28T18:18:36Z

Yazar Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69341-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Ambient Intelligence - Software and Applications 5th International Symposium on Ambient Intelligence

2024-11-28T18:18:36Z

Yazar Ramos, Carlos. editor. Novais, Paulo. editor. Nihan, Céline Ehrwein. editor. Corchado Rodríguez, Juan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07596-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks

2024-11-28T18:18:36Z

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

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2024-11-28T18:18:36Z

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

Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013

2024-11-28T18:18:36Z

Yazar Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.
Yer Numarası ONLINE(332771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-28T18:18:36Z

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-11-28T18:18:36Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex Automated Negotiations: Theories, Models, and Software Competitions

2024-11-28T18:18:36Z

Yazar Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333354.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30737-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-11-28T18:18:36Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-11-28T18:18:36Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334142.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

2024-11-28T18:18:36Z

Yazar Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33308-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

2024-11-28T18:18:36Z

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

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

2024-11-28T18:18:36Z

Yazar Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34347-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence (ISAmI 2012)

2024-11-28T18:18:36Z

Yazar Novais, Paulo. editor. Hallenborg, Kasper. editor. Tapia, Dante I. editor. Rodríguez, Juan M. Corchado. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28783-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-28T18:18:36Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Software Engineering and Knowledge Engineering: Theory and Practice Volume 1

2024-11-28T18:18:36Z

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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

2024-11-28T18:18:36Z

Yazar Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27705-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence - Software and Applications 2nd International Symposium on Ambient Intelligence (ISAmI 2011)

2024-11-28T18:18:36Z

Yazar Novais, Paulo. editor. Preuveneers, Davy. editor. Corchado, Juan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19937-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

2024-11-28T18:18:36Z

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

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2024-11-28T18:18:36Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27207-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19208-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

2024-11-28T18:18:36Z

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

Third International Conference on Software, Services and Semantic Technologies S3T 2011

2024-11-28T18:18:36Z

Yazar Dicheva, Darina. editor. Markov, Zdravko. editor. Stefanova, Eliza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23163-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

2024-11-28T18:18:36Z

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

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

2024-11-28T18:18:36Z

Yazar Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16488-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

2024-11-28T18:18:36Z

Yazar Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13238-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010

2024-11-28T18:18:36Z

Yazar Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13265-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimedia Services in Intelligent Environments Software Development Challenges and Solutions

2024-11-28T18:18:36Z

Yazar Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13355-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

2024-11-28T18:18:36Z

Yazar Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15543-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2024-11-28T18:18:36Z

Yazar Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15057-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01338-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

2024-11-28T18:18:36Z

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

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-11-28T18:18:36Z

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

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-11-28T18:18:36Z

Yazar Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-11-28T18:18:36Z

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

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-11-28T18:18:36Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-11-28T18:18:36Z

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

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Software Verification and Validation An Engineering and Scientific Approach

2024-11-28T18:18:36Z

Yazar Fisher, Marcus S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-11-28T18:18:36Z

Yazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2024-11-28T18:18:36Z

Yazar Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752660
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2024-11-28T18:18:36Z

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

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11668855
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-28T18:18:36Z

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

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105022
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30942-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33702-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17642-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31784-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32065-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-11-28T18:18:36Z

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

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-11-28T18:18:36Z

Yazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90089-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-11-28T18:18:36Z

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

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00856-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-11-28T18:18:36Z

Yazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44471-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2024-11-28T18:18:36Z

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

Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22244-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21500-2
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-11-28T18:18:36Z

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

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30048-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31095-0
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-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26250-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99906-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02610-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. 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-319-94376-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03712-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-11-28T18:18:36Z

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

Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 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-319-94289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98334-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99229-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02227-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-11-28T18:18:36Z

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

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-11-28T18:18:36Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02671-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

2024-11-28T18:18:36Z

Yazar Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07221-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2024-11-28T18:18:36Z

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

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

2024-11-28T18:18:36Z

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

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2024-11-28T18:18:36Z

Yazar Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11587-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2024-11-28T18:18:36Z

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

Agent-based Supply Network Event Management

2024-11-28T18:18:36Z

Yazar Zimmermann, Roland. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-7643-7487-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Organizational Principles for Multi-Agent Architectures

2024-11-28T18:18:36Z

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

Constraint Satisfaction Techniques for Agent-Based Reasoning

2024-11-28T18:18:36Z

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

Ontologies for Agents: Theory and Experiences

2024-11-28T18:18:36Z

Yazar Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-7643-7361-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomy Requirements Engineering for Space Missions

2024-11-28T18:18:36Z

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

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

2024-11-28T18:18:36Z

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

Agent Technology from a Formal Perspective

2024-11-28T18:18:36Z

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

Issues in Multi-Agent Systems The AgentCities.ES Experience

2024-11-28T18:18:36Z

Yazar Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Agent-Based Environmental Management Systems

2024-11-28T18:18:36Z

Yazar Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8900-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Technology and e-Health

2024-11-28T18:18:36Z

Yazar Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8547-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

2024-11-28T18:18:36Z

Yazar Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems

2024-11-28T18:18:36Z

Yazar Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering

2024-11-28T18:18:36Z

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

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Demazeau, Yves. editor. (orcid)0000-0003-4059-9284 Matson, Eric. editor. Corchado, Juan Manuel. editor. De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24209-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26369-0
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-11-28T18:18:36Z

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

RoboCup 2018: Robot World Cup XXII

2024-11-28T18:18:36Z

Yazar Holz, Dirk. editor. Genter, Katie. editor. Saad, Maarouf. editor. von Stryk, Oskar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27544-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Data and Security Engineering 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Dang, Tran Khanh. editor. Küng, Josef. editor. Takizawa, Makoto. editor. Bui, Son Ha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35653-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Second International Conference, SLAAI-ICAI 2018, Moratuwa, Sri Lanka, December 20, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Hemanth, Jude. editor. Silva, Thushari. editor. Karunananda, Asoka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-9129-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2024-11-28T18:18:36Z

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

Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Cristea, Diana. editor. (orcid)0000-0003-1440-3786 Le Ber, Florence. editor. (orcid)0000-0002-2415-7606 Sertkaya, Baris. editor. (orcid)0000-0002-4196-0150 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21462-3
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-11-28T18:18:36Z

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

Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Tan, Ying. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9563-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Science Third International Conference on Intelligent Information Technologies, ICIIT 2018, Chennai, India, December 11–14, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Akoglu, Leman. editor. Ferrara, Emilio. editor. Deivamani, Mallayya. editor. Baeza-Yates, Ricardo. editor. Yogesh, Palanisamy. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3582-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Massively Multi-Agent Systems II International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Lin, Donghui. editor. (orcid)0000-0001-9462-0216 Ishida, Toru. editor. (orcid)0000-0002-0479-4990 Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20937-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-11-28T18:18:36Z

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

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

2024-11-28T18:18:36Z

Yazar Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Svátek, Vojtěch. editor. (orcid)0000-0002-2256-2982 Cruz, Isabel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30796-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work and Social Computing 14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16–18, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Sun, Yuqing. editor. Lu, Tun. editor. Yu, Zhengtao. editor. Fan, Hongfei. editor. Gao, Liping. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1377-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part II

2024-11-28T18:18:36Z

Yazar Shao, Jie. editor. Yiu, Man Lung. editor. Toyoda, Masashi. editor. Zhang, Dongxiang. editor. Wang, Wei. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26075-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1718-1
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-11-28T18:18:36Z

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-11-28T18:18:36Z

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

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36614-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Model and Data Engineering MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752 Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Maabout, Sofian. editor. (orcid)0000-0001-8703-7620 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32213-7
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-11-28T18:18:36Z

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

Human-Computer Interaction – INTERACT 2019 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV

2024-11-28T18:18:36Z

Yazar Lamas, David. editor. (orcid)0000-0003-0295-453X Loizides, Fernando. editor. (orcid)0000-0003-0531-6760 Nacke, Lennart. editor. (orcid)0000-0003-4290-8829 Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29390-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14–17, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar U., Leong Hou. editor. Lauw, Hady W. editor. (orcid)0000-0002-8245-8677 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26142-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8–11, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Hong, Tzung-Pei. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14799-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Isotani, Seiji. editor. (orcid)0000-0003-1574-0784 Millán, Eva. editor. (orcid)0000-0001-9178-7600 Ogan, Amy. editor. Hastings, Peter. editor. (orcid)0000-0002-0183-001X McLaren, Bruce. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23204-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37386-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Younas, Muhammad. editor. Awan, Irfan. editor. Benbernou, Salima. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27355-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2024-11-28T18:18:36Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29007-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Cliquet Jr., Alberto. editor. Wiebe, Sheldon. editor. Anderson, Paul. editor. Saggio, Giovanni. editor. Zwiggelaar, Reyer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29196-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2019 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II

2024-11-28T18:18:36Z

Yazar Lamas, David. editor. (orcid)0000-0003-0295-453X Loizides, Fernando. editor. (orcid)0000-0003-0531-6760 Nacke, Lennart. editor. (orcid)0000-0003-4290-8829 Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29384-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29400-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-11-28T18:18:36Z

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

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29611-7
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-11-28T18:18:36Z

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

Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies First International EURO Mini Conference, MSBC 2019, Vilnius, Lithuania, September 18–20, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Agarwal, Nitin. editor. Sakalauskas, Leonidas. editor. Weber, Gerhard-Wilhelm. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29862-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Knowledge Management 5th IFIP WG 12.6 International Workshop, AI4KM 2017, Held at IJCAI 2017, Melbourne, VIC, Australia, August 20, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29904-0
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-11-28T18:18:36Z

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

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Şotropa, Diana. editor. (orcid)0000-0003-4403-9946 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23182-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning, Optimization, and Data Science 5th International Conference, LOD 2019, Siena, Italy, September 10–13, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Nicosia, Giuseppe. editor. Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Umeton, Renato. editor. (orcid)0000-0002-5561-6932 Giuffrida, Giovanni. editor. Sciacca, Vincenzo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37599-7
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-11-28T18:18:36Z

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 Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28957-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Behavioral Analytics in Social and Ubiquitous Environments 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Florence, Italy, May 19, 2015; 7th International Workshop on Modeling Social Media, MSM 2016, Montreal, QC, Canada, April 12, 2016; Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Atzmueller, Martin. editor. Chin, Alvin. editor. Lemmerich, Florian. editor. Trattner, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34407-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32686-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Wang, Qian. editor. Gomez, Alberto. editor. (orcid)0000-0002-7897-7589 Hutter, Jana. editor. (orcid)0000-0003-3476-3500 McLeod, Kristin. editor. Zimmer, Veronika. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32875-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Wireless Geographical Information Systems 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16–17, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Kawai, Yukiko. editor. Storandt, Sabine. editor. Sumiya, Kazutoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17246-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 24th Iberoamerican Congress, CIARP 2019, Havana, Cuba, October 28-31, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Nyström, Ingela. editor. Hernández Heredia, Yanio. editor. (orcid)0000-0001-9433-5511 Milián Núñez, Vladimir. editor. (orcid)0000-0002-7741-7846 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33904-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2024-11-28T18:18:36Z

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

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 4th EAI International Conference, FABULOUS 2019, Sofia, Bulgaria, March 28-29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Poulkov, Vladimir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23976-3
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-11-28T18:18:36Z

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

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Shao, Jie. editor. Yiu, Man Lung. editor. Toyoda, Masashi. editor. Zhang, Dongxiang. editor. Wang, Wei. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26072-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

2024-11-28T18:18:36Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29765-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI International 2019 – Late Breaking Papers 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2024-11-28T18:18:36Z

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

Advances in Knowledge Discovery and Data Mining 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Yang, Qiang. editor. Zhou, Zhi-Hua. editor. Gong, Zhiguo. editor. Zhang, Min-Ling. editor. Huang, Sheng-Jun. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16148-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Future of Digital Democracy An Interdisciplinary Approach

2024-11-28T18:18:36Z

Yazar Contucci, Pierluigi. editor. (orcid)0000-0002-3577-6189 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Pianini, Danilo. editor. (orcid)0000-0002-8392-5409 Sîrbu, Alina. editor. (orcid)0000-0002-3947-7143 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05333-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-9190-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692 Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ko, In-Young. editor. (orcid)0000-0002-3843-263X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19274-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26–29, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Marcos, Mar. editor. (orcid)0000-0001-9672-4190 Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Lenz, Richard. editor. (orcid)0000-0003-1551-4824 Nalepa, Grzegorz J. editor. (orcid)0000-0002-8182-4225 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37446-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Quality and Trust in Big Data 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Yoshida, Tetsuya. editor. Sarkheyli, Azadeh. editor. (orcid)0000-0001-9194-9446 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19143-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Graphics 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Gavrilova, Marina. editor. Chang, Jian. editor. (orcid)0000-0003-4118-147X Thalmann, Nadia Magnenat. editor. Hitzer, Eckhard. editor. Ishikawa, Hiroshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22514-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Integration in the Life Sciences 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar Auer, Sören. editor. Vidal, Maria-Esther. editor. (orcid)0000-0003-1160-8727 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-06016-9
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-11-28T18:18:36Z

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

Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29193-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Robotics 11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Salichs, Miguel A. editor. (orcid)0000-0002-0263-6606 Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X Barakova, Emilia Ivanova. editor. Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Wagner, Alan R. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35888-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270 De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538 Mavrommati, Irene. editor. (orcid)0000-0002-8870-746X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34255-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 – 18, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05453-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2024-11-28T18:18:36Z

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

Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29249-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Computing and Communication 4th International Conference, SmartCom 2019, Birmingham, UK, October 11–13, 2019, Proceedings

2024-11-28T18:18:36Z

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

Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29551-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Corpus-Based Phraseology Third International Conference, Europhras 2019, Malaga, Spain, September 25–27, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Corpas Pastor, Gloria. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30135-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2024-11-28T18:18:36Z

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

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02907-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31140-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

2024-11-28T18:18:36Z

Yazar Lops, Pasquale. author. Musto, Cataldo. author. Narducci, Fedelucio. author. Semeraro, Giovanni. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05618-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

2024-11-28T18:18:36Z

Yazar Raza, Muhammad Summair. author. Qamar, Usman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9166-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21392-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8–11, 2019, Proceedings, Part II

2024-11-28T18:18:36Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Hong, Tzung-Pei. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14802-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0105-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Computing in Data Science 5th International Conference, SCDS 2019, Iizuka, Japan, August 28–29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Berry, Michael W. editor. Yap, Bee Wah. editor. Mohamed, Azlinah. editor. Köppen, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0399-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Computing and Social Media. Design, Human Behavior and Analytics 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 I

2024-11-28T18:18:36Z

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

Computer Supported Education 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar McLaren, Bruce M. editor. Reilly, Rob. editor. Zvacek, Susan. editor. Uhomoibhi, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21151-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2024-11-28T18:18:36Z

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

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2024-11-28T18:18:36Z

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

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32233-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-11-28T18:18:36Z

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

Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Excell, Peter S. editor. (orcid)0000-0002-7602-2957 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23943-5
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-11-28T18:18:36Z

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

Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670 Oliveira, José. editor. (orcid)0000-0002-9398-8841 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17771-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Telematics and Computing 8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Mata-Rivera, Miguel Felix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Barría-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33229-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21077-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Work Interaction Design. Designing Engaging Automation 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Barricelli, Barbara Rita. editor. (orcid)0000-0001-9575-5542 Roto, Virpi. editor. (orcid)0000-0002-6880-5636 Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Campos, Pedro. editor. (orcid)0000-0001-7706-5038 Lopes, Arminda. editor. (orcid)0000-0002-1969-9937
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05297-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Learning and Games 12th International Conference, Edutainment 2018, Xi'an, China, June 28–30, 2018, Proceedings

2024-11-28T18:18:36Z

Yazar El Rhalibi, Abdennour. editor. Pan, Zhigeng. editor. Jin, Haiyan. editor. Ding, Dandan. editor. Navarro-Newball, Andres A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23712-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Svátek, Vojtěch. editor. (orcid)0000-0002-2256-2982 Cruz, Isabel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30793-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Networks 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Kwiecień, Andrzej. editor. (orcid)0000-0003-1447-3303 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21952-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Cities, Green Technologies and Intelligent Transport Systems 7th International Conference, SMARTGREENS, and 4th International Conference, VEHITS 2018, Funchal-Madeira, Portugal, March 16-18, 2018, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26633-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Network Systems and Security 5th International Conference, FNSS 2019, Melbourne, VIC, Australia, November 27–29, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Doss, Robin. editor. (orcid)0000-0001-6143-6850 Piramuthu, Selwyn. editor. Zhou, Wei. editor. (orcid)0000-0002-9965-9870 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34353-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers

2024-11-28T18:18:36Z

Yazar Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903 Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37858-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture XI 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part II

2024-11-28T18:18:36Z

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

Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

Yazar Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. (orcid)0000-0001-6303-6615 Diaz-Nafria, Jose Maria. editor. (orcid)0000-0001-5383-6037 Belli, Simone. editor. (orcid)0000-0001-8934-7569 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32475-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Web-Based Learning – ICWL 2019 18th International Conference, Magdeburg, Germany, September 23–25, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Herzog, Michael A. editor. (orcid)0000-0002-7597-2272 Kubincová, Zuzana. editor. (orcid)0000-0003-1909-6738 Han, Peng. editor. Temperini, Marco. editor. (orcid)0000-0002-8597-4634 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35758-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision and Game Theory for Security 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

2024-11-28T18:18:36Z

Yazar Alpcan, Tansu. editor. (orcid)0000-0002-7434-3239 Vorobeychik, Yevgeniy. editor. (orcid)0000-0003-2471-5345 Baras, John S. editor. (orcid)0000-0002-4955-8561 Dán, György. editor. (orcid)0000-0002-4876-0223 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32430-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2019: Robot World Cup XXIII

2024-11-28T18:18:36Z

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

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-11-28T18:18:36Z

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