Arama Sonuçları Data processing - Daraltılmış: Computer Science, general.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dData$002bprocessing$0026qf$003dSUBJECT$002509Konu$002509Computer$002bScience$00252C$002bgeneral.$002509Computer$002bScience$00252C$002bgeneral.$0026ps$003d300?2025-12-16T15:21:29ZCertified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3329822025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3350732025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Felici, Massimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335073.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41205-9">http://dx.doi.org/10.1007/978-3-642-41205-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342682025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334268.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36694-9">http://dx.doi.org/10.1007/978-3-642-36694-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3344862025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334486.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37807-2">http://dx.doi.org/10.1007/978-3-642-37807-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345322025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.<br/>Yer Numarası ONLINE(334532.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38085-3">http://dx.doi.org/10.1007/978-3-642-38085-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Java with WebSphereent://SD_ILS/0/SD_ILS:3307732025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Janson, Robert W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330773.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-6302-9">http://dx.doi.org/10.1007/978-1-4302-6302-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347352025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Rau, P. L. Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334735.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39137-8">http://dx.doi.org/10.1007/978-3-642-39137-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348752025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334875.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348772025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334877.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350772025-12-16T15:21:29Z2025-12-16T15:21:29ZYazar Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41227-1">http://dx.doi.org/10.1007/978-3-642-41227-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>