Arama Sonuçları Analysis. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAnalysis.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-13T06:44:35ZOutlier Analysisent://SD_ILS/0/SD_ILS:3320262026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Aggarwal, Charu C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332026.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6396-2">http://dx.doi.org/10.1007/978-1-4614-6396-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Analysisent://SD_ILS/0/SD_ILS:1683612026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gautschi, Walter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8259-0">http://dx.doi.org/10.1007/978-0-8176-8259-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Audio Analysisent://SD_ILS/0/SD_ILS:3342972026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schuller, Björn W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334297.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36806-6">http://dx.doi.org/10.1007/978-3-642-36806-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Speech Spectrum Analysisent://SD_ILS/0/SD_ILS:1936122026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fulop, Sean A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17478-0">http://dx.doi.org/10.1007/978-3-642-17478-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis of Rare Categoriesent://SD_ILS/0/SD_ILS:1951472026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar He, Jingrui. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22813-1">http://dx.doi.org/10.1007/978-3-642-22813-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fault Analysis in Cryptographyent://SD_ILS/0/SD_ILS:1967462026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Joye, Marc. editor. Tunstall, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29656-7">http://dx.doi.org/10.1007/978-3-642-29656-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network Analysis Methodological Foundationsent://SD_ILS/0/SD_ILS:1830272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106453">http://dx.doi.org/10.1007/b106453</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frontiers of Numerical Analysisent://SD_ILS/0/SD_ILS:1818872026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Blowey, James F. editor. Craig, Alan W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28884-8">http://dx.doi.org/10.1007/3-540-28884-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Shearlets Multiscale Analysis for Multivariate Dataent://SD_ILS/0/SD_ILS:1683802026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kutyniok, Gitta. editor. Labate, Demetrio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8316-0">http://dx.doi.org/10.1007/978-0-8176-8316-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analysis and Decision Supportent://SD_ILS/0/SD_ILS:1817322026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Baier, Daniel. editor. Decker, Reinhold. editor. Schmidt-Thieme, Lars. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28397-8">http://dx.doi.org/10.1007/3-540-28397-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiscale Signal Analysis and Modelingent://SD_ILS/0/SD_ILS:3314372026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331437.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4145-8">http://dx.doi.org/10.1007/978-1-4614-4145-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Performance Analysis of Computer Networksent://SD_ILS/0/SD_ILS:3328832026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Sadiku, Matthew N.O. author. Musa, Sarhan M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332883.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01646-7">http://dx.doi.org/10.1007/978-3-319-01646-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Imaging Spectroscopy for Scene Analysisent://SD_ILS/0/SD_ILS:3310352026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Robles-Kelly, Antonio. author. Huynh, Cong Phuoc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331035.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4652-0">http://dx.doi.org/10.1007/978-1-4471-4652-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Similarity-Based Pattern Analysis and Recognitionent://SD_ILS/0/SD_ILS:3312282026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Pelillo, Marcello. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331228.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5628-4">http://dx.doi.org/10.1007/978-1-4471-5628-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sentiment Analysis for PTSD Signalsent://SD_ILS/0/SD_ILS:3313162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331316.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3097-1">http://dx.doi.org/10.1007/978-1-4614-3097-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Design Syntactic and Semantic Analysisent://SD_ILS/0/SD_ILS:3330762026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333076.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17540-4">http://dx.doi.org/10.1007/978-3-642-17540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coding Interviews Questions, Analysis & Solutionsent://SD_ILS/0/SD_ILS:1718022026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar He, Harry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-4762-3">http://dx.doi.org/10.1007/978-1-4302-4762-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Reachability Analysis of Hybrid Systemsent://SD_ILS/0/SD_ILS:1734792026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bujorianu, Luminita Manuela. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2795-6">http://dx.doi.org/10.1007/978-1-4471-2795-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Design Analysis and Transformationent://SD_ILS/0/SD_ILS:1936342026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Seidl, Helmut. author. Wilhelm, Reinhard. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17548-0">http://dx.doi.org/10.1007/978-3-642-17548-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Analysis of Multiscale Problemsent://SD_ILS/0/SD_ILS:1949042026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Graham, Ivan G. editor. Hou, Thomas Y. editor. Lakkis, Omar. editor. Scheichl, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22061-6">http://dx.doi.org/10.1007/978-3-642-22061-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>3D Imaging, Analysis and Applicationsent://SD_ILS/0/SD_ILS:1735312026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Pears, Nick. editor. Liu, Yonghuai. editor. Bunting, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4063-4">http://dx.doi.org/10.1007/978-1-4471-4063-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Object-Oriented Analysis and Designent://SD_ILS/0/SD_ILS:1762742026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-522-4">http://dx.doi.org/10.1007/978-1-84996-522-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Based Software Performance Analysisent://SD_ILS/0/SD_ILS:1923942026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spectral Methods Algorithms, Analysis and Applicationsent://SD_ILS/0/SD_ILS:1861542026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71041-7">http://dx.doi.org/10.1007/978-3-540-71041-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Design of Adviceent://SD_ILS/0/SD_ILS:1937912026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Jureta, Ivan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-18059-0">http://dx.doi.org/10.1007/978-3-642-18059-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Human Behaviorent://SD_ILS/0/SD_ILS:1686502026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Salah, Albert Ali. editor. Gevers, Theo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-994-9">http://dx.doi.org/10.1007/978-0-85729-994-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sensitivity Analysis for Neural Networksent://SD_ILS/0/SD_ILS:1903502026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yeung, Daniel S. author. Cloete, Ian. author. Shi, Daming. author. Ng, Wing W. Y. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02532-7">http://dx.doi.org/10.1007/978-3-642-02532-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Three-Dimensional Model Analysis and Processingent://SD_ILS/0/SD_ILS:1920642026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yu, Faxin. author. Luo, Hao. author. Lu, Zheming. author. Wang, Pinghui. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12651-2">http://dx.doi.org/10.1007/978-3-642-12651-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis für Informatiker Grundlagen, Methoden, Algorithmenent://SD_ILS/0/SD_ILS:1893422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89823-8">http://dx.doi.org/10.1007/978-3-540-89823-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro SQL Server 2008 Analysis Servicesent://SD_ILS/0/SD_ILS:1712612026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Janus, Philo. author. Fouché, Guy. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1996-5">http://dx.doi.org/10.1007/978-1-4302-1996-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ambulation Analysis in Wearable ECGent://SD_ILS/0/SD_ILS:1720482026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chaudhuri, Subhasis. author. Pawar, Tanmay D. author. Duttagupta, Siddhartha. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0724-0">http://dx.doi.org/10.1007/978-1-4419-0724-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Konkrete Analysis für Studierende der Informatikent://SD_ILS/0/SD_ILS:1860732026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bornemann, Folkmar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70854-4">http://dx.doi.org/10.1007/978-3-540-70854-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Exploratory Data Analysis Using Fisher Informationent://SD_ILS/0/SD_ILS:1755602026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Frieden, B. Roy. editor. Gatenby, Robert A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-777-0">http://dx.doi.org/10.1007/978-1-84628-777-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Vector Analysis for Computer Graphicsent://SD_ILS/0/SD_ILS:1755742026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-804-3">http://dx.doi.org/10.1007/978-1-84628-804-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Asymptotic Analysis and Boundary Layersent://SD_ILS/0/SD_ILS:1849542026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cousteix, Jean. author. Mauss, Jacques. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-46489-1">http://dx.doi.org/10.1007/978-3-540-46489-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anti-Spam Measures Analysis and Designent://SD_ILS/0/SD_ILS:1863582026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schryen, Guido. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71750-8">http://dx.doi.org/10.1007/978-3-540-71750-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Test and Analysis of Web Servicesent://SD_ILS/0/SD_ILS:1866862026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning for Multimedia Content Analysisent://SD_ILS/0/SD_ILS:1667492026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gong, Yihong. author. Xu, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-69942-4">http://dx.doi.org/10.1007/978-0-387-69942-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Communities Analysis and Constructionent://SD_ILS/0/SD_ILS:1815572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zhang, Yanchun. author. Yu, Jeffrey Xu. author. Hou, Jingyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27739-0">http://dx.doi.org/10.1007/3-540-27739-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematik für Informatiker Analysis und Statistikent://SD_ILS/0/SD_ILS:1816332026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28068-5">http://dx.doi.org/10.1007/3-540-28068-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Performance Analysis of Network Architecturesent://SD_ILS/0/SD_ILS:1840042026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Tutsch, Dietmar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-34310-5">http://dx.doi.org/10.1007/3-540-34310-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Genome Analysis An Introductionent://SD_ILS/0/SD_ILS:1655592026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Deonier, Richard C. author. Waterman, Michael S. author. Tavaré, Simon. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28807-4">http://dx.doi.org/10.1007/0-387-28807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Einführung in die Analysis dynamischer Systemeent://SD_ILS/0/SD_ILS:1809062026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Denker, Manfred. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137966">http://dx.doi.org/10.1007/b137966</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis für Informatiker Grundlagen, Methoden, Algorithmenent://SD_ILS/0/SD_ILS:1814862026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27564-9">http://dx.doi.org/10.1007/3-540-27564-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis Foundations and Applicationsent://SD_ILS/0/SD_ILS:1829672026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Citation Analysis in Research Evaluationent://SD_ILS/0/SD_ILS:1689832026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Moed, Henk F. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3714-7">http://dx.doi.org/10.1007/1-4020-3714-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Analysis of Sound Scenes and Eventsent://SD_ILS/0/SD_ILS:4001812026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Virtanen, Tuomas. editor. Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ellis, Dan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63450-0">https://doi.org/10.1007/978-3-319-63450-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:6111572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automatic Malware Analysis An Emulator Based Approachent://SD_ILS/0/SD_ILS:3317962026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331796.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5523-3">http://dx.doi.org/10.1007/978-1-4614-5523-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Indian Mujahideen Computational Analysis and Public Policyent://SD_ILS/0/SD_ILS:3329492026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Subrahmanian, V.S. author. Mannes, Aaron. author. Roul, Animesh. author. Raghavan, R.K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332949.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02818-7">http://dx.doi.org/10.1007/978-3-319-02818-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Behavior Computing Modeling, Analysis, Mining and Decisionent://SD_ILS/0/SD_ILS:1735102026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2969-1">http://dx.doi.org/10.1007/978-1-4471-2969-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Video Analysis and Repackaging for Distance Educationent://SD_ILS/0/SD_ILS:1743462026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ram, A. Ranjith. author. Chaudhuri, Subhasis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3837-3">http://dx.doi.org/10.1007/978-1-4614-3837-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Visual Analysis of Humans Looking at Peopleent://SD_ILS/0/SD_ILS:1686512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Moeslund, Thomas B. editor. Hilton, Adrian. editor. Krüger, Volker. editor. Sigal, Leonid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-997-0">http://dx.doi.org/10.1007/978-0-85729-997-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Risk Analysis The CORAS Approachent://SD_ILS/0/SD_ILS:1919582026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lund, Mass Soldal. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12323-8">http://dx.doi.org/10.1007/978-3-642-12323-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>802.11 Wireless Networks Security and Analysisent://SD_ILS/0/SD_ILS:1762072026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-275-9">http://dx.doi.org/10.1007/978-1-84996-275-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Machine Learning and Data Analysisent://SD_ILS/0/SD_ILS:2049992026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3177-8">http://dx.doi.org/10.1007/978-90-481-3177-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimedia Multiprocessor Systems Analysis, Design and Managementent://SD_ILS/0/SD_ILS:2057422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0083-3">http://dx.doi.org/10.1007/978-94-007-0083-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robot Behaviour Design, Description, Analysis and Modellingent://SD_ILS/0/SD_ILS:1758442026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Nehmzow, Ulrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-397-2">http://dx.doi.org/10.1007/978-1-84800-397-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematik für Informatiker Algebra, Analysis, Diskrete Strukturenent://SD_ILS/0/SD_ILS:1892062026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kreußler, Bernd. author. Pfister, Gerhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89107-9">http://dx.doi.org/10.1007/978-3-540-89107-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computational Algorithms and Data Analysisent://SD_ILS/0/SD_ILS:1703772026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8919-0">http://dx.doi.org/10.1007/978-1-4020-8919-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Markov Random Field Modeling in Image Analysisent://SD_ILS/0/SD_ILS:1757942026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Li, Stan Z. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-279-1">http://dx.doi.org/10.1007/978-1-84800-279-1</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:1885802026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar 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/>Vulnerability Analysis and Defense for the Internetent://SD_ILS/0/SD_ILS:1671622026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Singh, Abhishek. editor. Singh, Baibhav. editor. Joseph, Hirosh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74390-5">http://dx.doi.org/10.1007/978-0-387-74390-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonparametric Functional Data Analysis Theory and Practiceent://SD_ILS/0/SD_ILS:1661632026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ferraty, Frédéric. author. Vieu, Philippe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-36620-2">http://dx.doi.org/10.1007/0-387-36620-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classification and Multivariate Analysis for Complex Data Structuresent://SD_ILS/0/SD_ILS:1922952026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fichet, Bernard. editor. Piccolo, Domenico. editor. Verde, Rosanna. editor. Vichi, Maurizio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13312-1">http://dx.doi.org/10.1007/978-3-642-13312-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Data Analysis, Data Handling and Business Intelligence Proceedings of the 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Joint Conference with the British Classification Society (BCS) and the Dutch/Flemish Classification Society (VOC), Helmut-Schmidt-University, Hamburg, July 16-18, 2008ent://SD_ILS/0/SD_ILS:1898642026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fink, Andreas. editor. Lausen, Berthold. editor. Seidel, Wilfried. editor. Ultsch, Alfred. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01044-6">http://dx.doi.org/10.1007/978-3-642-01044-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analysis, Machine Learning and Applications Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7–9, 2007ent://SD_ILS/0/SD_ILS:1880622026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Preisach, Christine. editor. Burkhardt, Hans editor. Schmidt-Thieme, Lars. editor. Decker, Reinhold. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78246-9">http://dx.doi.org/10.1007/978-3-540-78246-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analysis, Classification and the Forward Search Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6–8, 2005ent://SD_ILS/0/SD_ILS:1843242026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zani, Sergio. editor. Cerioli, Andrea. editor. Riani, Marco. editor. Vichi, Maurizio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-35978-8">http://dx.doi.org/10.1007/3-540-35978-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6074572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-83243-7">https://doi.org/10.1007/978-3-031-83243-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072142026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6028372026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ahmadi, Seyed-Ahmad. editor. Pereira, Sérgio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55088-1">https://doi.org/10.1007/978-3-031-55088-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048712026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Liu, Hu-Chen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-6366-5">https://doi.org/10.1007/978-981-13-6366-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016042026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93000-8">https://doi.org/10.1007/978-3-319-93000-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000732026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Ciompi, Francesco. editor. (orcid)0000-0001-8327-9606 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Martel, Anne. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00949-6">https://doi.org/10.1007/978-3-030-00949-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001312026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Podelski, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004592026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4008232026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991122026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01768-2">https://doi.org/10.1007/978-3-030-01768-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992942026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136 Martel, Anne. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00689-1">https://doi.org/10.1007/978-3-030-00689-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3993532026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmiasent://SD_ILS/0/SD_ILS:3996382026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63973-4">https://doi.org/10.1007/978-3-319-63973-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligenceent://SD_ILS/0/SD_ILS:4003102026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90059-9">https://doi.org/10.1007/978-3-319-90059-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis for Computer Scientists Foundations, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:4003742026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91155-7">https://doi.org/10.1007/978-3-319-91155-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4005202026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Mendoza, Marcelo. editor. (orcid)0000-0002-7969-6041 Velastín, Sergio. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75193-1">https://doi.org/10.1007/978-3-319-75193-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005742026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Melbourne, Andrew. editor. Licandro, Roxane. editor. DiFranco, Matthew. editor. Rota, Paolo. editor. Gau, Melanie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00807-9">https://doi.org/10.1007/978-3-030-00807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applicationsent://SD_ILS/0/SD_ILS:6122552026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Satapathy, Ranjan. author. Cambria, Erik. author. Hussain, Amir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68468-0">https://doi.org/10.1007/978-3-319-68468-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedingsent://SD_ILS/0/SD_ILS:6119872026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cardoso, M. Jorge. editor. Arbel, Tal. editor. Melbourne, Andrew. editor. Bogunovic, Hrvoje. editor. Moeskops, Pim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67561-9">https://doi.org/10.1007/978-3-319-67561-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6107922026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130382026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161352026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Rival, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114582026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160082026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6162502026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledgeent://SD_ILS/0/SD_ILS:4888522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schmidt-Richberg, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-01662-3">https://doi.org/10.1007/978-3-658-01662-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dainotti, Alberto. editor. Mahanti, Anirban. editor. Uhlig, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54999-1">https://doi.org/10.1007/978-3-642-54999-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision Forests for Computer Vision and Medical Image Analysisent://SD_ILS/0/SD_ILS:3311002026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Criminisi, A. editor. Shotton, J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331100.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4929-3">http://dx.doi.org/10.1007/978-1-4471-4929-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An ASIC Low Power Primer Analysis, Techniques and Specificationent://SD_ILS/0/SD_ILS:3314642026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331464.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4271-4">http://dx.doi.org/10.1007/978-1-4614-4271-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taibaent://SD_ILS/0/SD_ILS:3315822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.<br/>Yer Numarası ONLINE(331582.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantic Analysis and Understanding of Human Behavior in Video Streamingent://SD_ILS/0/SD_ILS:3317862026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Amato, Alberto. author. Di Lecce, Vincenzo. author. Piuri, Vincenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331786.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5486-1">http://dx.doi.org/10.1007/978-1-4614-5486-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Productive Multivocality in the Analysis of Group Interactionsent://SD_ILS/0/SD_ILS:3324562026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Suthers, Daniel D. editor. Lund, Kristine. editor. Rosé, Carolyn Penstein. editor. Teplovs, Chris. editor. Law, Nancy. editor.<br/>Yer Numarası ONLINE(332456.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-8960-3">http://dx.doi.org/10.1007/978-1-4614-8960-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The R Software Fundamentals of Programming and Statistical Analysisent://SD_ILS/0/SD_ILS:3324632026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332463.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-9020-3">http://dx.doi.org/10.1007/978-1-4614-9020-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:3332512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333251.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigid Finite Element Method in Analysis of Dynamics of Offshore Structuresent://SD_ILS/0/SD_ILS:3332752026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wittbrodt, Edmund. author. Szczotka, Marek. author. Maczyński, Andrzej. author. Wojciech, Stanisław. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333275.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29886-8">http://dx.doi.org/10.1007/978-3-642-29886-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards Advanced Data Analysis by Combining Soft Computing and Statisticsent://SD_ILS/0/SD_ILS:3333092026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333309.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30278-7">http://dx.doi.org/10.1007/978-3-642-30278-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340932026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334093.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35980-4">http://dx.doi.org/10.1007/978-3-642-35980-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE(334682.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346922026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kämäräinen, Joni-Kristian. editor. Koskela, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334692.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38886-6">http://dx.doi.org/10.1007/978-3-642-38886-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3351462026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335146.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41827-3">http://dx.doi.org/10.1007/978-3-642-41827-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data-Driven Process Discovery and Analysis Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d’Italia, Italy, June 18-20, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3350272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cudre-Mauroux, Philippe. editor. Ceravolo, Paolo. editor. Gašević, Dragan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335027.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40919-6">http://dx.doi.org/10.1007/978-3-642-40919-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasuresent://SD_ILS/0/SD_ILS:3349822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40646-1">http://dx.doi.org/10.1007/978-3-642-40646-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Work Interaction Design. Work Analysis and HCI Third IFIP WG 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3350622026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campos, Pedro. editor. Clemmensen, Torkil. editor. Nocera, José Abdelnour. editor. Katre, Dinesh. editor. Lopes, Arminda. editor.<br/>Yer Numarası ONLINE(335062.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41145-8">http://dx.doi.org/10.1007/978-3-642-41145-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part Ient://SD_ILS/0/SD_ILS:3350692026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41181-6">http://dx.doi.org/10.1007/978-3-642-41181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3350702026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335070.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41184-7">http://dx.doi.org/10.1007/978-3-642-41184-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Trends in Image Analysis and Processing – ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350712026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Petrosino, Alfredo. editor. Maddalena, Lucia. editor. Pala, Pietro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335071.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41190-8">http://dx.doi.org/10.1007/978-3-642-41190-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351032026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335103.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41398-8">http://dx.doi.org/10.1007/978-3-642-41398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling, Analysis and Optimization of Network-on-Chip Communication Architecturesent://SD_ILS/0/SD_ILS:3357262026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ogras, Umit Y. author. Marculescu, Radu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335726.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-3958-1">http://dx.doi.org/10.1007/978-94-007-3958-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The 3rd International Workshop on Intelligent Data Analysis and Managementent://SD_ILS/0/SD_ILS:3363582026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.<br/>Yer Numarası ONLINE(336358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-7293-9">http://dx.doi.org/10.1007/978-94-007-7293-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Monte Carlo Simulation Method for System Reliability and Risk Analysisent://SD_ILS/0/SD_ILS:3310172026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zio, Enrico. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331017.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4588-2">http://dx.doi.org/10.1007/978-1-4471-4588-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite Element Analysis for Satellite Structures Applications to Their Design, Manufacture and Testingent://SD_ILS/0/SD_ILS:3310312026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Abdelal, Gasser F. author. Abuelfoutouh, Nader. author. Gad, Ahmed H. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331031.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4637-7">http://dx.doi.org/10.1007/978-1-4471-4637-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)ent://SD_ILS/0/SD_ILS:3313272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331327.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3269-2">http://dx.doi.org/10.1007/978-1-4614-3269-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysisent://SD_ILS/0/SD_ILS:3316772026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331677.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5104-4">http://dx.doi.org/10.1007/978-1-4614-5104-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysisent://SD_ILS/0/SD_ILS:3324172026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332417.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-8453-0">http://dx.doi.org/10.1007/978-1-4614-8453-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspectiveent://SD_ILS/0/SD_ILS:3324212026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332421.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-8483-7">http://dx.doi.org/10.1007/978-1-4614-8483-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Biology A Practical Introduction to BioData Processing and Analysis with Linux, MySQL, and Rent://SD_ILS/0/SD_ILS:3338882026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wünschiers, Röbbe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333888.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34749-8">http://dx.doi.org/10.1007/978-3-642-34749-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334282.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experienceent://SD_ILS/0/SD_ILS:3342912026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334291.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36784-7">http://dx.doi.org/10.1007/978-3-642-36784-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334327.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345802026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334580.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346372026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Sanches, João M. editor. Micó, Luisa. editor. Cardoso, Jaime S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334637.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38628-2">http://dx.doi.org/10.1007/978-3-642-38628-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347292026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334729.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39094-4">http://dx.doi.org/10.1007/978-3-642-39094-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352142026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335214.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3351452026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335145.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41822-8">http://dx.doi.org/10.1007/978-3-642-41822-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335116.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41515-9">http://dx.doi.org/10.1007/978-3-642-41515-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3349172026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334917.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40246-3">http://dx.doi.org/10.1007/978-3-642-40246-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3349192026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334919.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40261-6">http://dx.doi.org/10.1007/978-3-642-40261-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Influence of Technology on Social Network Analysis and Miningent://SD_ILS/0/SD_ILS:3353162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Özyer, Tansel. editor. Rokne, Jon. editor. Wagner, Gerhard. editor. Reuser, Arno H.P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335316.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7091-1346-2">http://dx.doi.org/10.1007/978-3-7091-1346-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Targeted Advertising Technologies in the ICT Space A Use Case Driven Analysisent://SD_ILS/0/SD_ILS:3353612026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schlee, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335361.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2396-0">http://dx.doi.org/10.1007/978-3-8348-2396-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design, Analysis and Test of Logic Circuits Under Uncertaintyent://SD_ILS/0/SD_ILS:3356692026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335669.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anonymization of Electronic Medical Records to Support Clinical Analysisent://SD_ILS/0/SD_ILS:3318332026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gkoulalas-Divanis, Aris. author. Loukides, Grigorios. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331833.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5668-1">http://dx.doi.org/10.1007/978-1-4614-5668-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3329012026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.<br/>Yer Numarası ONLINE(332901.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02126-3">http://dx.doi.org/10.1007/978-3-319-02126-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332921.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3348802026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Prouff, Emmanuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334880.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40026-1">http://dx.doi.org/10.1007/978-3-642-40026-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349132026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334913.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3349242026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334924.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40303-3">http://dx.doi.org/10.1007/978-3-642-40303-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Medical Image Analysis Methods and Algorithmsent://SD_ILS/0/SD_ILS:1734732026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Toennies, Klaus D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2751-2">http://dx.doi.org/10.1007/978-1-4471-2751-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Power Distribution and Performance Analysis for Wireless Communication Networksent://SD_ILS/0/SD_ILS:1742272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zhao, Dongmei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3284-5">http://dx.doi.org/10.1007/978-1-4614-3284-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009ent://SD_ILS/0/SD_ILS:1948682026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21943-6">http://dx.doi.org/10.1007/978-3-642-21943-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cryptographic Protocol Security Analysis Based on Trusted Freshnessent://SD_ILS/0/SD_ILS:1955362026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24073-7">http://dx.doi.org/10.1007/978-3-642-24073-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defenseent://SD_ILS/0/SD_ILS:1965642026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lopez, Javier. editor. Setola, Roberto. editor. Wolthusen, Stephen D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28920-0">http://dx.doi.org/10.1007/978-3-642-28920-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1965262026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967962026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29912-4">http://dx.doi.org/10.1007/978-3-642-29912-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1970552026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31295-3">http://dx.doi.org/10.1007/978-3-642-31295-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Internet Privacy Eine multidisziplinäre Bestandsaufnahme/A multidisciplinary analysisent://SD_ILS/0/SD_ILS:1971592026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Buchmann, Johannes. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31943-3">http://dx.doi.org/10.1007/978-3-642-31943-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonlinear Flow Phenomena and Homotopy Analysis Fluid Flow and Heat Transferent://SD_ILS/0/SD_ILS:1971782026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Vajravelu, Kuppalapalle. author. Gorder, Robert A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32102-3">http://dx.doi.org/10.1007/978-3-642-32102-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972262026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973232026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973972026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yap, Pew-Thian. editor. Liu, Tianming. editor. Shen, Dinggang. editor. Westin, Carl-Fredrik. editor. Shen, Li. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33530-3">http://dx.doi.org/10.1007/978-3-642-33530-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974012026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33555-6">http://dx.doi.org/10.1007/978-3-642-33555-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964752026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Camera-Based Document Analysis and Recognition 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1966812026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Iwamura, Masakazu. editor. Shafait, Faisal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29364-1">http://dx.doi.org/10.1007/978-3-642-29364-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973792026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Levine, Joshua A. editor. Paulsen, Rasmus R. editor. Zhang, Yongjie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33463-4">http://dx.doi.org/10.1007/978-3-642-33463-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data-Driven Process Discovery and Analysis First International Symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29 – July 1, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1974632026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Aberer, Karl. editor. Damiani, Ernesto. editor. Dillon, Tharam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34044-4">http://dx.doi.org/10.1007/978-3-642-34044-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1974712026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dellaert, Frank. editor. Frahm, Jan-Michael. editor. Pollefeys, Marc. editor. Leal-Taixé, Laura. editor. Rosenhahn, Bodo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34091-8">http://dx.doi.org/10.1007/978-3-642-34091-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974802026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Hollmén, Jaakko. editor. Klawonn, Frank. editor. Tucker, Allan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34156-4">http://dx.doi.org/10.1007/978-3-642-34156-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analytics Models and Algorithms for Intelligent Data Analysisent://SD_ILS/0/SD_ILS:1989522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Runkler, Thomas A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2589-6">http://dx.doi.org/10.1007/978-3-8348-2589-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964702026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28534-9">http://dx.doi.org/10.1007/978-3-642-28534-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967922026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969582026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1970562026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31298-4">http://dx.doi.org/10.1007/978-3-642-31298-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973472026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Alvarez, Luis. editor. Mejail, Marta. editor. Gomez, Luis. editor. Jacobo, Julio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33275-3">http://dx.doi.org/10.1007/978-3-642-33275-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973632026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973662026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning for Vision-Based Motion Analysis Theory and Techniquesent://SD_ILS/0/SD_ILS:1684072026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wang, Liang. editor. Zhao, Guoying. editor. Cheng, Li. editor. Pietikäinen, Matti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-057-1">http://dx.doi.org/10.1007/978-0-85729-057-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customizationent://SD_ILS/0/SD_ILS:1731022026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Karuri, Kingshuk. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8255-1">http://dx.doi.org/10.1007/978-1-4419-8255-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930792026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multicriteria Analysis Applications to Water and Environment Managementent://SD_ILS/0/SD_ILS:1937552026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zarghami, Mahdi. author. Szidarovszky, Ferenc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17937-2">http://dx.doi.org/10.1007/978-3-642-17937-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947712026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Knowledge Processing and Data Analysis First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1949272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wolff, Karl Erich. editor. Palchunov, Dmitry E. editor. Zagoruiko, Nikolay G. editor. Andelfinger, Urs. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22140-8">http://dx.doi.org/10.1007/978-3-642-22140-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Security Analysis and Design VI FOSAD Tutorial Lecturesent://SD_ILS/0/SD_ILS:1952312026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23082-0">http://dx.doi.org/10.1007/978-3-642-23082-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis of Social Media and Ubiquitous Data International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953882026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Atzmueller, Martin. editor. Hotho, Andreas. editor. Strohmaier, Markus. editor. Chin, Alvin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23599-3">http://dx.doi.org/10.1007/978-3-642-23599-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1955402026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24085-0">http://dx.doi.org/10.1007/978-3-642-24085-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1955412026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24088-1">http://dx.doi.org/10.1007/978-3-642-24088-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955992026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956192026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24372-1">http://dx.doi.org/10.1007/978-3-642-24372-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Photogrammetric Image Analysis ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956242026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Stilla, Uwe. editor. Rottensteiner, Franz. editor. Mayer, Helmut. editor. Jutzi, Boris. editor. Butenuth, Matthias. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24393-6">http://dx.doi.org/10.1007/978-3-642-24393-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimodal Brain Image Analysis First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956402026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Liu, Tianming. editor. Shen, Dinggang. editor. Ibanez, Luis. editor. Tao, Xiaodong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24446-9">http://dx.doi.org/10.1007/978-3-642-24446-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis X 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957502026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gama, João. editor. Bradley, Elizabeth. editor. Hollmén, Jaakko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24800-9">http://dx.doi.org/10.1007/978-3-642-24800-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1958382026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar San Martin, César. editor. Kim, Sang-Woon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25085-9">http://dx.doi.org/10.1007/978-3-642-25085-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961402026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27245-5">http://dx.doi.org/10.1007/978-3-642-27245-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Correctness of Algebraic Graph and Model Transformationsent://SD_ILS/0/SD_ILS:1999772026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Golas, Ulrike. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9934-7">http://dx.doi.org/10.1007/978-3-8348-9934-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systemsent://SD_ILS/0/SD_ILS:1999862026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Herde, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9949-1">http://dx.doi.org/10.1007/978-3-8348-9949-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Control of Boolean Networks A Semi-tensor Product Approachent://SD_ILS/0/SD_ILS:1684192026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-097-7">http://dx.doi.org/10.1007/978-0-85729-097-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Core Concepts in Data Analysis: Summarization, Correlation and Visualizationent://SD_ILS/0/SD_ILS:1684792026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Mirkin, Boris. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-287-2">http://dx.doi.org/10.1007/978-0-85729-287-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis for Computer Scientists Foundations, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:1685042026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-446-3">http://dx.doi.org/10.1007/978-0-85729-446-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Visual Analysis of Behaviour From Pixels to Semanticsent://SD_ILS/0/SD_ILS:1685652026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Gong, Shaogang. author. Xiang, Tao. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-670-2">http://dx.doi.org/10.1007/978-0-85729-670-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logic and Set Theory Applying Formalized Logic to Analysisent://SD_ILS/0/SD_ILS:1686012026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-808-9">http://dx.doi.org/10.1007/978-0-85729-808-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stereo Scene Flow for 3D Motion Analysisent://SD_ILS/0/SD_ILS:1686432026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wedel, Andreas. author. Cremers, Daniel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-965-9">http://dx.doi.org/10.1007/978-0-85729-965-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1931762026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1941722026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943262026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Domingo-Pascual, Jordi. editor. Shavitt, Yuval. editor. Uhlig, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20305-3">http://dx.doi.org/10.1007/978-3-642-20305-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chainsent://SD_ILS/0/SD_ILS:1943862026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wensing, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20479-1">http://dx.doi.org/10.1007/978-3-642-20479-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943982026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorial Image Analysis 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Aggarwal, Jake K. editor. Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Koroutchev, Kostadin N. editor. Korutcheva, Elka R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21073-0">http://dx.doi.org/10.1007/978-3-642-21073-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946332026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Heyden, Anders. editor. Kahl, Fredrik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21227-7">http://dx.doi.org/10.1007/978-3-642-21227-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pattern Recognition and Image Analysis 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946432026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Vitrià, Jordi. editor. Sanches, João Miguel. editor. Hernández, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21257-4">http://dx.doi.org/10.1007/978-3-642-21257-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1947512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21593-3">http://dx.doi.org/10.1007/978-3-642-21593-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1947522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21596-4">http://dx.doi.org/10.1007/978-3-642-21596-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Statistical Analysis of Clinical Data on a Pocket Calculator Statistics on a Pocket Calculatorent://SD_ILS/0/SD_ILS:2060002026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1211-9">http://dx.doi.org/10.1007/978-94-007-1211-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1954122026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Real, Pedro. editor. Diaz-Pernil, Daniel. editor. Molina-Abril, Helena. editor. Berciano, Ainhoa. editor. Kropatsch, Walter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23672-3">http://dx.doi.org/10.1007/978-3-642-23672-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1954132026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Real, Pedro. editor. Diaz-Pernil, Daniel. editor. Molina-Abril, Helena. editor. Berciano, Ainhoa. editor. Kropatsch, Walter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23678-5">http://dx.doi.org/10.1007/978-3-642-23678-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954202026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954952026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Madabhushi, Anant. editor. Dowling, Jason. editor. Huisman, Henkjan. editor. Barratt, Dean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23944-1">http://dx.doi.org/10.1007/978-3-642-23944-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1960422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Esposito, Anna. editor. Vinciarelli, Alessandro. editor. Vicsi, Klára. editor. Pelachaud, Catherine. editor. Nijholt, Anton. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25775-9">http://dx.doi.org/10.1007/978-3-642-25775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminologyent://SD_ILS/0/SD_ILS:2061662026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ahmad, Khurshid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1757-2">http://dx.doi.org/10.1007/978-94-007-1757-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scientific Data Analysis using Jython Scripting and Javaent://SD_ILS/0/SD_ILS:1762102026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chekanov, Sergei V. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-287-2">http://dx.doi.org/10.1007/978-1-84996-287-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete Calculus Applied Analysis on Graphs for Computational Scienceent://SD_ILS/0/SD_ILS:1762112026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-290-2">http://dx.doi.org/10.1007/978-1-84996-290-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>iOS Forensic Analysis for iPhone, iPad, and iPod touchent://SD_ILS/0/SD_ILS:1715042026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Morrissey, Sean. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-3343-5">http://dx.doi.org/10.1007/978-1-4302-3343-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamicsent://SD_ILS/0/SD_ILS:1926782026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929052026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15237-5">http://dx.doi.org/10.1007/978-3-642-15237-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929252026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930372026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedingsent://SD_ILS/0/SD_ILS:1919722026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ricciato, Fabio. editor. Mellia, Marco. editor. Biersack, Ernst. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12365-8">http://dx.doi.org/10.1007/978-3-642-12365-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Experimental Methods for the Analysis of Optimization Algorithmsent://SD_ILS/0/SD_ILS:1903522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bartz-Beielstein, Thomas. editor. Chiarandini, Marco. editor. Paquete, Luís. editor. Preuss, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02538-9">http://dx.doi.org/10.1007/978-3-642-02538-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918402026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11928-6">http://dx.doi.org/10.1007/978-3-642-11928-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1918572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis IX 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922062026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cohen, Paul R. editor. Adams, Niall M. editor. Berthold, Michael R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13062-5">http://dx.doi.org/10.1007/978-3-642-13062-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1924432026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13772-3">http://dx.doi.org/10.1007/978-3-642-13772-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzin, Portugal, June 21-23, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1924442026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13775-4">http://dx.doi.org/10.1007/978-3-642-13775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Social Network Mining and Analysis Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008ent://SD_ILS/0/SD_ILS:1928162026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Giles, Lee. editor. Smith, Marc. editor. Yen, John. editor. Zhang, Haizheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14929-0">http://dx.doi.org/10.1007/978-3-642-14929-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929352026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Performance Analysis and Optimization of Multi-Traffic on Communication Networksent://SD_ILS/0/SD_ILS:1929762026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ponomarenko, Leonid. author. Kim, Che Soong. author. Melikov, Agassi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15458-4">http://dx.doi.org/10.1007/978-3-642-15458-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1935142026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Social Network Analysis Trends, Tools and Research Advancesent://SD_ILS/0/SD_ILS:1759272026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Abraham, Ajith. editor. Hassanien, Aboul-Ella. editor. Sná¿el, Vaclav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-229-0">http://dx.doi.org/10.1007/978-1-84882-229-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Dataent://SD_ILS/0/SD_ILS:1759352026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-260-3">http://dx.doi.org/10.1007/978-1-84882-260-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kenett, Ron. Raanan, Yossi.<br/>Yer Numarası ONLINE(318959.1)<br/>Elektronik Erişim <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931522026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Guide to Empirical Orthogonal Functions for Climate Data Analysisent://SD_ILS/0/SD_ILS:2051572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Navarra, Antonio. author. Simoncini, Valeria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3702-2">http://dx.doi.org/10.1007/978-90-481-3702-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933762026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bloch, Isabelle. editor. Cesar, Roberto M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16687-7">http://dx.doi.org/10.1007/978-3-642-16687-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Biometric System and Data Analysis Design, Evaluation, and Data Miningent://SD_ILS/0/SD_ILS:1674972026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Dunstone, Ted. editor. Yager, Neil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-77627-9">http://dx.doi.org/10.1007/978-0-387-77627-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902572026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Salberg, Arnt-Børre. editor. Hardeberg, Jon Yngve. editor. Jenssen, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02230-2">http://dx.doi.org/10.1007/978-3-642-02230-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Statistical and Geometrical Approaches to Visual Motion Analysis International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papersent://SD_ILS/0/SD_ILS:1905062026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cremers, Daniel. editor. Rosenhahn, Bodo. editor. Yuille, Alan L. editor. Schmidt, Frank R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03061-1">http://dx.doi.org/10.1007/978-3-642-03061-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906342026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907322026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Jiang, Xiaoyi. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03767-2">http://dx.doi.org/10.1007/978-3-642-03767-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lecturesent://SD_ILS/0/SD_ILS:1907532026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03829-7">http://dx.doi.org/10.1007/978-3-642-03829-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1891092026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897422026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00599-2">http://dx.doi.org/10.1007/978-3-642-00599-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896962026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00464-3">http://dx.doi.org/10.1007/978-3-642-00464-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1900722026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Papadopouli, Maria. editor. Owezarski, Philippe. editor. Pras, Aiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01645-5">http://dx.doi.org/10.1007/978-3-642-01645-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pattern Recognition and Image Analysis 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902392026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Araujo, Helder. editor. Mendonça, Ana Maria. editor. Pinho, Armando J. editor. Torres, María Inés. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02172-5">http://dx.doi.org/10.1007/978-3-642-02172-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908982026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Web Mining and Web Usage Analysis 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1897222026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zhang, Haizheng. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Giles, C. Lee. editor. McCallum, Andrew. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00528-2">http://dx.doi.org/10.1007/978-3-642-00528-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:1899502026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01310-2">http://dx.doi.org/10.1007/978-3-642-01310-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901302026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmics of Large and Complex Networks Design, Analysis, and Simulationent://SD_ILS/0/SD_ILS:1902142026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02094-0">http://dx.doi.org/10.1007/978-3-642-02094-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903752026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02611-9">http://dx.doi.org/10.1007/978-3-642-02611-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1905902026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Esposito, Anna. editor. Vích, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03320-9">http://dx.doi.org/10.1007/978-3-642-03320-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Intelligent Data Analysis VIII 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907822026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Adams, Niall M. editor. Robardet, Céline. editor. Siebes, Arno. editor. Boulicaut, Jean-François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03915-7">http://dx.doi.org/10.1007/978-3-642-03915-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1908512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04146-4">http://dx.doi.org/10.1007/978-3-642-04146-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910512026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Verification and Analysis An Integrated, Hands-On Approachent://SD_ILS/0/SD_ILS:1759292026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-240-5">http://dx.doi.org/10.1007/978-1-84882-240-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Statistical Learning and Pattern Analysis for Image and Video Processingent://SD_ILS/0/SD_ILS:1759472026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Zheng, Nanning. author. Xue, Jianru. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-312-9">http://dx.doi.org/10.1007/978-1-84882-312-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scheduling in Distributed Computing Systems Analysis, Design and Modelsent://SD_ILS/0/SD_ILS:1671682026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74483-4">http://dx.doi.org/10.1007/978-0-387-74483-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1912982026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10210-3">http://dx.doi.org/10.1007/978-3-642-10210-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913172026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Bayro-Corrochano, Eduardo. editor. Eklundh, Jan-Olof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10268-4">http://dx.doi.org/10.1007/978-3-642-10268-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Design of Information Systems Third Editionent://SD_ILS/0/SD_ILS:1754962026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Langer, Arthur M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-655-1">http://dx.doi.org/10.1007/978-1-84628-655-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network Performance Analysis Using the J Programming Languageent://SD_ILS/0/SD_ILS:1755832026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Holt, Alan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilitiesent://SD_ILS/0/SD_ILS:1756722026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Simon, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Protein-protein Interactions and Networks Identification, Computer Analysis, and Predictionent://SD_ILS/0/SD_ILS:1757222026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Panchenko, Anna. editor. Przytycka, Teresa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-125-1">http://dx.doi.org/10.1007/978-1-84800-125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887722026-04-13T06:44:35Z2026-04-13T06:44:35ZYazar Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>