Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1459)
Silhavy, Petr. editor.
(21)
Silhavy, Radek. editor.
(21)
Lee, Roger. editor.
(19)
Kim, Tai-hoon. editor.
(18)
Dil
Yayın Yılı
-
2018
(211)
2024
(138)
2011
(137)
2025
(129)
2012
(118)
Konu
Artificial intelligence.
(1354)
Computer science.
(875)
Computer Communication Networks.
(521)
Information systems.
(230)
Computer networks .
(219)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1461 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
601. 
Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers için kapak resmi
Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers
Yazar 
Huet, Benoit. editor. Nie, Liqiang. editor. Hong, Richang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8530-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
602. 
Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings için kapak resmi
Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
Yazar 
Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99429-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
603. 
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings için kapak resmi
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
604. 
New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings için kapak resmi
New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings
Yazar 
Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Alwan, Jwan K. editor. Hussein, Ali D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01653-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
605. 
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I için kapak resmi
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Yazar 
Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02922-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
606. 
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
607. 
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03427-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
608. 
Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers için kapak resmi
Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers
Yazar 
U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01298-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
609. 
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
610. 
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
611. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
612. 
Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings için kapak resmi
Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings
Yazar 
Perego, Paolo. editor. Rahmani, Amir M. editor. TaheriNejad, Nima. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98551-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
613. 
Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I için kapak resmi
Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I
Yazar 
Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99704-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
614. 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Yazar 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
615. 
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Yazar 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
616. 
Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings için kapak resmi
Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings
Yazar 
Mehmood, Rashid. editor. Bhaduri, Budhendra. editor. Katib, Iyad. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94180-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
617. 
Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings için kapak resmi
Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings
Yazar 
Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99426-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
618. 
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I için kapak resmi
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Yazar 
Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2396-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
619. 
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings için kapak resmi
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
620. 
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings için kapak resmi
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Yazar 
Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99987-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
621. 
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings için kapak resmi
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Yazar 
Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01449-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
622. 
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday için kapak resmi
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Yazar 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
623. 
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV için kapak resmi
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95171-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
624. 
Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings için kapak resmi
Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings
Yazar 
Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00847-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
625. 
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II için kapak resmi
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Yazar 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78054-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
626. 
Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers için kapak resmi
Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers
Yazar 
Aramaki, Mitsuko. editor. Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992 Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. (orcid)0000-0001-9022-9690 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01692-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
627. 
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Yazar 
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76168-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
628. 
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings için kapak resmi
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
629. 
ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings için kapak resmi
ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings
Yazar 
Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637 Ackovska, Nevena. editor. (orcid)0000-0002-8990-0915 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00825-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
630. 
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II için kapak resmi
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Villegas, Juan G. editor. (orcid)0000-0002-2940-571X Orozco-Arroyave, Juan Rafael. editor. (orcid)0000-0002-8507-0782 Maya Duque, Pablo Andres. editor. (orcid)0000-0002-5348-8615 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00353-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
631. 
Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings için kapak resmi
Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings
Yazar 
Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343 Martínez-Santos, Juan Carlos. editor. (orcid)0000-0003-2755-0718 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98998-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
632. 
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings için kapak resmi
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Yazar 
Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00840-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
633. 
Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems için kapak resmi
Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems
Yazar 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-56499-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
634. 
Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings için kapak resmi
Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings
Yazar 
Egi, Hironori. editor. Yuizono, Takaya. editor. Baloian, Nelson. editor. Yoshino, Takashi. editor. Ichimura, Satoshi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98743-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
635. 
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings için kapak resmi
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
Yazar 
Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00560-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
636. 
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings için kapak resmi
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
637. 
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
638. 
Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016 için kapak resmi
Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
639. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04179-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
640. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04167-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
641. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04212-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
642. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04239-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
643. 
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
644. 
Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II için kapak resmi
Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91244-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
645. 
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI için kapak resmi
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
Yazar 
Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01252-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
646. 
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings için kapak resmi
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
647. 
Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings için kapak resmi
Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings
Yazar 
Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01614-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
648. 
Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III için kapak resmi
Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91250-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
649. 
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I için kapak resmi
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95162-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
650. 
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II için kapak resmi
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95165-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
651. 
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers için kapak resmi
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Yazar 
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96562-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
652. 
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings için kapak resmi
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings
Yazar 
Weske, Mathias. editor. Montali, Marco. editor. (orcid)0000-0002-8021-3430 Weber, Ingo. editor. (orcid)0000-0002-4833-5921 vom Brocke, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98648-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
653. 
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers için kapak resmi
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Yazar 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97955-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
654. 
ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings için kapak resmi
ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Yazar 
Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99828-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
655. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04224-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
656. 
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings için kapak resmi
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Yazar 
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01722-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
657. 
Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings için kapak resmi
Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Yazar 
Huang, Tingwen. editor. (orcid)0000-0001-9610-846X Lv, Jiancheng. editor. Sun, Changyin. editor. Tuzikov, Alexander V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92537-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
658. 
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III için kapak resmi
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Yazar 
Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2381-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
659. 
Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings için kapak resmi
Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings
Yazar 
Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02738-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
660. 
Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I için kapak resmi
Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91238-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
661. 
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I için kapak resmi
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756 Rodriguez-Molano, José Ignacio. editor. (orcid)0000-0003-2581-277X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00350-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
662. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
663. 
Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings için kapak resmi
Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Yazar 
Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02744-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
664. 
Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings için kapak resmi
Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings
Yazar 
Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93710-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
665. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
666. 
Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I için kapak resmi
Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Yazar 
Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92049-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
667. 
Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II için kapak resmi
Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II
Yazar 
Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96881-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
668. 
Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings için kapak resmi
Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings
Yazar 
Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820 Gehani, Ashish. editor. (orcid)0000-0002-3940-2467 Alper, Pinar. editor. (orcid)0000-0002-2224-0780 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98379-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
669. 
Innovative Technologies and Learning First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings için kapak resmi
Innovative Technologies and Learning First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings
Yazar 
Wu, Ting-Ting. editor. Huang, Yueh-Min. editor. Shadiev, Rustam. editor. Lin, Lin. editor. Starčič, Andreja Istenič. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99737-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
670. 
Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings için kapak resmi
Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings
Yazar 
Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022 El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286 Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X Nishinari, Katsuhiro. editor. Manzoni, Luca. editor. (orcid)0000-0001-6312-7728
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99813-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
671. 
Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
Yazar 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99954-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
672. 
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II için kapak resmi
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II
Yazar 
Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93399-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
673. 
Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings için kapak resmi
Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
674. 
Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings için kapak resmi
Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings
Yazar 
Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00940-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
675. 
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Yazar 
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02508-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
676. 
Security Protocols XXVI 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers için kapak resmi
Security Protocols XXVI 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers
Yazar 
Matyáš, Vashek. editor. Švenda, Petr. editor. Stajano, Frank. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03251-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
677. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04182-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
678. 
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II için kapak resmi
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Yazar 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
679. 
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II için kapak resmi
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Yazar 
Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2384-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
680. 
Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings için kapak resmi
Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings
Yazar 
Uden, Lorna. editor. Liberona, Dario. editor. Ristvej, Jozef. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95522-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
681. 
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings için kapak resmi
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Yazar 
Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02852-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
682. 
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings için kapak resmi
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Yazar 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
683. 
Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings için kapak resmi
Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings
Yazar 
Venkataramani, Guru Prasadh. editor. Sankaranarayanan, Karthik. editor. Mukherjee, Saswati. editor. Arputharaj, Kannan. editor. Sankara Narayanan, Swamynathan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7635-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
684. 
Tree-Based Convolutional Neural Networks Principles and Applications için kapak resmi
Tree-Based Convolutional Neural Networks Principles and Applications
Yazar 
Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-1870-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
685. 
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers için kapak resmi
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Yazar 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
686. 
Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers için kapak resmi
Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers
Yazar 
Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
687. 
Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings için kapak resmi
Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings
Yazar 
Meng, Limin. editor. Zhang, Yan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00557-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
688. 
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I için kapak resmi
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Yazar 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95930-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
689. 
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings için kapak resmi
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Yazar 
Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78890-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
690. 
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI için kapak resmi
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI
Yazar 
Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01270-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
691. 
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings için kapak resmi
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Yazar 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73117-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
692. 
Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers için kapak resmi
Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers
Yazar 
Li, Jianzhong. editor. Ma, Huadong. editor. Li, Keqiu. editor. Cui, Li. editor. Sun, Limin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8123-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
693. 
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings için kapak resmi
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Yazar 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
694. 
Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings için kapak resmi
Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
695. 
On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers
Yazar 
Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73805-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
696. 
MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II için kapak resmi
MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II
Yazar 
Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73600-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
697. 
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers için kapak resmi
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Yazar 
Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76687-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
698. 
Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings için kapak resmi
Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings
Yazar 
Liu, Chengfei. editor. Zou, Lei. editor. Li, Jianxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91455-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
699. 
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings için kapak resmi
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Yazar 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
700. 
Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers için kapak resmi
Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers
Yazar 
Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91593-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
701. 
Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings için kapak resmi
Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
Yazar 
Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91662-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
702. 
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab için kapak resmi
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
703. 
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I için kapak resmi
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I
Yazar 
Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93445-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
704. 
Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings için kapak resmi
Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings
Yazar 
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78574-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
705. 
Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings için kapak resmi
Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Yazar 
Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94301-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
706. 
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Yazar 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
707. 
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Yazar 
Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77243-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
708. 
Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings için kapak resmi
Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Yazar 
Sim, Kevin. editor. (orcid)0000-0001-6555-7721 Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77538-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
709. 
Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings için kapak resmi
Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings
Yazar 
Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77818-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
710. 
Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I için kapak resmi
Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I
Yazar 
Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
711. 
Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings için kapak resmi
Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings
Yazar 
Fratu, Octavian. editor. Militaru, Nicolae. editor. Halunga, Simona. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92213-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
712. 
Reproducible Research in Pattern Recognition First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers için kapak resmi
Reproducible Research in Pattern Recognition First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers
Yazar 
Kerautret, Bertrand. editor. (orcid)0000-0001-8418-2558 Colom, Miguel. editor. Monasse, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56414-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
713. 
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings için kapak resmi
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Yazar 
Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
714. 
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings için kapak resmi
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Yazar 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
715. 
Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings için kapak resmi
Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Yazar 
Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66299-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
716. 
Machine Learning in Medical Imaging 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings için kapak resmi
Machine Learning in Medical Imaging 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings
Yazar 
Wang, Qian. editor. Shi, Yinghuan. editor. Suk, Heung-Il. editor. Suzuki, Kenji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67389-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
717. 
Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I için kapak resmi
Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I
Yazar 
De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60922-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
718. 
Web Engineering 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings için kapak resmi
Web Engineering 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings
Yazar 
Cabot, Jordi. editor. De Virgilio, Roberto. editor. Torlone, Riccardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60131-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
719. 
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings için kapak resmi
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Yazar 
Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59936-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
720. 
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings için kapak resmi
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Yazar 
Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51963-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
721. 
Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers için kapak resmi
Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Yazar 
Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68136-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
722. 
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Yazar 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
723. 
Green IT Engineering: Concepts, Models, Complex Systems Architectures için kapak resmi
Green IT Engineering: Concepts, Models, Complex Systems Architectures
Yazar 
Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44162-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
724. 
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers için kapak resmi
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers
Yazar 
Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56877-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
725. 
Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach için kapak resmi
Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach
Yazar 
Di Nitto, Elisabetta. editor. Matthews, Peter. editor. Petcu, Dana. editor. Solberg, Arnor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46031-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
726. 
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V için kapak resmi
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
Yazar 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62404-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
727. 
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI için kapak resmi
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
Yazar 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62407-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
728. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Yazar 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
729. 
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I için kapak resmi
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
Yazar 
Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71150-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
730. 
Organic Computing - Technical Systems for Survival in the Real World için kapak resmi
Organic Computing - Technical Systems for Survival in the Real World
Yazar 
Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68477-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
731. 
Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings için kapak resmi
Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
Yazar 
Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67642-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
732. 
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II için kapak resmi
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
Yazar 
Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71147-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
733. 
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Yazar 
Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72308-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
734. 
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings için kapak resmi
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
Yazar 
Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68496-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
735. 
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers için kapak resmi
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Yazar 
de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74183-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
736. 
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
737. 
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69459-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
738. 
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings için kapak resmi
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Yazar 
Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72453-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
739. 
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers için kapak resmi
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
Yazar 
Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71649-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
740. 
Transactions on Petri Nets and Other Models of Concurrency XII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XII
Yazar 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
741. 
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015 için kapak resmi
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Yazar 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
742. 
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Yazar 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
743. 
Trends and Applications in Software Engineering Proceedings of CIMPS 2016 için kapak resmi
Trends and Applications in Software Engineering Proceedings of CIMPS 2016
Yazar 
Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Álvaro. editor. San Feliu, Tomas. editor. Peña, Adriana. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48523-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
744. 
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I için kapak resmi
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
Yazar 
d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68288-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
745. 
Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers için kapak resmi
Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers
Yazar 
Kalinichenko, Leonid. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57135-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
746. 
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Yazar 
Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66263-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
747. 
Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland için kapak resmi
Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland
Yazar 
Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43606-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
748. 
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings için kapak resmi
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Yazar 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
749. 
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I için kapak resmi
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I
Yazar 
Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66923-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
750. 
Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings için kapak resmi
Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings
Yazar 
Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70004-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
751. 
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Yazar 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
752. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
753. 
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings için kapak resmi
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Yazar 
Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68210-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
754. 
Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II için kapak resmi
Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II
Yazar 
Kalai, Yael. editor. Reyzin, Leonid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70503-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
755. 
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Yazar 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
756. 
Data Management Technologies and Applications 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers için kapak resmi
Data Management Technologies and Applications 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers
Yazar 
Francalanci, Chiara. editor. Helfert, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62911-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
757. 
Trends in Software Testing için kapak resmi
Trends in Software Testing
Yazar 
Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1415-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
758. 
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II için kapak resmi
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II
Yazar 
d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68204-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
759. 
Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings için kapak resmi
Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Yazar 
Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68474-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
760. 
Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings için kapak resmi
Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings
Yazar 
Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69035-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
761. 
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings için kapak resmi
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
Yazar 
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
762. 
Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings için kapak resmi
Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings
Yazar 
de Cesare, Sergio. editor. Frank, Ulrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70625-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
763. 
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings için kapak resmi
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Yazar 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
764. 
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Yazar 
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51676-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
765. 
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part II için kapak resmi
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part II
Yazar 
Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58451-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
766. 
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Yazar 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
767. 
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers için kapak resmi
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Yazar 
Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61994-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
768. 
Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings için kapak resmi
Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings
Yazar 
Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57186-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
769. 
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings için kapak resmi
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Yazar 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
770. 
Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II için kapak resmi
Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
771. 
Technologies and Innovation Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings için kapak resmi
Technologies and Innovation Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings
Yazar 
Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Lagos-Ortiz, Katty. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo, Javier. editor. Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67283-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
772. 
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers için kapak resmi
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Yazar 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
773. 
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Yazar 
Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67729-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
774. 
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings için kapak resmi
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
Yazar 
Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61252-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
775. 
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers için kapak resmi
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Yazar 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66302-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
776. 
Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings için kapak resmi
Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings
Yazar 
Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66562-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
777. 
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings için kapak resmi
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Yazar 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
778. 
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Yazar 
Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60225-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
779. 
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Yazar 
Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57418-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
780. 
Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II için kapak resmi
Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II
Yazar 
De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60928-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
781. 
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Yazar 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
782. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
783. 
Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings için kapak resmi
Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings
Yazar 
Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59536-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
784. 
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings için kapak resmi
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Yazar 
Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67952-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
785. 
Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I için kapak resmi
Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
786. 
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings için kapak resmi
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Yazar 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
787. 
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I için kapak resmi
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I
Yazar 
Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58068-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
788. 
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57708-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
789. 
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings için kapak resmi
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Yazar 
Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56258-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
790. 
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings için kapak resmi
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Yazar 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
791. 
Cloud Broker and Cloudlet for Workflow Scheduling için kapak resmi
Cloud Broker and Cloudlet for Workflow Scheduling
Yazar 
Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-5071-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
792. 
Pervasive Computing Engineering Smart Systems için kapak resmi
Pervasive Computing Engineering Smart Systems
Yazar 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
793. 
Enterprise Information Systems 18th International Conference, ICEIS 2016, Rome, Italy, April 25-28, 2016, Revised Selected Papers için kapak resmi
Enterprise Information Systems 18th International Conference, ICEIS 2016, Rome, Italy, April 25-28, 2016, Revised Selected Papers
Yazar 
Hammoudi, Slimane. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Missikoff, Michele M. editor. Camp, Olivier. editor. (orcid)0000-0003-0905-2432 Cordeiro, José. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
794. 
OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers için kapak resmi
OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
Yazar 
Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54627-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
795. 
Collaboration in a Data-Rich World 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings için kapak resmi
Collaboration in a Data-Rich World 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings
Yazar 
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Fornasiero, Rosanna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65151-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
796. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
797. 
Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings için kapak resmi
Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66963-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
798. 
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Yazar 
Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58187-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
799. 
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69462-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
800. 
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II için kapak resmi
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II
Yazar 
Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66926-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
801. 
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Yazar 
Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46520-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
802. 
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings için kapak resmi
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Yazar 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
803. 
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers için kapak resmi
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Yazar 
Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39110-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
804. 
Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers için kapak resmi
Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers
Yazar 
de Gloria, Alessandro. editor. Veltkamp, Remco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40216-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
805. 
Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers için kapak resmi
Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers
Yazar 
Wang, Fusheng. editor. (orcid)0000-0002-9369-9361 Luo, Gang. editor. Weng, Chunhua. editor. Khan, Arijit. editor. Mitra, Prasenjit. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41576-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
806. 
Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria için kapak resmi
Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria
Yazar 
Chikhi, Salim. editor. Amine, Abdelmalek. editor. Chaoui, Allaoua. editor. Kholladi, Mohamed Khireddine. editor. Saidouni, Djamel Eddine. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33410-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
807. 
Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers için kapak resmi
Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
Yazar 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48959-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
808. 
Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis için kapak resmi
Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis
Yazar 
Meisen, Philipp. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-15728-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
809. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Yazar 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
810. 
On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
Yazar 
Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Meersman, Robert. editor. Dillon, Tharam. editor. Kühn, eva. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48472-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
811. 
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Yazar 
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50230-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
812. 
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers için kapak resmi
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Yazar 
Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40361-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
813. 
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Yazar 
Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30246-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
814. 
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015 için kapak resmi
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Yazar 
Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27896-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
815. 
Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers için kapak resmi
Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers
Yazar 
Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45916-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
816. 
Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings için kapak resmi
Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings
Yazar 
Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Gergel, Victor. editor. Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Meyerov, Iosif. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49956-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
817. 
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
818. 
Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings için kapak resmi
Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings
Yazar 
Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Lucas Soares, António. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45390-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
819. 
Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III için kapak resmi
Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39513-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
820. 
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings için kapak resmi
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Yazar 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
821. 
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday için kapak resmi
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Yazar 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
822. 
Trustworthy Open Self-Organising Systems için kapak resmi
Trustworthy Open Self-Organising Systems
Yazar 
Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29201-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
823. 
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I için kapak resmi
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I
Yazar 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39510-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
824. 
Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers için kapak resmi
Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers
Yazar 
Nääs, Irenilza. editor. Vendrametto, Oduvaldo. editor. Mendes Reis, João. editor. Gonçalves, Rodrigo Franco. editor. Silva, Márcia Terra. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51133-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
825. 
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Yazar 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
826. 
Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings için kapak resmi
Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
Yazar 
Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46254-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
827. 
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings için kapak resmi
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Yazar 
Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40530-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
828. 
Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings için kapak resmi
Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
Yazar 
Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47217-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
829. 
Frontier Computing Theory, Technologies and Applications için kapak resmi
Frontier Computing Theory, Technologies and Applications
Yazar 
Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-0539-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
830. 
Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings için kapak resmi
Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings
Yazar 
Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Lagos-Ortiz, Katty. editor. Alcaraz-Mármol, Gema. editor. del Cioppo, Javier. editor. Vera-Lucio, Nestor. editor. (orcid)0000-0002-1006-1566
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48024-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
831. 
Autonomic Road Transport Support Systems için kapak resmi
Autonomic Road Transport Support Systems
Yazar 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
832. 
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Yazar 
Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29919-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
833. 
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
834. 
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings için kapak resmi
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings
Yazar 
Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40180-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
835. 
Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers için kapak resmi
Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Yazar 
Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50539-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
836. 
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings için kapak resmi
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
Yazar 
Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32689-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
837. 
Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 için kapak resmi
Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015
Yazar 
Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Calvo-Manzano, Jose. editor. (orcid)0000-0002-2864-2203 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26285-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
838. 
Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings için kapak resmi
Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings
Yazar 
Bozzon, Alessandro. editor. (orcid)0000-0002-3300-2913 Cudré-Mauroux, Philippe. editor. Pautasso, Cesare. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-38791-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
839. 
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings için kapak resmi
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
Yazar 
Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47717-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
840. 
Crisis Management for Software Development and Knowledge Transfer için kapak resmi
Crisis Management for Software Development and Knowledge Transfer
Yazar 
Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42966-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
841. 
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
842. 
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015 için kapak resmi
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
Yazar 
Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-0551-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
843. 
Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers için kapak resmi
Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers
Yazar 
Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50935-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
844. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
845. 
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings için kapak resmi
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Yazar 
Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47151-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
846. 
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings için kapak resmi
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
Yazar 
Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49192-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
847. 
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Yazar 
Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40970-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
848. 
Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings için kapak resmi
Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
Yazar 
Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44896-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
849. 
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers için kapak resmi
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Yazar 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
850. 
Transactions on Engineering Technologies için kapak resmi
Transactions on Engineering Technologies
Yazar 
Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1088-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
851. 
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings için kapak resmi
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Yazar 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29604-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
852. 
History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers için kapak resmi
History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
Yazar 
Gadducci, Fabio. editor. Tavosanis, Mirko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47286-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
853. 
Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers için kapak resmi
Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers
Yazar 
Brinda, Torsten. editor. (orcid)0000-0001-6137-4258 Mavengere, Nicholas. editor. Haukijärvi, Ilkka. editor. Lewin, Cathy. editor. Passey, Don. editor. (orcid)0000-0002-9205-502X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54687-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
854. 
Instruction Selection Principles, Methods, and Applications için kapak resmi
Instruction Selection Principles, Methods, and Applications
Yazar 
Hjort Blindell, Gabriel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34019-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
855. 
Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers için kapak resmi
Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50880-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
856. 
Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers için kapak resmi
Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers
Yazar 
Leon-Garcia, Alberto. editor. Lenort, Radim. editor. Holman, David. editor. Staš, David. editor. Krutilova, Veronika. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33681-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
857. 
Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems için kapak resmi
Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems
Yazar 
Garcia, Emilia. author. Giret, Adriana. author. Botti, Vicente. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11572-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
858. 
Autonomy Requirements Engineering for Space Missions için kapak resmi
Autonomy Requirements Engineering for Space Missions
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
859. 
Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings için kapak resmi
Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings
Yazar 
Casteleyn, Sven. editor. Rossi, Gustavo. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08245-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
860. 
Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings için kapak resmi
Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
861. 
Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings için kapak resmi
Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings
Yazar 
Pecchia, Leandro. editor. Chen, Liming. editor. Nugent, Chris. editor. Bravo, Jose. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13105-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
862. 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
863. 
Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks için kapak resmi
Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
864. 
Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation için kapak resmi
Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation
Yazar 
Siegfried, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-07529-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
865. 
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
866. 
Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers için kapak resmi
Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
Yazar 
Mazzeo, Pier Luigi. editor. Spagnolo, Paolo. editor. Moeslund, Thomas B. editor. (orcid)0000-0001-7584-5209 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13323-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
867. 
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings için kapak resmi
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Yazar 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
868. 
Automatic Generation of Combinatorial Test Data için kapak resmi
Automatic Generation of Combinatorial Test Data
Yazar 
Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43429-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
869. 
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday için kapak resmi
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
870. 
Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers için kapak resmi
Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers
Yazar 
Elmenreich, Wilfried. editor. Dressler, Falko. editor. Loreto, Vittorio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54140-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
871. 
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings için kapak resmi
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
872. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
873. 
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Yazar 
McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54013-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
874. 
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers için kapak resmi
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Yazar 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
875. 
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings için kapak resmi
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13749-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
876. 
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings için kapak resmi
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Yazar 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
877. 
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems için kapak resmi
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
Yazar 
Wagner, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-05270-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
878. 
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation için kapak resmi
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
Yazar 
Mendes, Emilia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54157-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
879. 
Break-Glass Handling Exceptional Situations in Access Control için kapak resmi
Break-Glass Handling Exceptional Situations in Access Control
Yazar 
Petritsch, Helmut. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-07365-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
880. 
Handbook on Agent-Oriented Design Processes için kapak resmi
Handbook on Agent-Oriented Design Processes
Yazar 
Cossentino, Massimo. editor. Hilaire, Vincent. editor. Molesini, Ambra. editor. Seidita, Valeria. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-39975-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
881. 
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings için kapak resmi
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Yazar 
Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44811-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
882. 
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Yazar 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
883. 
Handbook of Neuroevolution Through Erlang için kapak resmi
Handbook of Neuroevolution Through Erlang
Yazar 
Sher, Gene I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331512.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
884. 
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings için kapak resmi
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
885. 
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(333011.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
886. 
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings için kapak resmi
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Yazar 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332999.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
887. 
Ontology-Driven Software Development için kapak resmi
Ontology-Driven Software Development
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
888. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
889. 
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers için kapak resmi
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
890. 
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers için kapak resmi
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
891. 
SmartShadow: Models and Methods for Pervasive Computing için kapak resmi
SmartShadow: Models and Methods for Pervasive Computing
Yazar 
Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334190.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36382-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
892. 
Semantic Mashups Intelligent Reuse of Web Resources için kapak resmi
Semantic Mashups Intelligent Reuse of Web Resources
Yazar 
Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334195.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36403-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
893. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
894. 
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings için kapak resmi
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Yazar 
Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332965.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03092-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
895. 
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I için kapak resmi
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Yazar 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332993.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03753-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
896. 
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II için kapak resmi
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Yazar 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332994.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03756-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
897. 
Managing Requirements Knowledge için kapak resmi
Managing Requirements Knowledge
Yazar 
Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333846.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34419-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
898. 
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers için kapak resmi
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
899. 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Yazar 
Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334552.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
900. 
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers için kapak resmi
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç