Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(662)
Antona, Margherita. editor.
(21)
Salvendy, Gavriel. editor.
(21)
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220
(21)
Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333
(18)
Dil
English
(662)
Yayın Yılı
-
Konu
Computer science.
(351)
Software engineering.
(334)
Computer networks .
(303)
Logic design.
(293)
Artificial intelligence.
(213)
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ç
662 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Wireless Networking and Mobile Data Management için kapak resmi
Wireless Networking and Mobile Data Management
Yazar 
Ghosh, R.K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3941-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Enabling the Internet of Things From Integrated Circuits to Integrated Systems için kapak resmi
Enabling the Internet of Things From Integrated Circuits to Integrated Systems
Yazar 
Alioto, Massimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51482-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
The Role of SDN in Broadband Networks için kapak resmi
The Role of SDN in Broadband Networks
Yazar 
Habibi Gharakheili, Hassan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3479-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings için kapak resmi
Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings
Yazar 
Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60033-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II için kapak resmi
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
Yazar 
Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68612-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Systems for Big Graph Analytics için kapak resmi
Systems for Big Graph Analytics
Yazar 
Yan, Da. author. Tian, Yuanyuan. author. Cheng, James. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58217-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Self-Aware Computing Systems için kapak resmi
Self-Aware Computing Systems
Yazar 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Mobile Health Sensors, Analytic Methods, and Applications için kapak resmi
Mobile Health Sensors, Analytic Methods, and Applications
Yazar 
Rehg, James M. editor. Murphy, Susan A. editor. Kumar, Santosh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51394-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Outlier Ensembles An Introduction için kapak resmi
Outlier Ensembles An Introduction
Yazar 
Aggarwal, Charu C. author. Sathe, Saket. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54765-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Security, Privacy, and Applied Cryptography Engineering 7th International Conference, SPACE 2017, Goa, India, December 13-17, 2017, Proceedings için kapak resmi
Security, Privacy, and Applied Cryptography Engineering 7th International Conference, SPACE 2017, Goa, India, December 13-17, 2017, Proceedings
Yazar 
Ali, Sk Subidh. editor. Danger, Jean-Luc. editor. Eisenbarth, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71501-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Game Theory for Networks 6th International Conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016, Revised Selected Papers için kapak resmi
Game Theory for Networks 6th International Conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016, Revised Selected Papers
Yazar 
Cheng, Julian. editor. Hossain, Ekram. editor. Zhang, Haijun. editor. Saad, Walid. editor. Chatterjee, Mainak. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47509-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings için kapak resmi
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings
Yazar 
Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67380-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
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:
14. 
Secure and Trustworthy Transportation Cyber-Physical Systems için kapak resmi
Secure and Trustworthy Transportation Cyber-Physical Systems
Yazar 
Sun, Yunchuan. editor. Song, Houbing. editor. (orcid)0000-0003-2631-9223 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3892-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Ambient Intelligence 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings için kapak resmi
Ambient Intelligence 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings
Yazar 
Braun, Andreas. editor. Wichert, Reiner. editor. Maña, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56997-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Guide to Security in SDN and NFV Challenges, Opportunities, and Applications için kapak resmi
Guide to Security in SDN and NFV Challenges, Opportunities, and Applications
Yazar 
Zhu, Shao Ying. editor. Scott-Hayward, Sandra. editor. Jacquin, Ludovic. editor. Hill, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64653-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Traffic Measurement for Big Network Data için kapak resmi
Traffic Measurement for Big Network Data
Yazar 
Chen, Shigang. author. Chen, Min. author. Xiao, Qingjun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47340-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective için kapak resmi
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Yazar 
Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55483-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Dynamic Sharing of Wireless Spectrum için kapak resmi
Dynamic Sharing of Wireless Spectrum
Yazar 
Zhou, Haibo. author. Yu, Quan. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X Wu, Shaohua. author. Zhang, Qinyu. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45077-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers için kapak resmi
Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers
Yazar 
Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49580-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Green Symbiotic Cloud Communications için kapak resmi
Green Symbiotic Cloud Communications
Yazar 
Mustafa, H.D. author. Merchant, Shabbir N. author. Desai, Uday B. author. Baveja, Brij Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3512-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Smart Grid Inspired Future Technologies Second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017, Proceedings için kapak resmi
Smart Grid Inspired Future Technologies Second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017, Proceedings
Yazar 
Lau, Eng Tseng. editor. Chai, Michael K.K. editor. Chen, Yue. editor. Jung, Oliver. editor. Leung, Victor C.M. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61813-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems için kapak resmi
Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems
Yazar 
Manfredi, Sabato. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41646-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II için kapak resmi
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Yazar 
Duffy, Vincent G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58466-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Index Modulation for 5G Wireless Communications için kapak resmi
Index Modulation for 5G Wireless Communications
Yazar 
Wen, Miaowen. author. Cheng, Xiang. author. Yang, Liuqing. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51355-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Serviceology for Smart Service System Selected papers of the 3rd International Conference of Serviceology için kapak resmi
Serviceology for Smart Service System Selected papers of the 3rd International Conference of Serviceology
Yazar 
Sawatani, Yuriko. editor. Spohrer, James. editor. Kwan, Stephen. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-56074-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Architectural Transformations in Network Services and Distributed Systems için kapak resmi
Architectural Transformations in Network Services and Distributed Systems
Yazar 
Luntovskyy, Andriy. author. Spillner, Josef. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-14842-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Universal Access in Human-Computer Interaction. Human and Technological Environments 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III için kapak resmi
Universal Access in Human-Computer Interaction. Human and Technological Environments 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
Yazar 
Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58700-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers için kapak resmi
Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers
Yazar 
Farshim, Pooya. editor. Simion, Emil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69284-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers için kapak resmi
Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers
Yazar 
Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56111-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Smart Grid Inspired Future Technologies First International Conference, SmartGIFT 2016, Liverpool, UK, May 19-20, 2016, Revised Selected Papers için kapak resmi
Smart Grid Inspired Future Technologies First International Conference, SmartGIFT 2016, Liverpool, UK, May 19-20, 2016, Revised Selected Papers
Yazar 
Hu, Jia. editor. Leung, Victor C. M. editor. Yang, Kun. editor. Zhang, Yan. editor. Gao, Jianliang. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47729-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Resource Management for Energy and Spectrum Harvesting Sensor Networks için kapak resmi
Resource Management for Energy and Spectrum Harvesting Sensor Networks
Yazar 
Zhang, Deyu. author. Chen, Zhigang. author. Zhou, Haibo. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53771-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Strategic Engineering for Cloud Computing and Big Data Analytics için kapak resmi
Strategic Engineering for Cloud Computing and Big Data Analytics
Yazar 
Hosseinian-Far, Amin. editor. Ramachandran, Muthu. editor. Sarwar, Dilshad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52491-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Decision and Game Theory for Security 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings için kapak resmi
Decision and Game Theory for Security 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings
Yazar 
Rass, Stefan. editor. An, Bo. editor. Kiekintveld, Christopher. editor. Fang, Fei. editor. Schauer, Stefan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68711-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Fraud Prevention in Online Digital Advertising için kapak resmi
Fraud Prevention in Online Digital Advertising
Yazar 
Zhu, Xingquan. author. (orcid)0000-0003-4129-9611 Tao, Haicheng. author. Wu, Zhiang. author. Cao, Jie. author. Kalish, Kristopher. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56793-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Transactions on Edutainment XIII için kapak resmi
Transactions on Edutainment XIII
Yazar 
Pan, Zhigeng. editor. (orcid)0000-0003-0717-5850 Cheok, Adrian David. editor. Müller, Wolfgang. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54395-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings için kapak resmi
Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
Yazar 
Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66188-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Contract Theory for Wireless Networks için kapak resmi
Contract Theory for Wireless Networks
Yazar 
Zhang, Yanru. author. Han, Zhu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53288-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Overlapping Coalition Formation Games in Wireless Communication Networks için kapak resmi
Overlapping Coalition Formation Games in Wireless Communication Networks
Yazar 
Wang, Tianyu. author. Song, Lingyang. author. Saad, Walid. author. Han, Zhu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25700-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Robust Receding Horizon Control for Networked and Distributed Nonlinear Systems için kapak resmi
Robust Receding Horizon Control for Networked and Distributed Nonlinear Systems
Yazar 
Li, Huiping. author. Shi, Yang. author. (orcid)0000-0003-1337-5322 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48290-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Mobile Payment Systems Secure Network Architectures and Protocols için kapak resmi
Mobile Payment Systems Secure Network Architectures and Protocols
Yazar 
Téllez, Jesús. author. Zeadally, Sherali. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23033-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics için kapak resmi
Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics
Yazar 
Günes, M. author. Reina, D. G. author. Garcia Campos, J. M. author. Toral, S. L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62740-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Service Level Management in Cloud Computing Pareto-Efficient Negotiations, Reliable Monitoring, and Robust Monitor Placement için kapak resmi
Service Level Management in Cloud Computing Pareto-Efficient Negotiations, Reliable Monitoring, and Robust Monitor Placement
Yazar 
Holloway, Melanie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-18773-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Smart Cards, Tokens, Security and Applications için kapak resmi
Smart Cards, Tokens, Security and Applications
Yazar 
Mayes, Keith. editor. Markantonakis, Konstantinos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50500-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Internet Video Data Streaming Energy-saving and Cost-aware Methods için kapak resmi
Internet Video Data Streaming Energy-saving and Cost-aware Methods
Yazar 
Tian, Ye. author. Zhao, Min. author. Zhang, Xinming. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-6523-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Universal Access in Human-Computer Interaction. Designing Novel Interactions 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II için kapak resmi
Universal Access in Human-Computer Interaction. Designing Novel Interactions 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Yazar 
Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58703-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example için kapak resmi
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Yazar 
Wisniewski, Lukasz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54650-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools için kapak resmi
Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools
Yazar 
Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65188-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Radio Resource Management for Mobile Traffic Offloading in Heterogeneous Cellular Networks için kapak resmi
Radio Resource Management for Mobile Traffic Offloading in Heterogeneous Cellular Networks
Yazar 
Wu, Yuan. author. Qian, Li Ping. author. Huang, Jianwei. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51037-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Safety Message Broadcast in Vehicular Networks için kapak resmi
Safety Message Broadcast in Vehicular Networks
Yazar 
Bi, Yuanguo. author. Zhou, Haibo. author. Zhuang, Weihua. author. (orcid)0000-0003-0488-511X Zhao, Hai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47352-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Industrial Networks and Intelligent Systems Second International Conference, INISCOM 2016, Leicester, UK, October 31 - November 1, 2016, Proceedings için kapak resmi
Industrial Networks and Intelligent Systems Second International Conference, INISCOM 2016, Leicester, UK, October 31 - November 1, 2016, Proceedings
Yazar 
Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782 Janicke, Helge. editor. Jones, Kevin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52569-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Anti-fragile ICT Systems için kapak resmi
Anti-fragile ICT Systems
Yazar 
Hole, Kjell Jørgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30070-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques için kapak resmi
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
Yazar 
Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44881-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Cooperative Cognitive Radio Networking System Model, Enabling Techniques, and Performance için kapak resmi
Cooperative Cognitive Radio Networking System Model, Enabling Techniques, and Performance
Yazar 
Cao, Bin. author. Zhang, Qinyu. author. Mark, Jon W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32881-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings için kapak resmi
Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Yazar 
Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46295-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Yazar 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30843-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Human Aspects of IT for the Aged Population. Healthy and Active Aging Second International Conference, ITAP 2016, Held as Part of HCI International 2016 Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II için kapak resmi
Human Aspects of IT for the Aged Population. Healthy and Active Aging Second International Conference, ITAP 2016, Held as Part of HCI International 2016 Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II
Yazar 
Zhou, Jia. editor. (orcid)0000-0003-2497-0012 Salvendy, Gavriel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39949-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1 için kapak resmi
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1
Yazar 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2517-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Yazar 
Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39086-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Opportunistic Spectrum Utilization in Vehicular Communication Networks için kapak resmi
Opportunistic Spectrum Utilization in Vehicular Communication Networks
Yazar 
Cheng, Nan. author. Shen, Xuemin (Sherman). author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20445-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Cyber-security of SCADA and Other Industrial Control Systems için kapak resmi
Cyber-security of SCADA and Other Industrial Control Systems
Yazar 
Colbert, Edward J. M. editor. Kott, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32125-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Software Defined Networking Applications in Distributed Datacenters için kapak resmi
Software Defined Networking Applications in Distributed Datacenters
Yazar 
Qi, Heng. author. Li, Keqiu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33135-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Persuasive Technology 11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings için kapak resmi
Persuasive Technology 11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings
Yazar 
Meschtscherjakov, Alexander. editor. De Ruyter, Boris. editor. Fuchsberger, Verena. editor. Murer, Martin. editor. Tscheligi, Manfred. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31510-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2 için kapak resmi
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2
Yazar 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2523-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Complex Systems Relationships between Control, Communications and Computing için kapak resmi
Complex Systems Relationships between Control, Communications and Computing
Yazar 
Dimirovski, Georgi M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28860-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings için kapak resmi
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Yazar 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Wireless Sensor Networks for Structural Health Monitoring için kapak resmi
Wireless Sensor Networks for Structural Health Monitoring
Yazar 
Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29034-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Potential Game Theory Applications in Radio Resource Allocation için kapak resmi
Potential Game Theory Applications in Radio Resource Allocation
Yazar 
Lã, Quang Duy. author. Chew, Yong Huat. author. Soong, Boon-Hee. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30869-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Designing Networks for Innovation and Improvisation Proceedings of the 6th International COINs Conference için kapak resmi
Designing Networks for Innovation and Improvisation Proceedings of the 6th International COINs Conference
Yazar 
Zylka, Matthäus P. editor. Fuehres, Hauke. editor. Fronzetti Colladon, Andrea. editor. Gloor, Peter A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42697-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Social Video Content Delivery için kapak resmi
Social Video Content Delivery
Yazar 
Wang, Zhi. author. Liu, Jiangchuan. author. Zhu, Wenwu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33652-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Mobile Electric Vehicles Online Charging and Discharging için kapak resmi
Mobile Electric Vehicles Online Charging and Discharging
Yazar 
Wang, Miao. author. Zhang, Ran. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25130-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Physical Layer Security in Random Cellular Networks için kapak resmi
Physical Layer Security in Random Cellular Networks
Yazar 
Wang, Hui-Ming. author. Zheng, Tong-Xing. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1575-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Advances in Web-Based Learning - ICWL 2016 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings için kapak resmi
Advances in Web-Based Learning - ICWL 2016 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings
Yazar 
Chiu, Dickson K.W. editor. Marenzi, Ivana. editor. Nanni, Umberto. editor. Spaniol, Marc. editor. (orcid)0000-0002-5094-4523 Temperini, Marco. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47440-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Research and Advanced Technology for Digital Libraries 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings için kapak resmi
Research and Advanced Technology for Digital Libraries 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings
Yazar 
Fuhr, Norbert. editor. Kovács, László. editor. Risse, Thomas. editor. Nejdl, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43997-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings için kapak resmi
Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings
Yazar 
Yang, Qing. editor. Yu, Wei. editor. Challal, Yacine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42836-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Culture, Technology, Communication. Common World, Different Futures 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers için kapak resmi
Culture, Technology, Communication. Common World, Different Futures 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers
Yazar 
Abdelnour-Nocera, José. editor. Strano, Michele. editor. Ess, Charles. editor. Van der Velden, Maja. editor. (orcid)0000-0002-9947-5692 Hrachovec, Herbert. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50109-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
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:
79. 
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings için kapak resmi
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Yazar 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44615-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
RFID Technologies for Internet of Things için kapak resmi
RFID Technologies for Internet of Things
Yazar 
Chen, Min. author. Chen, Shigang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47355-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Market-Driven Spectrum Sharing in Cognitive Radio için kapak resmi
Market-Driven Spectrum Sharing in Cognitive Radio
Yazar 
Yi, Changyan. author. Cai, Jun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29691-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Serviceology for Designing the Future Selected and Edited Papers of the 2nd International Conference on Serviceology için kapak resmi
Serviceology for Designing the Future Selected and Edited Papers of the 2nd International Conference on Serviceology
Yazar 
Maeno, Takashi. editor. Sawatani, Yuriko. editor. Hara, Tatsunori. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-55861-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3 için kapak resmi
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3
Yazar 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2526-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Social Robotics 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings için kapak resmi
Social Robotics 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings
Yazar 
Agah, Arvin. editor. Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Howard, Ayanna M. editor. Salichs, Miguel A. editor. He, Hongsheng. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47437-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings için kapak resmi
Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
Yazar 
Gavoille, Cyril. editor. Ilcinkas, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53426-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Distributed Fusion Estimation for Sensor Networks with Communication Constraints için kapak resmi
Distributed Fusion Estimation for Sensor Networks with Communication Constraints
Yazar 
Zhang, Wen-An. author. Chen, Bo. author. (orcid)0000-0001-6150-3881 Song, Haiyu. author. Yu, Li. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-0795-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014 için kapak resmi
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Yazar 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2 için kapak resmi
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2
Yazar 
Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2009-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Informatics and Communication Technologies for Societal Development Proceedings of ICICTS 2014 için kapak resmi
Informatics and Communication Technologies for Societal Development Proceedings of ICICTS 2014
Yazar 
Rajsingh, Elijah Blessing. editor. Bhojan, Anand. editor. Peter, J. Dinesh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-1916-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Ubiquitous Computing Application and Wireless Sensor UCAWSN-14 için kapak resmi
Ubiquitous Computing Application and Wireless Sensor UCAWSN-14
Yazar 
Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Chao, Han-Chieh. editor. Yi, Gangman. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-9618-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems için kapak resmi
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems
Yazar 
Mu, Jiasong. editor. Liang, Qilian. editor. Wang, Wei. editor. Zhang, Baoju. editor. Pi, Yiming. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08991-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Communication and Control for Networked Complex Systems için kapak resmi
Communication and Control for Networked Complex Systems
Yazar 
Peng, Chen. author. Yue, Dong. author. Han, Qing-Long. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46813-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Soft Computing in Computer and Information Science için kapak resmi
Soft Computing in Computer and Information Science
Yazar 
Wiliński, Antoni. editor. Fray, Imed El. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15147-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Theory and Applications of Applied Electromagnetics APPEIC 2014 için kapak resmi
Theory and Applications of Applied Electromagnetics APPEIC 2014
Yazar 
Sulaiman, Hamzah Asyrani. editor. Othman, Mohd Azlishah. editor. Abd. Aziz, Mohamad Zoinol Abidin. editor. Abd Malek, Mohd Fareq. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17269-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Information Science and Applications için kapak resmi
Information Science and Applications
Yazar 
Kim, Kuinam J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46578-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014 için kapak resmi
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
Yazar 
Wong, W. Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11104-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1 için kapak resmi
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
Yazar 
Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2012-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Structural Processing for Wireless Communications için kapak resmi
Structural Processing for Wireless Communications
Yazar 
Lu, Jianhua. author. Tao, Xiaoming. author. Ge, Ning. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15711-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
4G: Deployment Strategies and Operational Implications Managing Critical Decisions in Deployment of 4G/LTE Networks and their Effects on Network Operations and Business için kapak resmi
4G: Deployment Strategies and Operational Implications Managing Critical Decisions in Deployment of 4G/LTE Networks and their Effects on Network Operations and Business
Yazar 
Venkataraman Krishnamurthy, Trichy. author. Shetty, Rajaneesh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6326-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Distributed Programming Theory and Practice için kapak resmi
Distributed Programming Theory and Practice
Yazar 
Shankar, A. Udaya. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331611.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Internetworking Technological Foundations and Applications için kapak resmi
Internetworking Technological Foundations and Applications
Yazar 
Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333971.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35392-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings için kapak resmi
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Yazar 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
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:
104. 
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Yazar 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Yer Numarası 
ONLINE(332964.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
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:
107. 
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings için kapak resmi
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Yazar 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334665.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yazar 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335141.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
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:
110. 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Yazar 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334610.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Yazar 
Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334772.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings için kapak resmi
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Yazar 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334697.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334711.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Drira, Khalil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334714.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334715.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Yazar 
Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334728.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Yazar 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası 
ONLINE(334822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings için kapak resmi
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Yazar 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334968.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Yazar 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332921.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers için kapak resmi
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Yazar 
Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28038-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems için kapak resmi
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Yazar 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings için kapak resmi
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Yazar 
Schmitt, Jens B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28540-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Yazar 
Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28756-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Yazar 
Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28869-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Yazar 
Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28872-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Yazar 
Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29113-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings için kapak resmi
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Yazar 
Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30561-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings için kapak resmi
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Yazar 
Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30564-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Yazar 
Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30598-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Yazar 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33675-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings için kapak resmi
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Yazar 
Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33826-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings için kapak resmi
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
Yazar 
Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34691-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers için kapak resmi
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
Yazar 
Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25264-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers için kapak resmi
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Yazar 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Yazar 
Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27269-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings için kapak resmi
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Yazar 
Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28073-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers için kapak resmi
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Yazar 
Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27872-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers için kapak resmi
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Yazar 
Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27901-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday için kapak resmi
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Yazar 
Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29414-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers için kapak resmi
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Yazar 
Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29517-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings için kapak resmi
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Yazar 
Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30476-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Yazar 
Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30793-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday için kapak resmi
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Yazar 
Heisel, Maritta. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30835-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings için kapak resmi
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Yazar 
Noble, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31057-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Yazar 
Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33386-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Yazar 
Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33536-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings için kapak resmi
CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Yazar 
Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32940-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings için kapak resmi
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Yazar 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35267-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yazar 
Barthe, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19718-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yazar 
Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19811-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19835-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Yazar 
Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20715-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Yazar 
Romanovsky, Alexander. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21338-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings için kapak resmi
Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Yazar 
France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21470-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings için kapak resmi
Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Yazar 
Bishop, Judith. editor. Vallecillo, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21952-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II için kapak resmi
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Yazar 
Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22012-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
Yazar 
Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22359-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Yazar 
Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22636-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings için kapak resmi
ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
Yazar 
Mezini, Mira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22655-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings için kapak resmi
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Yazar 
Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23217-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23391-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings için kapak resmi
Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Yazar 
Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23798-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Yazar 
Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24372-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings için kapak resmi
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Yazar 
Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19056-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Yazar 
Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19208-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Transactions on High-Performance Embedded Architectures and Compilers III için kapak resmi
Transactions on High-Performance Embedded Architectures and Compilers III
Yazar 
Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19448-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Yazar 
Bruni, Roberto. editor. Dingel, Juergen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21461-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers için kapak resmi
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Yazar 
Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21652-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings için kapak resmi
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Yazar 
Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21732-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings için kapak resmi
Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Yazar 
Apel, Sven. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22045-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Yazar 
Liu, Weiru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22152-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings için kapak resmi
Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
Yazar 
Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24603-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings için kapak resmi
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Yazar 
Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24690-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings için kapak resmi
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Yazar 
Thomas, Nigel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24749-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Transactions on High-Performance Embedded Architectures and Compilers IV için kapak resmi
Transactions on High-Performance Embedded Architectures and Compilers IV
Yazar 
Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24568-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday için kapak resmi
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Yazar 
Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24933-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings için kapak resmi
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Yazar 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27207-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings için kapak resmi
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
Yazar 
Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11618-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings için kapak resmi
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Yazar 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11659-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
Yazar 
Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11515-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Gordon, Andrew D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11957-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12029-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Yazar 
Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11355-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings için kapak resmi
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
Yazar 
Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13953-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday için kapak resmi
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Yazar 
Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15025-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings için kapak resmi
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Yazar 
Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15114-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings için kapak resmi
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Yazar 
Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15234-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings için kapak resmi
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Yazar 
Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15240-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings için kapak resmi
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
Yazar 
Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15585-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
Yazar 
Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15643-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings için kapak resmi
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers için kapak resmi
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Yazar 
Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16867-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings için kapak resmi
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
Yazar 
Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12104-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Yazar 
Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13464-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings için kapak resmi
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Yazar 
Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13550-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings için kapak resmi
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
Yazar 
Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13595-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings için kapak resmi
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Yazar 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings için kapak resmi
Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
Yazar 
Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings için kapak resmi
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Yazar 
Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14295-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings için kapak resmi
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
Yazar 
Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14347-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings için kapak resmi
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
Yazar 
Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16178-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16558-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16561-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday için kapak resmi
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Yazar 
Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17172-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday için kapak resmi
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Yazar 
Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17322-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems için kapak resmi
Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
Yazar 
Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17599-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures için kapak resmi
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Yazar 
Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17685-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Advanced Lectures on Software Engineering LASER Summer School 2007/2008 için kapak resmi
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Yazar 
Müller, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13010-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings için kapak resmi
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Yazar 
Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13238-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings için kapak resmi
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Yazar 
Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14046-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings için kapak resmi
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Yazar 
D’Hondt, Theo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14107-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Yazar 
Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14977-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14819-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings için kapak resmi
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
Yazar 
Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15323-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Yazar 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings için kapak resmi
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Yazar 
Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15375-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling için kapak resmi
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
Yazar 
Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16086-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings
Yazar 
Seznec, André. editor. Emer, Joel. editor. O’Boyle, Michael. editor. Martonosi, Margaret. editor. Ungerer, Theo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92990-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Transactions on High-Performance Embedded Architectures and Compilers II için kapak resmi
Transactions on High-Performance Embedded Architectures and Compilers II
Yazar 
Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00904-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers için kapak resmi
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Yazar 
Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00945-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Yazar 
Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01338-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Yazar 
Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01364-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings için kapak resmi
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Yazar 
Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02655-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings için kapak resmi
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Yazar 
Dubois, Catherine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02949-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers için kapak resmi
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
Yazar 
Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03278-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers için kapak resmi
Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
Yazar 
Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03339-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Semantic Techniques for the Web The REWERSE Perspective için kapak resmi
Semantic Techniques for the Web The REWERSE Perspective
Yazar 
Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04581-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings için kapak resmi
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Yazar 
Datta, Anupam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10622-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers için kapak resmi
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Yazar 
Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01639-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Yazar 
Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02138-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings için kapak resmi
ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Yazar 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03013-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings için kapak resmi
Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
Yazar 
Taha, Walid Mohamed. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03034-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers için kapak resmi
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
Yazar 
Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03603-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Yazar 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-93920-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings için kapak resmi
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Yazar 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings için kapak resmi
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Yazar 
Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers için kapak resmi
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Yazar 
Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers için kapak resmi
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Yazar 
Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings için kapak resmi
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
Yazar 
Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Yazar 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings için kapak resmi
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Yazar 
Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Yazar 
Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers için kapak resmi
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
Yazar 
Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Yazar 
Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Yazar 
Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings için kapak resmi
Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Yazar 
Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89674-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings. için kapak resmi
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
Yazar 
Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89704-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings için kapak resmi
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
Yazar 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings için kapak resmi
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Yazar 
Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings için kapak resmi
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
Yazar 
Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Yazar 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings için kapak resmi
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
Yazar 
Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88564-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Software-Intensive Systems and New Computing Paradigms Challenges and Visions için kapak resmi
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
Yazar 
Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers için kapak resmi
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
Yazar 
Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92698-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Yazar 
Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports için kapak resmi
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
Yazar 
Cebulla, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
Yazar 
Stenström, Per. editor. Dubois, Michel. editor. Katevenis, Manolis. editor. Gupta, Rajiv. editor. Ungerer, Theo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77560-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings için kapak resmi
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Yazar 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings için kapak resmi
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
Yazar 
Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures için kapak resmi
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Yazar 
Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings için kapak resmi
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
Yazar 
Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85992-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings için kapak resmi
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Yazar 
Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows için kapak resmi
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Yazar 
Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings için kapak resmi
Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings
Yazar 
Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Yazar 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers için kapak resmi
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Yazar 
Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings için kapak resmi
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Yazar 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings için kapak resmi
The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings
Yazar 
Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76298-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers için kapak resmi
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
Yazar 
Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
Yazar 
Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69338-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers için kapak resmi
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Yazar 
Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71156-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Transactions on High-Performance Embedded Architectures and Compilers I için kapak resmi
Transactions on High-Performance Embedded Architectures and Compilers I
Yazar 
Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71528-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports için kapak resmi
Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
Yazar 
Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings için kapak resmi
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
Yazar 
Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings için kapak resmi
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
Yazar 
Ernst, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers için kapak resmi
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Yazar 
Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings için kapak resmi
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Yazar 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings için kapak resmi
CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
Yazar 
Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers için kapak resmi
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Yazar 
Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures için kapak resmi
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Yazar 
Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings için kapak resmi
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Yazar 
Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures için kapak resmi
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Yazar 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings için kapak resmi
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Yazar 
Wolter, Katinka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings için kapak resmi
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Yazar 
Cervesato, Iliano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers için kapak resmi
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
Yazar 
Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers için kapak resmi
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Yazar 
Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers için kapak resmi
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Yazar 
Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers için kapak resmi
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Yazar 
Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Yazar 
Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings için kapak resmi
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Yazar 
Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings için kapak resmi
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
Yazar 
Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II için kapak resmi
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Yazar 
Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III için kapak resmi
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Yazar 
Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV için kapak resmi
Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Yazar 
Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings için kapak resmi
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Yazar 
Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: