Arama Sonuçları Foundations - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2026-01-21T02:49:00ZFoundations of F#ent://SD_ILS/0/SD_ILS:1709872026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pickering, Robert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0358-2">http://dx.doi.org/10.1007/978-1-4302-0358-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Ajaxent://SD_ILS/0/SD_ILS:1707872026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Asleson, Ryan. author. Schutta, Nathaniel T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0082-6">http://dx.doi.org/10.1007/978-1-4302-0082-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Rule Learningent://SD_ILS/0/SD_ILS:1873572026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Fürnkranz, Johannes. author. Gamberger, Dragan. author. Lavrač, Nada. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75197-7">http://dx.doi.org/10.1007/978-3-540-75197-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Qt Developmentent://SD_ILS/0/SD_ILS:1709262026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Thelin, Johan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0251-6">http://dx.doi.org/10.1007/978-1-4302-0251-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of GTK+ Developmentent://SD_ILS/0/SD_ILS:1710042026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Krause, Andrew. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0386-5">http://dx.doi.org/10.1007/978-1-4302-0386-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Securityent://SD_ILS/0/SD_ILS:1753902026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Salomon, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-341-8">http://dx.doi.org/10.1007/1-84628-341-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network Analysis Methodological Foundationsent://SD_ILS/0/SD_ILS:1830272026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Foundations of computer scienceent://SD_ILS/0/SD_ILS:1069642026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Aho, Alfred V. Ullman, Jeffrey D., 1942-, ort. yaz.<br/>Yer Numarası QA76 .A334 1992<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>FOUNDATIONS OF DATA SCIENCE WITH PYTHONent://SD_ILS/0/SD_ILS:5608552026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Shea, John M.<br/>Yer Numarası QA76<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003324997">https://www.taylorfrancis.com/books/9781003324997</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Geometric Algebra Computingent://SD_ILS/0/SD_ILS:3334902026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hildenbrand, Dietmar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333490.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31794-1">http://dx.doi.org/10.1007/978-3-642-31794-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Internetworking Technological Foundations and Applicationsent://SD_ILS/0/SD_ILS:3339712026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333971.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35392-5">http://dx.doi.org/10.1007/978-3-642-35392-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Foundations of Artificial General Intelligenceent://SD_ILS/0/SD_ILS:2070442026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-62-6">http://dx.doi.org/10.2991/978-94-91216-62-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:2057172026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations for Efficient Web Service Selectionent://SD_ILS/0/SD_ILS:1719302026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Yu, Qi. author. Bouguettaya, Athman. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0314-3">http://dx.doi.org/10.1007/978-1-4419-0314-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Popfly Rapid Mashup Developmentent://SD_ILS/0/SD_ILS:1710702026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Griffin, Eric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0568-5">http://dx.doi.org/10.1007/978-1-4302-0568-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Agile Python Developmentent://SD_ILS/0/SD_ILS:1710972026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Younker, Jeff. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0635-4">http://dx.doi.org/10.1007/978-1-4302-0635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of ASP.NET AJAXent://SD_ILS/0/SD_ILS:1709032026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pars, Robin. author. Moroney, Laurence. author. Grieb, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0199-1">http://dx.doi.org/10.1007/978-1-4302-0199-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SmartKom: Foundations of Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:1844072026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wahlster, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-36678-4">http://dx.doi.org/10.1007/3-540-36678-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Java for ABAP Programmersent://SD_ILS/0/SD_ILS:1708452026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Rooney, Alistair. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0140-3">http://dx.doi.org/10.1007/978-1-4302-0140-3</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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>General systems theory mathematical foundationsent://SD_ILS/0/SD_ILS:2573802026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124915404">http://www.sciencedirect.com/science/book/9780124915404</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards Hardware-Intrinsic Security Foundations and Practiceent://SD_ILS/0/SD_ILS:1926592026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Sadeghi, Ahmad-Reza. editor. Naccache, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14452-3">http://dx.doi.org/10.1007/978-3-642-14452-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of SQL Server 2005 Business Intelligenceent://SD_ILS/0/SD_ILS:1709242026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Langit, Lynn. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0248-6">http://dx.doi.org/10.1007/978-1-4302-0248-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999492026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004632026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Thingsent://SD_ILS/0/SD_ILS:4021792026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Marwedel, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995992026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3999032026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis for Computer Scientists Foundations, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:4003742026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015652026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019512026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4020172026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Imine, Abdessamad. editor. Fernandez, José M. editor. (orcid)0000-0001-9836-3595 Marion, Jean-Yves. editor. Logrippo, Luigi. editor. (orcid)0000-0001-8804-0450 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75650-9">https://doi.org/10.1007/978-3-319-75650-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concept Invention Foundations, Implementation, Social Aspects and Applicationsent://SD_ILS/0/SD_ILS:3989942026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65602-1">https://doi.org/10.1007/978-3-319-65602-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4010052026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90050-6">https://doi.org/10.1007/978-3-319-90050-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:3992702026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994062026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Project Effort Estimation Foundations and Best Practice Guidelines for Successent://SD_ILS/0/SD_ILS:4880592026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03629-8">https://doi.org/10.1007/978-3-319-03629-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4890982026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-53956-5">https://doi.org/10.1007/978-3-642-53956-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3343652026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.<br/>Yer Numarası ONLINE(334365.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37119-6">http://dx.doi.org/10.1007/978-3-642-37119-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347112026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334711.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347272026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334727.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350522026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335052.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41071-0">http://dx.doi.org/10.1007/978-3-642-41071-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modern Cryptography Primer Theoretical Foundations and Practical Applicationsent://SD_ILS/0/SD_ILS:3350992026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335099.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41386-5">http://dx.doi.org/10.1007/978-3-642-41386-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Raynal, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333514.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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:3343582026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SemProM Foundations of Semantic Product Memories for the Internet of Thingsent://SD_ILS/0/SD_ILS:3344162026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wahlster, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334416.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37377-0">http://dx.doi.org/10.1007/978-3-642-37377-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349252026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348012026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334801.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39454-6">http://dx.doi.org/10.1007/978-3-642-39454-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970892026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973522026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975342026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chen, Li. editor. Felfernig, Alexander. editor. Liu, Jiming. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34624-8">http://dx.doi.org/10.1007/978-3-642-34624-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Computational Geometry Processing Foundations, Algorithms, and Methodsent://SD_ILS/0/SD_ILS:1735342026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4075-7">http://dx.doi.org/10.1007/978-1-4471-4075-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964522026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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:1965202026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Birkedal, Lars. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1972122026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32355-3">http://dx.doi.org/10.1007/978-3-642-32355-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972372026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32589-2">http://dx.doi.org/10.1007/978-3-642-32589-2</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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1962942026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1964022026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of SQL Server 2008 R2 Business Intelligenceent://SD_ILS/0/SD_ILS:1714992026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Fouché, Guy. author. Langit, Lynn. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-3325-1">http://dx.doi.org/10.1007/978-1-4302-3325-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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applicationsent://SD_ILS/0/SD_ILS:1732122026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9446-2">http://dx.doi.org/10.1007/978-1-4419-9446-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cooperative Work and Coordinative Practices Contributions to the Conceptual Foundations of Computer-Supported Cooperative Work (CSCW)ent://SD_ILS/0/SD_ILS:1756952026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schmidt, Kjeld. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-068-1">http://dx.doi.org/10.1007/978-1-84800-068-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Intelligent Systems 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948592026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Kryszkiewicz, Marzena. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21916-0">http://dx.doi.org/10.1007/978-3-642-21916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:1957822026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papersent://SD_ILS/0/SD_ILS:1958152026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Zhou, Qihai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24999-0">http://dx.doi.org/10.1007/978-3-642-24999-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958252026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations for the Web of Information and Services A Review of 20 Years of Semantic Web Researchent://SD_ILS/0/SD_ILS:1941592026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Fensel, Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19797-0">http://dx.doi.org/10.1007/978-3-642-19797-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1941702026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952062026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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:1941622026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hofmann, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Large-Scale Multimedia Information Management and Retrieval Mathematics of Perceptionent://SD_ILS/0/SD_ILS:1943692026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chang, Edward Y. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20429-6">http://dx.doi.org/10.1007/978-3-642-20429-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedingsent://SD_ILS/0/SD_ILS:1947112026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21470-7">http://dx.doi.org/10.1007/978-3-642-21470-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations on Natural and Artificial Computation 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1946702026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ferrández, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz, Félix. editor. Toledo, F. Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21344-1">http://dx.doi.org/10.1007/978-3-642-21344-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Augmented Cognition. Directing the Future of Adaptive Systems 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948402026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21852-1">http://dx.doi.org/10.1007/978-3-642-21852-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923852026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, 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-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1918102026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11829-6">http://dx.doi.org/10.1007/978-3-642-11829-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 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:1918672026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920362026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Sociology to Computing in Social Networks Theory, Foundations and Applicationsent://SD_ILS/0/SD_ILS:1977222026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Memon, Nasrullah. editor. Alhajj, Reda. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7091-0294-7">http://dx.doi.org/10.1007/978-3-7091-0294-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Python Network Programming The comprehensive guide to building network applications with Pythonent://SD_ILS/0/SD_ILS:1714262026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Rhodes, Brandon. author. Goerzen, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-3004-5">http://dx.doi.org/10.1007/978-1-4302-3004-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scientific Data Mining and Knowledge Discovery Principles and Foundationsent://SD_ILS/0/SD_ILS:1904232026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gaber, Mohamed Medhat. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02788-8">http://dx.doi.org/10.1007/978-3-642-02788-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForument://SD_ILS/0/SD_ILS:1904832026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Bauer, Friedrich L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02992-9">http://dx.doi.org/10.1007/978-3-642-02992-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1917412026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928782026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1928812026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of CentOS Linux Enterprise Linux On the Cheapent://SD_ILS/0/SD_ILS:1712502026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Baclit, Ryan. author. Sicam, Chivas. author. Membrey, Peter. author. Newbigin, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1965-1">http://dx.doi.org/10.1007/978-1-4302-1965-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papersent://SD_ILS/0/SD_ILS:1913712026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Systems Biology Using Cell Illustrator® and Pathway Databasesent://SD_ILS/0/SD_ILS:1758782026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-023-4">http://dx.doi.org/10.1007/978-1-84882-023-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894352026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 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:1897412026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Alfaro, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903952026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1904302026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schmorrow, Dylan D. editor. Estabrooke, Ivy V. editor. Grootjen, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02812-0">http://dx.doi.org/10.1007/978-3-642-02812-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908722026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04211-9">http://dx.doi.org/10.1007/978-3-642-04211-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctnessent://SD_ILS/0/SD_ILS:1892252026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Mendling, Jan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89224-3">http://dx.doi.org/10.1007/978-3-540-89224-3</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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Explorationent://SD_ILS/0/SD_ILS:1852932026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Möller, Torsten. editor. Hamann, Bernd. editor. Russell, Robert D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106657">http://dx.doi.org/10.1007/b106657</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulosent://SD_ILS/0/SD_ILS:1903282026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02463-4">http://dx.doi.org/10.1007/978-3-642-02463-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907472026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</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-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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/>Foundations of Intelligent Systems 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908432026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Rauch, Jan. editor. Raś, Zbigniew W. editor. Berka, Petr. editor. Elomaa, Tapio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04125-9">http://dx.doi.org/10.1007/978-3-642-04125-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911062026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04944-6">http://dx.doi.org/10.1007/978-3-642-04944-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networksent://SD_ILS/0/SD_ILS:1698932026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6668-9">http://dx.doi.org/10.1007/978-1-4020-6668-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of C++/CLI The Visual C++ Language for .NET 3.5ent://SD_ILS/0/SD_ILS:1711332026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hogenson, Gordon. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1024-5">http://dx.doi.org/10.1007/978-1-4302-1024-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Heterogeneous Objects Modelling and Applications Collection of Papers on Foundations and Practiceent://SD_ILS/0/SD_ILS:1854812026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pasko, Alexander. editor. Adzhiev, Valery. editor. Comninos, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68443-5">http://dx.doi.org/10.1007/978-3-540-68443-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1857142026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69100-6">http://dx.doi.org/10.1007/978-3-540-69100-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 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:1881522026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Amadio, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1886482026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of 3D Graphics Programming Using JOGL and Java3Dent://SD_ILS/0/SD_ILS:1757962026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-284-5">http://dx.doi.org/10.1007/978-1-84800-284-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph-based Knowledge Representation Computational Foundations of Conceptual Graphsent://SD_ILS/0/SD_ILS:1757972026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chein, Michel. author. Mugnier, Marie-Laure. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-286-9">http://dx.doi.org/10.1007/978-1-84800-286-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1853622026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar An, Aijun. editor. Matwin, Stan. editor. Raś, Zbigniew W. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68123-6">http://dx.doi.org/10.1007/978-3-540-68123-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1879462026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Security What Every Programmer Needs to Knowent://SD_ILS/0/SD_ILS:1709962026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Daswani, Neil. author. Kern, Christoph. author. Kesavan, Anita. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0377-3">http://dx.doi.org/10.1007/978-1-4302-0377-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Microsoft Expression Web The Basics and Beyondent://SD_ILS/0/SD_ILS:1710102026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wise, Cheryl D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0392-6">http://dx.doi.org/10.1007/978-1-4302-0392-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1868652026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73482-6">http://dx.doi.org/10.1007/978-3-540-73482-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872972026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74871-7">http://dx.doi.org/10.1007/978-3-540-74871-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1871622026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Conceptual Modeling – Foundations and Applications ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1875682026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hainaut, Jean-Luc. editor. Rundensteiner, Elke A. editor. Kirchberg, Markus. editor. Bertolotto, Michela. editor. Brochhausen, Mathias. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76292-8">http://dx.doi.org/10.1007/978-3-540-76292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1877742026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862672026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedingsent://SD_ILS/0/SD_ILS:1866802026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72901-3">http://dx.doi.org/10.1007/978-3-540-72901-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866972026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72950-1">http://dx.doi.org/10.1007/978-3-540-72950-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867792026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73216-7">http://dx.doi.org/10.1007/978-3-540-73216-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lecturesent://SD_ILS/0/SD_ILS:1872722026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar 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-540-74810-6">http://dx.doi.org/10.1007/978-3-540-74810-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866382026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Object-Oriented Programming Using .NET 2.0 Patternsent://SD_ILS/0/SD_ILS:1707822026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gross, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0077-2">http://dx.doi.org/10.1007/978-1-4302-0077-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Decision-making Support Systems Foundations, Applications and Challengesent://SD_ILS/0/SD_ILS:1753302026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gupta, Jatinder N. D. author. Forgionne, Guisseppi A. author. Mora T., Manuel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-231-4">http://dx.doi.org/10.1007/1-84628-231-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828842026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836002026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Intelligent Systems 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848602026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Esposito, Floriana. editor. Raś, Zbigniew W. editor. Malerba, Donato. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11875604">http://dx.doi.org/10.1007/11875604</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660682026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-34735-6">http://dx.doi.org/10.1007/978-0-387-34735-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0ent://SD_ILS/0/SD_ILS:1708802026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Moroney, Laurence. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0175-5">http://dx.doi.org/10.1007/978-1-4302-0175-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of 3D Graphics Programming Using JOGL and Java3Dent://SD_ILS/0/SD_ILS:1754642026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-597-6">http://dx.doi.org/10.1007/1-84628-597-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843222026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846362026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853102026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasisent://SD_ILS/0/SD_ILS:1689662026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Iglesias, M. author. Naudts, B. author. Verschoren, A. author. Vidal, C. author. Lowen, R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3665-5">http://dx.doi.org/10.1007/1-4020-3665-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of AOP for J2EE Developmentent://SD_ILS/0/SD_ILS:1707682026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0063-5">http://dx.doi.org/10.1007/978-1-4302-0063-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823432026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1829062026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829532026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lecturesent://SD_ILS/0/SD_ILS:1830092026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Intelligent Systems 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830212026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hacid, Mohand-Said. editor. Murray, Neil V. editor. Raś, Zbigniew W. editor. Tsumoto, Shusaku. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136302">http://dx.doi.org/10.1007/b136302</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830532026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-star Properties in Complex Information Systems Conceptual and Practical Foundationsent://SD_ILS/0/SD_ILS:1830812026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831002026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138412">http://dx.doi.org/10.1007/b138412</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832322026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11571155">http://dx.doi.org/10.1007/11571155</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831562026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1833612026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Product Line Engineering Foundations, Principles, and Techniquesent://SD_ILS/0/SD_ILS:1818932026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28901-1">http://dx.doi.org/10.1007/3-540-28901-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systemsent://SD_ILS/0/SD_ILS:1832502026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Cai, Yang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105582">http://dx.doi.org/10.1007/b105582</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof, language, and interaction essays in honour of Robin Milnerent://SD_ILS/0/SD_ILS:2199012026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Eijck, J. van (Jan) Visser, Albert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Elastic Oscillations Equations and Methodsent://SD_ILS/0/SD_ILS:4007692026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Fridman, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4786-2">https://doi.org/10.1007/978-981-10-4786-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling and Simulation Exploring Dynamic System Behaviourent://SD_ILS/0/SD_ILS:3308822026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330882.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2783-3">http://dx.doi.org/10.1007/978-1-4471-2783-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Dynamic Simulations of Rigid Bodies and Particle Systemsent://SD_ILS/0/SD_ILS:3309752026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Coutinho, Murilo G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330975.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4417-5">http://dx.doi.org/10.1007/978-1-4471-4417-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:3305862026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330586.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-865-2">http://dx.doi.org/10.1007/978-0-85729-865-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approachent://SD_ILS/0/SD_ILS:1681502026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-8176-4465-2">http://dx.doi.org/10.1007/0-8176-4465-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Utility Maximization in Nonconvex Wireless Systemsent://SD_ILS/0/SD_ILS:1936012026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Brehmer, Johannes. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17438-4">http://dx.doi.org/10.1007/978-3-642-17438-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>On the Achievable Rate of Stationary Fading Channelsent://SD_ILS/0/SD_ILS:1941532026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Dörpinghaus, Meik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19780-2">http://dx.doi.org/10.1007/978-3-642-19780-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robust Signal Processing for Wireless Communicationsent://SD_ILS/0/SD_ILS:1870982026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Dietrich, Frank A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74249-4">http://dx.doi.org/10.1007/978-3-540-74249-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear Estimation and Detection in Krylov Subspacesent://SD_ILS/0/SD_ILS:1854882026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Dietl, Guido K.E. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68479-4">http://dx.doi.org/10.1007/978-3-540-68479-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-93582-5">https://doi.org/10.1007/978-3-030-93582-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"ent://SD_ILS/0/SD_ILS:5285462026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Polkowski, Lech T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Winters-Hilt, Stephen, author.<br/>Yer Numarası Q325.5 .W558 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physikent://SD_ILS/0/SD_ILS:3330362026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333036.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347182026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334718.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Belief Revision in Non-Classical Logicsent://SD_ILS/0/SD_ILS:3309252026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330942.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reactive Kripke Semanticsent://SD_ILS/0/SD_ILS:3351002026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335100.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344652026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347022026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elementsent://SD_ILS/0/SD_ILS:3359412026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335941.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Argument of Mathematicsent://SD_ILS/0/SD_ILS:3362632026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336263.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:5410672026-01-21T02:49:00Z2026-01-21T02:49:00ZYazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası QA76.9 .A43 A433 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781584888215">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>