Arama Sonuçları applications. - Daraltılmış: Operating systems (Computers).SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dapplications.$0026qf$003dSUBJECT$002509Konu$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300?2025-12-10T01:06:52ZComputer Performance Optimization Systems - Applications - Processesent://SD_ILS/0/SD_ILS:3332812025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Osterhage, Wolfgang W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333281.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29971-1">http://dx.doi.org/10.1007/978-3-642-29971-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Reliability Assessment with OR Applicationsent://SD_ILS/0/SD_ILS:1684542025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-204-9">http://dx.doi.org/10.1007/978-0-85729-204-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cloud Computing Principles, Systems and Applicationsent://SD_ILS/0/SD_ILS:1761962025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-241-4">http://dx.doi.org/10.1007/978-1-84996-241-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Systems – Modeling, Technology, and Applicationsent://SD_ILS/0/SD_ILS:1693202025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Peer-to-Peer Computing Principles and Applicationsent://SD_ILS/0/SD_ILS:1906482025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Vu, Quang Hieu. author. Lupu, Mihai. author. Ooi, Beng Chin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03514-2">http://dx.doi.org/10.1007/978-3-642-03514-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Secure Transaction Protocol Analysis Models and Applicationsent://SD_ILS/0/SD_ILS:1885802025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85074-8">http://dx.doi.org/10.1007/978-3-540-85074-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Self-Organising Systems Methodologies and Applicationsent://SD_ILS/0/SD_ILS:1829872025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866032025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19909-8">https://doi.org/10.1007/978-3-030-19909-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSetent://SD_ILS/0/SD_ILS:4858742025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16272-6">https://doi.org/10.1007/978-3-030-16272-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Fault Detection and Correction: Modeling and Applicationsent://SD_ILS/0/SD_ILS:3991242025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:3995772025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013372025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93767-0">https://doi.org/10.1007/978-3-319-93767-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969692025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1974592025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1974602025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Servicesent://SD_ILS/0/SD_ILS:1734422025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Birman, Kenneth P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2416-0">http://dx.doi.org/10.1007/978-1-4471-2416-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946832025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Felber, Pascal. editor. Rouvoy, Romain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21387-8">http://dx.doi.org/10.1007/978-3-642-21387-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947932025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21713-5">http://dx.doi.org/10.1007/978-3-642-21713-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917842025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918152025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11842-5">http://dx.doi.org/10.1007/978-3-642-11842-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924022025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1919332025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12242-2">http://dx.doi.org/10.1007/978-3-642-12242-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1902092025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02080-3">http://dx.doi.org/10.1007/978-3-642-02080-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914242025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10619-4">http://dx.doi.org/10.1007/978-3-642-10619-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1914262025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10625-5">http://dx.doi.org/10.1007/978-3-642-10625-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1855392025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1855692025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885002025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Servicesent://SD_ILS/0/SD_ILS:1825032025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Gunther, Neil J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866762025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1872492025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74742-0">http://dx.doi.org/10.1007/978-3-540-74742-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867402025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866522025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1836382025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11604938">http://dx.doi.org/10.1007/11604938</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1837022025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Domingo-Ferrer, Josep. editor. Posegga, Joachim. editor. Schreckling, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11733447">http://dx.doi.org/10.1007/11733447</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841482025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841012025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11761679">http://dx.doi.org/10.1007/11761679</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842082025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844392025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11805588">http://dx.doi.org/10.1007/11805588</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853392025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Guo, Minyi. editor. Yang, Laurence T. editor. Martino, Beniamino. editor. Zima, Hans P. editor. Dongarra, Jack. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11946441">http://dx.doi.org/10.1007/11946441</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829022025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b103174">http://dx.doi.org/10.1007/b103174</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1830782025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136149">http://dx.doi.org/10.1007/b136149</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831632025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823632025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104574">http://dx.doi.org/10.1007/b104574</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827372025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827522025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827542025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828262025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830102025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11535706">http://dx.doi.org/10.1007/11535706</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831202025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Cramer, Ronald. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136415">http://dx.doi.org/10.1007/b136415</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Distributed Systems Technologies, Web Services, and Applicationsent://SD_ILS/0/SD_ILS:1654072025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Birman, Kenneth P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-27601-7">http://dx.doi.org/10.1007/0-387-27601-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Multimedia Retrieval Strategies for Large Scale Networked Systemsent://SD_ILS/0/SD_ILS:1656652025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Veeravalli, Bharadwaj. author. Barlas, Gerassimos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-29675-3">http://dx.doi.org/10.1007/978-0-387-29675-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342002025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334200.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350242025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335024.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools for High Performance Computing 2012ent://SD_ILS/0/SD_ILS:3344112025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.<br/>Yer Numarası ONLINE(334411.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37349-7">http://dx.doi.org/10.1007/978-3-642-37349-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345942025-12-10T01:06:52Z2025-12-10T01:06:52ZYazar Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334594.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38401-1">http://dx.doi.org/10.1007/978-3-642-38401-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>