Arama Sonuçları Logic. - Daraltılmış: 2006SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092006$0025092006$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-07T18:09:06ZPhilosophy of logicent://SD_ILS/0/SD_ILS:1483812025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Jacquette, Dale.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:2544812025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The logic of practiceent://SD_ILS/0/SD_ILS:905572025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bourdieu, Pierre, 1930-2002<br/>Yer Numarası GN 468 B6813 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A Companion to philosophical logicent://SD_ILS/0/SD_ILS:3000812025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Jacquette, Dale. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Yer Numarası B 945.P43 C5 1923 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and the semantic webent://SD_ILS/0/SD_ILS:2537232025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sanchez, Elie, 1944-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:1690752025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigid Flexibility The Logic of Intelligenceent://SD_ILS/0/SD_ILS:1693552025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Wang, Pei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantifiers in language and logicent://SD_ILS/0/SD_ILS:2335492025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theories of Judgment Psychology, Logic, Phenomenologyent://SD_ILS/0/SD_ILS:2385632025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Martin, Wayne.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation Engineering Applied Automata Theory and Logicent://SD_ILS/0/SD_ILS:1658582025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of Fuzzy Logic and Chaos Theoryent://SD_ILS/0/SD_ILS:1834082025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Fuzzy Logic Technologies in Industrial Applicationsent://SD_ILS/0/SD_ILS:1754302025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-469-4">http://dx.doi.org/10.1007/978-1-84628-469-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic and microprocessor design with VHDLent://SD_ILS/0/SD_ILS:1196432025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hwang, Enoch O.<br/>Yer Numarası TK7888.4 .H885 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the modalities in the twentieth centuryent://SD_ILS/0/SD_ILS:2566262025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bogoslovsky, Boris Basil, 1890-<br/>Yer Numarası BC 108 B65 1928 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>How to Show Things with Words : A Study on Logic, Language and Literatureent://SD_ILS/0/SD_ILS:5342712025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Linhares-Dias, Rui, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110899627">https://doi.org/10.1515/9783110899627</a>
<a href="https://www.degruyter.com/isbn/9783110899627">https://www.degruyter.com/isbn/9783110899627</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110899627/original">https://www.degruyter.com/document/cover/isbn/9783110899627/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Why not kill them all? : the logic and prevention of mass political murderent://SD_ILS/0/SD_ILS:3751202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Chirot, Daniel. McCauley, Clark R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7pf8w">http://www.jstor.org/stable/10.2307/j.ctt7pf8w</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1834652025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hill, Patricia M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papersent://SD_ILS/0/SD_ILS:1834742025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/10983652">http://dx.doi.org/10.1007/10983652</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1837442025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machinesent://SD_ILS/0/SD_ILS:1837482025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33459-0">http://dx.doi.org/10.1007/978-3-540-33459-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1839012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11750734">http://dx.doi.org/10.1007/11750734</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Switching Theory and Logic Design A Hands on Approachent://SD_ILS/0/SD_ILS:1657122025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30311-1">http://dx.doi.org/10.1007/0-387-30311-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1657822025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmenent://SD_ILS/0/SD_ILS:1819822025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Lippe, Wolfram-Manfred. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29274-8">http://dx.doi.org/10.1007/3-540-29274-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1839712025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843122025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theoryent://SD_ILS/0/SD_ILS:1843382025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Lau, Dietlinde. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850672025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848452025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Signs of logic Peircean themes on the philosophy of language, games, and communicationent://SD_ILS/0/SD_ILS:1521762025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Pietarinen, Ahti-Veikko. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3729-5">http://dx.doi.org/10.1007/1-4020-3729-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Todayent://SD_ILS/0/SD_ILS:1523382025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5012-7">http://dx.doi.org/10.1007/978-1-4020-5012-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cost optimization of structures fuzzy logic, genetic algorithms, and parallel computingent://SD_ILS/0/SD_ILS:3028982025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Adeli, Hojjat, 1950- Sarma, Kamal C. (Kamal Chandra), 1955- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0470867353">http://dx.doi.org/10.1002/0470867353</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1834212025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11676935">http://dx.doi.org/10.1007/11676935</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approachent://SD_ILS/0/SD_ILS:1835362025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logicent://SD_ILS/0/SD_ILS:1835552025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bollig, Benedikt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843982025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)ent://SD_ILS/0/SD_ILS:1844622025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and contemporary rhetoric : the use of reason in everyday lifeent://SD_ILS/0/SD_ILS:1091192025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kahane, Howard, 1928- Cavender, Nancy.<br/>Yer Numarası BC177 .K34 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Low-power CMOS circuits : technology, logic design and CAD toolsent://SD_ILS/0/SD_ILS:5474912025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Piguet, Christian, author.<br/>Yer Numarası TK7871.99 .M44 P56 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420036503">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of inductionent://SD_ILS/0/SD_ILS:725272025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Nicod, Jean, 1893-1924.<br/>Yer Numarası QA 681 N5 1930 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 6 W72 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 91 W72 1951 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Intuition and the Axiomatic Methodent://SD_ILS/0/SD_ILS:1522202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Carson, Emily. Huber, Renate. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4040-7">http://dx.doi.org/10.1007/1-4020-4040-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CAMEL intelligent networks for the GSM, GPSR and UMTS networkent://SD_ILS/0/SD_ILS:2958002025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Noldus, Rogier. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0470028483">http://dx.doi.org/10.1002/0470028483</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471">http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relation algebrasent://SD_ILS/0/SD_ILS:2565312025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Maddux, R. D. (Roger D.), 1948-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520135">http://www.sciencedirect.com/science/book/9780444520135</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Akay, Metin.<br/>Yer Numarası QT 26.5 N813 2000-<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası R 857.S47 N66 2000- V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Electrical Engineering Handbook - Six Volume Setent://SD_ILS/0/SD_ILS:5424842025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Dorf, Richard C., editor. Taylor and Francis.<br/>Yer Numarası R857 .B54<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420049756">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Subjectification : Various Paths to Subjectivityent://SD_ILS/0/SD_ILS:5343102025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Athanasiadou, Angeliki, contributor. Athanasiadou, Angeliki, editor. Breban, Tine, contributor. Brisard, Frank, contributor. Canakis, Costas, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110892970">https://doi.org/10.1515/9783110892970</a>
<a href="https://www.degruyter.com/isbn/9783110892970">https://www.degruyter.com/isbn/9783110892970</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110892970/original">https://www.degruyter.com/document/cover/isbn/9783110892970/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Good Humor, Bad Taste : A Sociology of the Jokeent://SD_ILS/0/SD_ILS:5343172025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kuipers, Giselinde, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110898996">https://doi.org/10.1515/9783110898996</a>
<a href="https://www.degruyter.com/isbn/9783110898996">https://www.degruyter.com/isbn/9783110898996</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110898996/original">https://www.degruyter.com/document/cover/isbn/9783110898996/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The proceedings of the twenty-first World Congress of Philosophyent://SD_ILS/0/SD_ILS:1194012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar World Congress of Philosophy (21st : 2003 : Istanbul, Turkey) Kuçuradi, Ioanna. Türkiye Felsefe Kurumu.<br/>Yer Numarası B20 .W68 2006-07 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~13<br/>Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1834512025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1847582025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11859802">http://dx.doi.org/10.1007/11859802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1849722025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1851302025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATIONent://SD_ILS/0/SD_ILS:1522072025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar ALISEDA, ATOCHA. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3907-7">http://dx.doi.org/10.1007/1-4020-3907-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cambridge and Vienna Frank P. Ramsey and the Vienna Circleent://SD_ILS/0/SD_ILS:1522282025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Galavotti, Maria Carla. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>THE LIMITS OF LOGICAL EMPIRICISM SELECTED PAPERS OF ARTHUR PAPent://SD_ILS/0/SD_ILS:1522572025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar KEUPINK, ALFONS. SHIEH, SANFORD. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4299-X">http://dx.doi.org/10.1007/1-4020-4299-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fault-Tolerance Techniques for SRAM-based FPGAsent://SD_ILS/0/SD_ILS:1657792025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modern Formal Methods and Applicationsent://SD_ILS/0/SD_ILS:1691142025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gabbar, Hossam A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4223-X">http://dx.doi.org/10.1007/1-4020-4223-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Introduction to Programmingent://SD_ILS/0/SD_ILS:1753512025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Mills, Bruce. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systemsent://SD_ILS/0/SD_ILS:1753862025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite Model Theoryent://SD_ILS/0/SD_ILS:1818572025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logischer Entwurf digitaler Systemeent://SD_ILS/0/SD_ILS:1820322025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Liebig, Hans. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29430-9">http://dx.doi.org/10.1007/3-540-29430-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierungent://SD_ILS/0/SD_ILS:1821902025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Lienig, Jens. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1827892025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1832742025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1839252025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1839522025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:1840022025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Axiom of Choiceent://SD_ILS/0/SD_ILS:1839832025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Herrlich, Horst. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841222025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841852025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842972025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Thomas, Dave. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1843092025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</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:1843222025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar 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/>Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1846962025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1846972025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1847182025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848902025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850082025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850172025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1852472025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1854592025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:1656772025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hersh, Reuben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:1658252025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:1661392025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Techniques of Constructive Analysisent://SD_ILS/0/SD_ILS:1662282025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Uncertainty, Rationality, and Agencyent://SD_ILS/0/SD_ILS:1692362025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hoek, Wiebe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4631-6">http://dx.doi.org/10.1007/1-4020-4631-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical pluralisment://SD_ILS/0/SD_ILS:2333202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Beall, J. C. Restall, Greg, 1969-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199288403.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199288403.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Commonsense reasoningent://SD_ILS/0/SD_ILS:2537762025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Mueller, Erik T.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Algebraic Graph Transformationent://SD_ILS/0/SD_ILS:1825402025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering 1 Abstraction and Modellingent://SD_ILS/0/SD_ILS:1825822025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bjørner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</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:1828842025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar 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/>Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1834452025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnalent://SD_ILS/0/SD_ILS:1833802025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1838052025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papersent://SD_ILS/0/SD_ILS:1839382025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1849112025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Benhamou, Frédéric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848282025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sakakibara, Yasubumi. editor. Kobayashi, Satoshi. editor. Sato, Kengo. editor. Nishino, Tetsuro. editor. Tomita, Etsuji. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11872436">http://dx.doi.org/10.1007/11872436</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Variations on Constants Flow Analysis of Sequential and Parallel Programsent://SD_ILS/0/SD_ILS:1848412025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Müller-Olm, Markus. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848462025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848592025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Górski, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11875567">http://dx.doi.org/10.1007/11875567</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851282025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1851522025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851652025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</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:1853102025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar 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/>Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1853722025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1855762025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1856652025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1857332025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Butterfield, Andrew. editor. Grelck, Clemens. editor. Huch, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Azzouni, Jody.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Thinking about acting logical foundations for rational decision makingent://SD_ILS/0/SD_ILS:2320262025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Pollock, John L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Congruences of a Finite Lattice A Proof-by-Picture Approachent://SD_ILS/0/SD_ILS:1681482025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Grätzer, George. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Roadmap for Formal Property Verificationent://SD_ILS/0/SD_ILS:1692712025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar DasGupta, Pallab. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Lifeent://SD_ILS/0/SD_ILS:1521772025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Tymieniecka, Anna-Teresa. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3737-6">http://dx.doi.org/10.1007/1-4020-3737-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analogy in Indian and Western Philosophical Thoughtent://SD_ILS/0/SD_ILS:1521272025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Zilberman, David B. Gourko, Helena. Cohen, Robert S. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3340-0">http://dx.doi.org/10.1007/1-4020-3340-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluationent://SD_ILS/0/SD_ILS:1523292025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hitchcock, David. Verheij, Bart. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-4938-5">http://dx.doi.org/10.1007/978-1-4020-4938-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Methods of legal reasoningent://SD_ILS/0/SD_ILS:1523302025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4939-0">http://dx.doi.org/10.1007/1-4020-4939-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Physics with MAPLE the computer algebra resource for mathematical methods in physicsent://SD_ILS/0/SD_ILS:3035622025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Wang, Frank Y. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9783527618934">http://dx.doi.org/10.1002/9783527618934</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html">http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Synthesis of arithmetic circuits FPGA, ASIC and embedded systemsent://SD_ILS/0/SD_ILS:3030422025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={9B847F1D-7655-49AF-84E0-C6142303ACD3}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471687832">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471741426">http://dx.doi.org/10.1002/0471741426</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650">http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html">http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Rossi, Richard J., 1956-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Plays. 5 / Tom Murphy ; with an introduction by Nicholas Grene.ent://SD_ILS/0/SD_ILS:3423982025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Murphy, Tom.<br/>Yer Numarası PR6063.U736 A6 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:1821972025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826272025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828312025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1834962025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1835162025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</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:1836002025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar 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/>Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836022025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836162025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:1837072025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sestoft, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1836182025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11605157">http://dx.doi.org/10.1007/11605157</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836212025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Valmari, Antti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691617">http://dx.doi.org/10.1007/11691617</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1836232025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836452025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bjørner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Théorie des ensemblesent://SD_ILS/0/SD_ILS:1839152025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bourbaki, N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering 3 Domains, Requirements, and Software Designent://SD_ILS/0/SD_ILS:1837912025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bjøner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1840622025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842082025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1842162025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842422025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842492025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1842592025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1842612025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842812025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842822025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842832025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1844262025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844932025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11812128">http://dx.doi.org/10.1007/11812128</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845022025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845362025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845392025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1844472025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844572025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11802372">http://dx.doi.org/10.1007/11802372</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1845852025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1846012025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846322025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</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:1846362025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar 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/>The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846762025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechatronics : an introductionent://SD_ILS/0/SD_ILS:5394942025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bishop, Robert H., 1957-<br/>Yer Numarası TJ163.12 .M4315 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315220574">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Yargı yetisinin eleştrisi = Kritik der Urteilskraftent://SD_ILS/0/SD_ILS:4903202025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kant, Immanuel, 11724-1804 Yardımlı, Aziz.<br/>Yer Numarası B2783 K36 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Columbia Guide to Online Styleent://SD_ILS/0/SD_ILS:5312952025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Walker, Janice, author. Taylor, Todd, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.7312/walk13210">https://doi.org/10.7312/walk13210</a>
<a href="https://www.degruyter.com/isbn/9780231506984">https://www.degruyter.com/isbn/9780231506984</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9780231506984/original">https://www.degruyter.com/document/cover/isbn/9780231506984/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligence, destiny, and education : the ideological roots of intelligence testingent://SD_ILS/0/SD_ILS:1200822025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar White, John, 1934-<br/>Yer Numarası BF431 .W532 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Hydroinformatics : data integrative approaches in computation, analysis, and modelingent://SD_ILS/0/SD_ILS:5389002025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Kumar, Praveen.<br/>Yer Numarası GB656.2 .E43 H92 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420038002">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>GIS and archaeological site location modelingent://SD_ILS/0/SD_ILS:5392752025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar GIS and Archaeological Predictive Modeling Conference (2001 : Argonne National Laboratory) Mehrer, Mark. Wescott, Konnie.<br/>Yer Numarası CC80.4 .G57 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134375943">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Electronics : circuits, amplifiers and gatesent://SD_ILS/0/SD_ILS:5395882025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bugg, D. V. (David Vernon)<br/>Yer Numarası TK7815 .B83 2006 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367807894">https://www.taylorfrancis.com/books/9780367807894</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/>Mathematics and common sense : a case of creative tensionent://SD_ILS/0/SD_ILS:5396022025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Davis, Philip J., 1923, author.<br/>Yer Numarası QA9.2 .D38 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439864326">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Instrument engineers' handbook. Vol. 2, Process control and optimizationent://SD_ILS/0/SD_ILS:5454712025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Liptak, Bela G.<br/>Yer Numarası TS156.8 .I57 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420064001">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Silicon nanoelectronicsent://SD_ILS/0/SD_ILS:5474932025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Oda, Shunri. Ferry, David K.<br/>Yer Numarası TK7874.8 .S55 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315220857">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004ent://SD_ILS/0/SD_ILS:1979742025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Attitude problems an essay on linguistic intensionalityent://SD_ILS/0/SD_ILS:2337612025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Forbes, Graeme.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199274949.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199274949.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantum communications and cryptographyent://SD_ILS/0/SD_ILS:5435042025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Sergienko, Alexander V.<br/>Yer Numarası TK5102.94 .Q36 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420026603">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Silicon heterostructure handbook : materials, fabrication, devices, circuits, and applications of SiGe and Si strained-layer epitaxyent://SD_ILS/0/SD_ILS:5435052025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Cressler, John D.<br/>Yer Numarası TK7871.96 .B55 S55 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420026580">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Microelectronicsent://SD_ILS/0/SD_ILS:5474892025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Whitaker, Jerry C.<br/>Yer Numarası TK7874 .M4587 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420037593">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision diagram techniques for micro- and nanoelectronic design handbookent://SD_ILS/0/SD_ILS:5474902025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Yanushkevich, Svetlana N.<br/>Yer Numarası T57.95 .I549 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420037586">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>EDA for IC implementation, circuit design, and process technologyent://SD_ILS/0/SD_ILS:5475002025-12-07T18:09:06Z2025-12-07T18:09:06ZYazar Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Lou.<br/>Yer Numarası TK7874 .E257 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420007954">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>