Arama Sonuçları Robotics. - Daraltılmış: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dRobotics.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-25T18:23:00Z
Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399786
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Salichs, Miguel A. editor. Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100 He, Hongsheng. editor. (orcid)0000-0002-2810-865X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399970
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399986
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99582-3">https://doi.org/10.1007/978-3-319-99582-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399243
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334756
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334756.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335018
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335018.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335019
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335019.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197390
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197392
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197394
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194878
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Obdržálek, David. editor. Gottscheber, Achim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21975-7">http://dx.doi.org/10.1007/978-3-642-21975-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195963
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25504-5">http://dx.doi.org/10.1007/978-3-642-25504-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193092
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Vadakkepat, Prahlad. editor. Kim, Jong-Hwan. editor. Jesse, Norbert. editor. Mamun, Abdullah Al. editor. Kiong, Tan Kok. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15810-0">http://dx.doi.org/10.1007/978-3-642-15810-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193542
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ge, Shuzhi Sam. editor. Li, Haizhou. editor. Cabibihan, John-John. editor. Tan, Yeow Kee. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17248-9">http://dx.doi.org/10.1007/978-3-642-17248-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
ent://SD_ILS/0/SD_ILS:185977
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Bräunl, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70534-5">http://dx.doi.org/10.1007/978-3-540-70534-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
ent://SD_ILS/0/SD_ILS:184009
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Bräunl, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-34319-9">http://dx.doi.org/10.1007/3-540-34319-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience
ent://SD_ILS/0/SD_ILS:182982
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b139051">http://dx.doi.org/10.1007/b139051</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automotive Systems and Software Engineering State of the Art and Future Trends
ent://SD_ILS/0/SD_ILS:486378
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486086
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22419-6">https://doi.org/10.1007/978-3-030-22419-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486632
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Tsitouridou, Meni. editor. A. Diniz, José. editor. Mikropoulos, Tassos A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20954-4">https://doi.org/10.1007/978-3-030-20954-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484558
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05931-6">https://doi.org/10.1007/978-3-030-05931-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Neuroevolution Through Erlang
ent://SD_ILS/0/SD_ILS:331512
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Sher, Gene I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331512.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:332795
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lee, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332795.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(334041.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334055.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Yer Numarası ONLINE(334064.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334073.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334120.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334142
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334142.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SmartShadow: Models and Methods for Pervasive Computing
ent://SD_ILS/0/SD_ILS:334190
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334190.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36382-5">http://dx.doi.org/10.1007/978-3-642-36382-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332965
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332965.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332969
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.<br/>Yer Numarası ONLINE(332969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332934.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:332993
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332993.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:332994
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332994.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332999.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(333011.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
ent://SD_ILS/0/SD_ILS:333535
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lee, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333535.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Managing Requirements Knowledge
ent://SD_ILS/0/SD_ILS:333846
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333846.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34419-0">http://dx.doi.org/10.1007/978-3-642-34419-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Mashups Intelligent Reuse of Web Resources
ent://SD_ILS/0/SD_ILS:334195
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334195.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36403-7">http://dx.doi.org/10.1007/978-3-642-36403-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335198
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335198.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335210
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335210.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Autonomic Computing Principles, Design and Implementation
ent://SD_ILS/0/SD_ILS:331115
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331115.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334494
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334494.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Albert, Elvira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334552.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334556.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334859
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334859.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Personal Web A Research Agenda
ent://SD_ILS/0/SD_ILS:334876
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.<br/>Yer Numarası ONLINE(334876.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39995-4">http://dx.doi.org/10.1007/978-3-642-39995-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334950
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Yer Numarası ONLINE(334950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334951
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Yer Numarası ONLINE(334951.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334952
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Yer Numarası ONLINE(334952.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334955
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Yer Numarası ONLINE(334955.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335064
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335064.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems
ent://SD_ILS/0/SD_ILS:335123
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335123.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41569-2">http://dx.doi.org/10.1007/978-3-642-41569-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335125.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontology-Driven Software Development
ent://SD_ILS/0/SD_ILS:333408
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.<br/>Yer Numarası ONLINE(333408.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334580.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334609
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334609.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38490-5">http://dx.doi.org/10.1007/978-3-642-38490-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334626.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334652
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334652.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334655
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334655.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38709-8">http://dx.doi.org/10.1007/978-3-642-38709-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334750
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334750.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39200-9">http://dx.doi.org/10.1007/978-3-642-39200-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
RoboCup 2012: Robot Soccer World Cup XVI
ent://SD_ILS/0/SD_ILS:334765
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334765.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39250-4">http://dx.doi.org/10.1007/978-3-642-39250-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334804
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.<br/>Yer Numarası ONLINE(334804.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334814.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334820.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Yer Numarası ONLINE(334822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334825.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334840.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334841.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334973.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Yer Numarası ONLINE(334979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334987.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335023.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335043
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335043.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335044
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.<br/>Yer Numarası ONLINE(335044.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41030-7">http://dx.doi.org/10.1007/978-3-642-41030-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335048
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.<br/>Yer Numarası ONLINE(335048.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41054-3">http://dx.doi.org/10.1007/978-3-642-41054-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335169
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.<br/>Yer Numarası ONLINE(335169.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-44927-7">http://dx.doi.org/10.1007/978-3-642-44927-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335178
2024-12-25T18:23:00Z
2024-12-25T18:23:00Z
Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335178.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>