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$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2026-05-15T21:05:33ZOutlier Analysisent://SD_ILS/0/SD_ILS:3320262026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Fault Analysis in Cryptographyent://SD_ILS/0/SD_ILS:1967462026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis of Rare Categoriesent://SD_ILS/0/SD_ILS:1951472026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Network Analysis Methodological Foundationsent://SD_ILS/0/SD_ILS:1830272026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Sentiment Analysis for PTSD Signalsent://SD_ILS/0/SD_ILS:3313162026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Performance Analysis of Computer Networksent://SD_ILS/0/SD_ILS:3328832026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Multiscale Signal Analysis and Modelingent://SD_ILS/0/SD_ILS:3314372026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Compiler Design Syntactic and Semantic Analysisent://SD_ILS/0/SD_ILS:3330762026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>3D Imaging, Analysis and Applicationsent://SD_ILS/0/SD_ILS:1735312026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Numerical Analysis of Multiscale Problemsent://SD_ILS/0/SD_ILS:1949042026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Compiler Design Analysis and Transformationent://SD_ILS/0/SD_ILS:1936342026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Object-Oriented Analysis and Designent://SD_ILS/0/SD_ILS:1762742026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computer Analysis of Human Behaviorent://SD_ILS/0/SD_ILS:1686502026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Spectral Methods Algorithms, Analysis and Applicationsent://SD_ILS/0/SD_ILS:1861542026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Three-Dimensional Model Analysis and Processingent://SD_ILS/0/SD_ILS:1920642026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Sensitivity Analysis for Neural Networksent://SD_ILS/0/SD_ILS:1903502026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Ambulation Analysis in Wearable ECGent://SD_ILS/0/SD_ILS:1720482026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Pro SQL Server 2008 Analysis Servicesent://SD_ILS/0/SD_ILS:1712612026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis für Informatiker Grundlagen, Methoden, Algorithmenent://SD_ILS/0/SD_ILS:1893422026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Konkrete Analysis für Studierende der Informatikent://SD_ILS/0/SD_ILS:1860732026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Machine Learning for Multimedia Content Analysisent://SD_ILS/0/SD_ILS:1667492026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Exploratory Data Analysis Using Fisher Informationent://SD_ILS/0/SD_ILS:1755602026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Anti-Spam Measures Analysis and Designent://SD_ILS/0/SD_ILS:1863582026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Asymptotic Analysis and Boundary Layersent://SD_ILS/0/SD_ILS:1849542026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Performance Analysis of Network Architecturesent://SD_ILS/0/SD_ILS:1840042026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Web Communities Analysis and Constructionent://SD_ILS/0/SD_ILS:1815572026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Einführung in die Analysis dynamischer Systemeent://SD_ILS/0/SD_ILS:1809062026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computational Genome Analysis An Introductionent://SD_ILS/0/SD_ILS:1655592026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis für Informatiker Grundlagen, Methoden, Algorithmenent://SD_ILS/0/SD_ILS:1814862026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Model-Driven Risk Analysis The CORAS Approachent://SD_ILS/0/SD_ILS:1919582026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Visual Analysis of Humans Looking at Peopleent://SD_ILS/0/SD_ILS:1686512026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Multimedia Multiprocessor Systems Analysis, Design and Managementent://SD_ILS/0/SD_ILS:2057422026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>802.11 Wireless Networks Security and Analysisent://SD_ILS/0/SD_ILS:1762072026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Advances in Computational Algorithms and Data Analysisent://SD_ILS/0/SD_ILS:1703772026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Robot Behaviour Design, Description, Analysis and Modellingent://SD_ILS/0/SD_ILS:1758442026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Secure Transaction Protocol Analysis Models and Applicationsent://SD_ILS/0/SD_ILS:1885802026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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 IIent://SD_ILS/0/SD_ILS:6072142026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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 IIent://SD_ILS/0/SD_ILS:6031512026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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 Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994162026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis for Computer Scientists Foundations, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:4003742026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001312026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligenceent://SD_ILS/0/SD_ILS:4003102026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applicationsent://SD_ILS/0/SD_ILS:6122552026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6107922026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161352026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledgeent://SD_ILS/0/SD_ILS:4888522026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889422026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysisent://SD_ILS/0/SD_ILS:3324172026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Productive Multivocality in the Analysis of Group Interactionsent://SD_ILS/0/SD_ILS:3324562026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346372026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)ent://SD_ILS/0/SD_ILS:3313272026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taibaent://SD_ILS/0/SD_ILS:3315822026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Anonymization of Electronic Medical Records to Support Clinical Analysisent://SD_ILS/0/SD_ILS:3318332026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computational Biology A Practical Introduction to BioData Processing and Analysis with Linux, MySQL, and Rent://SD_ILS/0/SD_ILS:3338882026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345802026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasuresent://SD_ILS/0/SD_ILS:3349822026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>The Influence of Technology on Social Network Analysis and Miningent://SD_ILS/0/SD_ILS:3353162026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar Ö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/>Design, Analysis and Test of Logic Circuits Under Uncertaintyent://SD_ILS/0/SD_ILS:3356692026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Modeling, Analysis and Optimization of Network-on-Chip Communication Architecturesent://SD_ILS/0/SD_ILS:3357262026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>The Monte Carlo Simulation Method for System Reliability and Risk Analysisent://SD_ILS/0/SD_ILS:3310172026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>An ASIC Low Power Primer Analysis, Techniques and Specificationent://SD_ILS/0/SD_ILS:3314642026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysisent://SD_ILS/0/SD_ILS:3316772026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:3332512026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Targeted Advertising Technologies in the ICT Space A Use Case Driven Analysisent://SD_ILS/0/SD_ILS:3353612026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>The 3rd International Workshop on Intelligent Data Analysis and Managementent://SD_ILS/0/SD_ILS:3363582026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964702026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967922026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973232026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Guide to Medical Image Analysis Methods and Algorithmsent://SD_ILS/0/SD_ILS:1734732026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1970552026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1970562026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Cryptographic Protocol Security Analysis Based on Trusted Freshnessent://SD_ILS/0/SD_ILS:1955362026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Internet Privacy Eine multidisziplinäre Bestandsaufnahme/A multidisciplinary analysisent://SD_ILS/0/SD_ILS:1971592026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974802026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961402026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Foundations of Security Analysis and Design VI FOSAD Tutorial Lecturesent://SD_ILS/0/SD_ILS:1952312026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Machine Learning for Vision-Based Motion Analysis Theory and Techniquesent://SD_ILS/0/SD_ILS:1684072026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis for Computer Scientists Foundations, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:1685042026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Stereo Scene Flow for 3D Motion Analysisent://SD_ILS/0/SD_ILS:1686432026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customizationent://SD_ILS/0/SD_ILS:1731022026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Statistical Analysis of Clinical Data on a Pocket Calculator Statistics on a Pocket Calculatorent://SD_ILS/0/SD_ILS:2060002026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Core Concepts in Data Analysis: Summarization, Correlation and Visualizationent://SD_ILS/0/SD_ILS:1684792026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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 and Control of Boolean Networks A Semi-tensor Product Approachent://SD_ILS/0/SD_ILS:1684192026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Visual Analysis of Behaviour From Pixels to Semanticsent://SD_ILS/0/SD_ILS:1685652026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Multicriteria Analysis Applications to Water and Environment Managementent://SD_ILS/0/SD_ILS:1937552026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946332026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Advances in Intelligent Data Analysis X 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957502026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminologyent://SD_ILS/0/SD_ILS:2061662026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930792026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chainsent://SD_ILS/0/SD_ILS:1943862026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1955402026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis and Correctness of Algebraic Graph and Model Transformationsent://SD_ILS/0/SD_ILS:1999772026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>A Guide to Empirical Orthogonal Functions for Climate Data Analysisent://SD_ILS/0/SD_ILS:2051572026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedingsent://SD_ILS/0/SD_ILS:1919722026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>iOS Forensic Analysis for iPhone, iPad, and iPod touchent://SD_ILS/0/SD_ILS:1715042026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Computational Social Network Analysis Trends, Tools and Research Advancesent://SD_ILS/0/SD_ILS:1759272026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Scientific Data Analysis using Jython Scripting and Javaent://SD_ILS/0/SD_ILS:1762102026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930372026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1935142026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Experimental Methods for the Analysis of Optimization Algorithmsent://SD_ILS/0/SD_ILS:1903522026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamicsent://SD_ILS/0/SD_ILS:1926782026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:1899502026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1900722026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910512026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1912982026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Scheduling in Distributed Computing Systems Analysis, Design and Modelsent://SD_ILS/0/SD_ILS:1671682026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Biometric System and Data Analysis Design, Evaluation, and Data Miningent://SD_ILS/0/SD_ILS:1674972026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Software Verification and Analysis An Integrated, Hands-On Approachent://SD_ILS/0/SD_ILS:1759292026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897422026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Algorithmics of Large and Complex Networks Design, Analysis, and Simulationent://SD_ILS/0/SD_ILS:1902142026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901302026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902572026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1908512026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Analysis and Design of Information Systems Third Editionent://SD_ILS/0/SD_ILS:1754962026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Protein-protein Interactions and Networks Identification, Computer Analysis, and Predictionent://SD_ILS/0/SD_ILS:1757222026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>Mathematical Methods in Signal Processing and Digital Image Analysisent://SD_ILS/0/SD_ILS:1874612026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75632-3">http://dx.doi.org/10.1007/978-3-540-75632-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 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462026-05-15T21:05:33Z2026-05-15T21:05:33ZYazar Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</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-05-15T21:05:33Z2026-05-15T21:05:33ZYazar 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/>