Arama Sonuçları Logic. - Daraltılmış: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026ps$003d300?dt=list
2024-11-25T18:22:48Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 practice
ent://SD_ILS/0/SD_ILS:90557
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Bourdieu, Pierre, 1930-2002<br/>Yer Numarası GN 468 B6813 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 probability
ent://SD_ILS/0/SD_ILS:35499
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 sciences
ent://SD_ILS/0/SD_ILS:72557
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 capitalism
ent://SD_ILS/0/SD_ILS:76042
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
The emotional logic of capitalism : what progressives have missed
ent://SD_ILS/0/SD_ILS:360634
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Konings, Martijn, 1975- author.<br/>Yer Numarası HB501 K5795 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The cultural logic of politics in mainland China and Taiwan
ent://SD_ILS/0/SD_ILS:363807
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Shi, Tianjian.<br/>Yer Numarası JQ1516 S55 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:518853
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Yer Numarası XX(518853.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518861
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518861.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518949
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Yer Numarası XX(518949.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519040
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519040.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519102
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519102.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23708-4">https://doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519103.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519118
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519118.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45824-2">https://doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:519268
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519268.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23165-5">https://doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
ent://SD_ILS/0/SD_ILS:519274
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Yer Numarası XX(519274.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23534-9">https://doi.org/10.1007/978-3-319-23534-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:519276
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519276.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518775
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518775.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518822.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519137.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 91 W72 1951 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Nicod, Jean, 1893-1924.<br/>Yer Numarası QA 681 N5 1930 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 6 W72 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Olasılık ve tümevarım mantığına giriş
ent://SD_ILS/0/SD_ILS:370908
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Hacking, Ian. Özdabak, İrfan.<br/>Yer Numarası BC141 H33 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 survey
ent://SD_ILS/0/SD_ILS:72542
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 positivism
ent://SD_ILS/0/SD_ILS:44223
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 processing
ent://SD_ILS/0/SD_ILS:76943
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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 processing
ent://SD_ILS/0/SD_ILS:79068
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar 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:85159
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
ent://SD_ILS/0/SD_ILS:237387
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Digital fundamentals
ent://SD_ILS/0/SD_ILS:374483
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Floyd, Thomas L.<br/>Yer Numarası TK7868.D5 F53 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Elektrik elektronik ve ölçme : uygulama kitabı
ent://SD_ILS/0/SD_ILS:379475
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Bereket, Metin Tekin, Engin.<br/>Yer Numarası TK7878 B47 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)
ent://SD_ILS/0/SD_ILS:385505
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Ladikli Mehmed Çelebi, -1495, contributor. Çapak, İbrahim. Öğmen, Mesud. Demir, Abdullah.<br/>Yer Numarası B740 M36 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mastermind : Sherlock Holmes gibi düşünmek
ent://SD_ILS/0/SD_ILS:360347
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Konnikova, Maria. Yeşiltuna, Zeynep.<br/>Yer Numarası BC108 K58 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Klasik mantık : (mantığa giriş)
ent://SD_ILS/0/SD_ILS:362480
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Çüçen, A. Kadir<br/>Yer Numarası BC59 C83 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:370446
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Özlem, Doğan.<br/>Yer Numarası BC117.T8 O6 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:370447
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Çüçen, A. Kadir.<br/>Yer Numarası BC117.T8 C46 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The normativity of nature : essays on Kant's Critique of judgement
ent://SD_ILS/0/SD_ILS:365155
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Ginsborg, Hannah, author.<br/>Yer Numarası B2784 G55 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
ent://SD_ILS/0/SD_ILS:518340
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518340.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)
ent://SD_ILS/0/SD_ILS:518342
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Ravi, V. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518342.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27212-2">https://doi.org/10.1007/978-3-319-27212-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Management in Pervasive Systems
ent://SD_ILS/0/SD_ILS:518375
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Colace, Francesco. editor. De Santo, Massimo. editor. Moscato, Vincenzo. editor. Picariello, Antonio. editor. Schreiber, Fabio A. editor.<br/>Yer Numarası XX(518375.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20062-0">https://doi.org/10.1007/978-3-319-20062-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518497
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518497.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Diffusion in Social Networks
ent://SD_ILS/0/SD_ILS:518499
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Yer Numarası XX(518499.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23105-1">https://doi.org/10.1007/978-3-319-23105-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518536
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Palacios-Marqués, Daniel. editor. Ribeiro Soriano, Domingo. editor. Huarng, Kun Huang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518536.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22204-2">https://doi.org/10.1007/978-3-319-22204-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518541
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Nóvoa, Henriqueta. editor. Drăgoicea, Monica. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518541.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14980-6">https://doi.org/10.1007/978-3-319-14980-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518763.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518878
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518878.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518891
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518891.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518953
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518953.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:519034
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519034.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519049
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519049.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519056
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Chiu, Dickson K. W. editor. Wang, Minhong. editor. Popescu, Elvira. editor. Li, Qing. editor. Lau, Rynson. editor.<br/>Yer Numarası XX(519056.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46315-4">https://doi.org/10.1007/978-3-662-46315-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519058
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Di Fatta, Giuseppe. editor. Fortino, Giancarlo. editor. Li, Wenfeng. editor. Pathan, Mukaddim. editor. Stahl, Frederic. editor.<br/>Yer Numarası XX(519058.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23237-9">https://doi.org/10.1007/978-3-319-23237-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519061
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519061.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48119-6">https://doi.org/10.1007/978-3-662-48119-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519079
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519079.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519080.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519087.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519094
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Chau, Michael. editor. Wang, G. Alan. editor. Chen, Hsinchun. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519094.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18455-5">https://doi.org/10.1007/978-3-319-18455-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web-Age Information Management WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519109
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Xiao, Xiaokui. editor. Zhang, Zhenjie. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519109.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23531-8">https://doi.org/10.1007/978-3-319-23531-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519113.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519117
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519117.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519119.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519237
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519237.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası XX(519299.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519301
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519301.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21398-9">https://doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519313
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası XX(519313.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:518439
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası XX(518439.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21437-5">https://doi.org/10.1007/978-3-319-21437-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518529.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Trappl, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518563.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518629
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Uden, Lorna. editor. Heričko, Marjan. editor. Ting, I-Hsien. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518629.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21009-4">https://doi.org/10.1007/978-3-319-21009-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Yer Numarası XX(518632.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
ent://SD_ILS/0/SD_ILS:518651
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Jureta, Ivan. author. SpringerLink (Online service)<br/>Yer Numarası XX(518651.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligence in the Era of Big Data 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518694
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Intan, Rolly. editor. Chi, Chi-Hung. editor. Palit, Henry N. editor. Santoso, Leo W. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518694.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46742-8">https://doi.org/10.1007/978-3-662-46742-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Industrial Engineering, Management Science and Applications 2015
ent://SD_ILS/0/SD_ILS:518706
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518706.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47200-2">https://doi.org/10.1007/978-3-662-47200-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518737
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518737.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25479-1">https://doi.org/10.1007/978-3-319-25479-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518797
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518797.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518798
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518798.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518814
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Bulling, Nils. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518814.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17130-2">https://doi.org/10.1007/978-3-319-17130-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518899
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Fromont, Elisa. editor. De Bie, Tijl. editor. van Leeuwen, Matthijs. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518899.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24465-5">https://doi.org/10.1007/978-3-319-24465-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518910
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Yer Numarası XX(518910.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518922
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518922.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518980
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518980.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519014
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519014.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519135
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519135.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519139.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519146.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:519154
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519154.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519157.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519161
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(519161.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519168
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519168.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519179
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519179.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28379-1">https://doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519225
2024-11-25T18:22:48Z
2024-11-25T18:22:48Z
Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519225.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>