Arama Sonuçları Languages. - Daraltılmış: 2014SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguages.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026ps$003d300$0026isd$003dtrue?dt=list2024-10-15T14:27:27ZIntroduction to programming languagesent://SD_ILS/0/SD_ILS:3123742024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bansal, Arvind Kumar.<br/>Yer Numarası QA76.5 B36 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing of Semitic Languagesent://SD_ILS/0/SD_ILS:4883732024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Zitouni, Imed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45358-8">https://doi.org/10.1007/978-3-642-45358-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages of the unsayable : the play of negativity in literature and literary theoryent://SD_ILS/0/SD_ILS:636772024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Budick, Sanford, 1942- ed. Iser, Wolfgang, ed.<br/>Yer Numarası PN 56.S55 L36 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Doğu dilleri ve edebiyatlarının kaynakları : Türkçe kaynaklar = Sources of Oriental languages and literatures : Turkic sourcesent://SD_ILS/0/SD_ILS:737202024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Tekin, Şinasi, ed. Alpay, Gönül.<br/>Yer Numarası PJ 307 D679 1970- V.3<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Information on music : a handbook of reference sources in European languagesent://SD_ILS/0/SD_ILS:1155292024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Marco, Guy A 1927- Ferris, Sharon Paugh<br/>Yer Numarası REF ML113 .M33 1975- V.1<br/>Format: Kitap<br/>Durum Konservatuvar Kütüphanesi~1<br/>Discourse grammar : studies in indiggenous languages of Colombia, Panama, and Ecuadorent://SD_ILS/0/SD_ILS:690972024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Longacre, R. E., ed. Woods, F., ed.<br/>Yer Numarası P 302 D631 1976-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Foundations of fuzzy logic and semantic web languagesent://SD_ILS/0/SD_ILS:3427522024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Straccia, Umberto.<br/>Yer Numarası ONLINE(342752.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439853481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A prehistory of western North America the impact of Uto-Aztecan languagesent://SD_ILS/0/SD_ILS:3230432024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Shaul, David Leedom. Project Muse.<br/>Yer Numarası ONLINE(323043.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780826354815/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal languages, automata and numeration systems. 1, Introduction to combinatorics on wordsent://SD_ILS/0/SD_ILS:3421652024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Rigo, Michel.<br/>Yer Numarası ONLINE(342165.1)<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119008200">http://dx.doi.org/10.1002/9781119008200</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119042853">http://dx.doi.org/10.1002/9781119042853</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854462024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874542024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43376-8">https://doi.org/10.1007/978-3-662-43376-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Majkić, Zoran. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4894212024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09967-5">https://doi.org/10.1007/978-3-319-09967-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2014 Conference, Las Palmas de Gran Canaria, Spain, November 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4878062024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Navarro Mesa, Juan Luis. editor. Ortega, Alfonso. editor. Teixeira, António. editor. Hernández Pérez, Eduardo. editor. Quintana Morales, Pedro. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13623-3">https://doi.org/10.1007/978-3-319-13623-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Fernández, Maribel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:4879292024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Türk şiveleri lügati = (Divanü Lugat-it-Türk)ent://SD_ILS/0/SD_ILS:5069102024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Mahmud Kashgari, 11th cent. Dankoff, Robert.<br/>Yer Numarası PL27 M34 1982 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Harezm Türkçesi satır arası Kur'an tercümesi : giriş, metin, sözlük ve tıpkıbasım = an Inter-linear translation of the Qur'an into Khwarazm Turkish : introduction, text, glossary and facsimileent://SD_ILS/0/SD_ILS:5069152024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Sağol, Gülden. Tekin, Şinasi, 1933-2004. Alpay-Tekin, Gönül.<br/>Yer Numarası BP131.13 K67 1993 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~4<br/>The Ottoman judges and their registers : The Bursa Court register B-90/295 (Dated AH 1081/ AD 1670-71 = Osmanlı kadıları ve sicilleri : Bursa mahkemesi B-90/250 numaralı sicili (Tarih: 1081/1670-1671)ent://SD_ILS/0/SD_ILS:5068842024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Abacı, Nurcan.<br/>Yer Numarası KKX1610 O8812 2007 V.2<br/>Format: Kitap<br/>Durum Hukuk Kütüphanesi~2<br/>Saltuk-name : the legend of Sarı Saltuk = Ebu'l Hayr Rumi'nin sözlü rivayetlerinden topladığı Sarı Saltuk menakibient://SD_ILS/0/SD_ILS:5072702024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Ebü'l-Hayr-ı Rumî, active 1480-1489. İz, Fahir. Tekin, Şinasi.<br/>Yer Numarası PL248.E28 S3 1974- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~7<br/>Measured language quantitative studies of acquisition, assessment, and variationent://SD_ILS/0/SD_ILS:3223242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Amoroso, Luke Wander., editor. Connor-Linton, Jeff., editor. Project Muse.<br/>Yer Numarası ONLINE(322324.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9781626160385/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Juan de Segovia and the fight for peace Christians and Muslims in the fifteenth centuryent://SD_ILS/0/SD_ILS:3228322024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Wolf, Anne Marie. Project Muse.<br/>Yer Numarası ONLINE(322832.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780268096700/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Profession.ent://SD_ILS/0/SD_ILS:2292692024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Modern Language Association of America. Association of Departments of English. ADE bulletin. Association of Departments of Foreign Languages (U.S.). ADFL bulletin.<br/>Format: Devam Eden Süreli Yayınlar Diğer<br/>Durum ~0<br/>Türkbilig : Türkoloji araştırmaları.ent://SD_ILS/0/SD_ILS:2279472024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Hacettepe Üniversitesi. Türk Dili ve Edebiyatı Bölümü.<br/>Yer Numarası ALFABETİK V.2005<br/>Elektronik Erişim <a href="http://www.turkbilig.com/">Elektronik eri?im</a><br/>Format: Devam Eden Süreli Yayınlar Diğer<br/>Durum Beytepe Kütüphanesi~1 ~0<br/>Translation Studies in the New Millennium : An international journal of translation and interpretingent://SD_ILS/0/SD_ILS:2293822024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bilkent Üniversitesi<br/>Format: Devam Eden Süreli Yayınlar Diğer<br/>Durum ~0<br/>Semantic theoryent://SD_ILS/0/SD_ILS:176472024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kempson, Ruth M.<br/>Yer Numarası P 325 K44 1977<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The spirit of language in civilizationent://SD_ILS/0/SD_ILS:724972024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Vossler, Karl, 1872-1949.<br/>Yer Numarası P 105 V5713 1932 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Reflective teaching in second language classroomsent://SD_ILS/0/SD_ILS:785462024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Richards, Jack C. Lockhart, Charles, 1954- ort. yaz.<br/>Yer Numarası P 51 R485 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A companion to the philosophy of languageent://SD_ILS/0/SD_ILS:790062024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Hale, Bob, ed.<br/>Yer Numarası P 106 C5945 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Decolonising the mind : The politics of language in African literatureent://SD_ILS/0/SD_ILS:808772024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Ngugi wa Thiong'o, 1938-<br/>Yer Numarası PL 8010 N48 1986<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The theory of speech and languageent://SD_ILS/0/SD_ILS:838342024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Gardiner, Alan Henderson, Sir, 1879-1963.<br/>Yer Numarası P 105 G25 1951<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Context and culture in language teachingent://SD_ILS/0/SD_ILS:847922024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kramsch, Claire J.<br/>Yer Numarası P 53.45 K73 1993<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The art of computer programmingent://SD_ILS/0/SD_ILS:443242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Knuth, Donald E.<br/>Yer Numarası QA 76.5 K57 1968- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~7<br/>Language test construction and evaluationent://SD_ILS/0/SD_ILS:844742024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Alderson, J. Charles. Clapham, Caroline, ort. yaz. Wall, Dianne, ort. yaz.<br/>Yer Numarası P 53.4 A43 1995<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Teaching language as communication / H. G. Widdowson.ent://SD_ILS/0/SD_ILS:846872024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Widdowson, H. G.<br/>Yer Numarası P 51 W49 1978<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Kontaktlinguistik : ein internationales Handbuch zeitgenössischer Forschungent://SD_ILS/0/SD_ILS:1544172024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Goebl, Hans.<br/>Format: Kitap<br/>Durum ~0<br/>Türkoloji için dilbilim: konular kavramlar teorilerent://SD_ILS/0/SD_ILS:3115652024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Demirci, Kerim.<br/>Yer Numarası PL121 D46 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~4<br/>The syntax of roots and the roots of syntaxent://SD_ILS/0/SD_ILS:3571782024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Alexiadou, Artemis, editor. Borer, Hagit, editor. Schäfer, Florian, editor.<br/>Yer Numarası P291 S957 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Propaganda ve toplumsal zihinent://SD_ILS/0/SD_ILS:3607652024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Chomsky, Noam. Barsamian, David. Atam, Zahit.<br/>Yer Numarası P85.C47 A519 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Assertion : new philosophical essaysent://SD_ILS/0/SD_ILS:3647982024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Brown, Jessica (Jessica Anne) Cappelen, Herman.<br/>Yer Numarası P95.55 A87 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dictionary of building and civil engineering : English, German, French, Dutch, Russianent://SD_ILS/0/SD_ILS:3713562024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Korchomkin, S. N., author. Kurbatov, S. V. (Sergeĭ Vasilʹevich), author. Sheikhon, N. B. author. Viljkovyskaja, G. B. author.<br/>Yer Numarası TA9 K67 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dil öğretiminde teknik ve ilkelerent://SD_ILS/0/SD_ILS:3390562024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Freeman, Diane Larsen. Calp, Mehrali çev.<br/>Yer Numarası PE1128.A2 F87 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introducing language in use a coursebookent://SD_ILS/0/SD_ILS:3445342024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bloomer, Aileen, 1947-<br/>Yer Numarası ONLINE(344534.1)<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9781315884318">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The social origins of languageent://SD_ILS/0/SD_ILS:3578242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dor, Danny, 1951- editor of compilation. Knight, Chris, 1942- editor of compilation. Lewis, Jerome, editor of compilation.<br/>Yer Numarası P116 S637 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The handbook of language socializationent://SD_ILS/0/SD_ILS:3579402024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Duranti, Alessandro. Ochs, Elinor. Schieffelin, Bambi B.<br/>Yer Numarası P118 H3485 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dil bilimient://SD_ILS/0/SD_ILS:3612932024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bayraktar, Nesrin.<br/>Yer Numarası P121 B39 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Çağdaş Türk yazı dillerient://SD_ILS/0/SD_ILS:3624612024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Buran, Ahmet. Alkaya, Ercan. Yalçın, Süleyman Kaya.<br/>Yer Numarası PL21 B87 2014 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Routledge handbook of language and professional communicationent://SD_ILS/0/SD_ILS:3635962024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bhatia, V. K. (Vijay Kumar), 1942- editor. Bremner, Stephen, editor.<br/>Yer Numarası P91.3 R685 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Perspectives of gender and language in Cameroonian contextsent://SD_ILS/0/SD_ILS:3226882024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Atanga, Lilian Lem, editor. Project Muse, distributor. Project Muse.<br/>Yer Numarası ONLINE(322688.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9789956791309/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Plateau Indian Ways with Words the Rhetorical Tradition of the Tribes of the Inland Pacific Northwestent://SD_ILS/0/SD_ILS:3230982024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Monroe, Barbara. Project Muse.<br/>Yer Numarası ONLINE(323098.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780822979562/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The rose and geryon the poetics of fraud and violence in Jean de Meun and Danteent://SD_ILS/0/SD_ILS:3231472024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Baika, Gabriella I. Project Muse.<br/>Yer Numarası ONLINE(323147.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780813226101/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Incapacity Wittgenstein, anxiety, and performance behaviorent://SD_ILS/0/SD_ILS:3233892024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Golub, Spencer, author. Project Muse.<br/>Yer Numarası ONLINE(323389.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780810167797/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Duns Scotus on time and existence the questions on Aristotle's On interpretationent://SD_ILS/0/SD_ILS:3239732024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Duns Scotus, John, approximately 1266-1308. Buckner, Edward, 1955- translator. Project Muse.<br/>Yer Numarası ONLINE(323973.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780813226040/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The linguistic dimension of Kant's thought historical and critical essaysent://SD_ILS/0/SD_ILS:3240252024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Velkley, Richard L., editor of compilation. Schalow, Frank, 1956- editor of compilation. Project Muse.<br/>Yer Numarası ONLINE(324025.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780810167841/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Afro-Bolivian Spanish determiner phrase a microparametric accountent://SD_ILS/0/SD_ILS:3242722024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Sessarego, Sandro. Project Muse.<br/>Yer Numarası ONLINE(324272.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780814273210/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The origins of language : a slim guideent://SD_ILS/0/SD_ILS:3572012024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Hurford, James R., author.<br/>Yer Numarası P140 H87 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An introduction to languageent://SD_ILS/0/SD_ILS:3573142024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Fromkin, Victoria. Rodman, Robert, author. Hyams, Nina M., 1952- author.<br/>Yer Numarası P107 F76 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855972024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4872462024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4873572024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Stephenson, Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14240-1">https://doi.org/10.1007/978-3-319-14240-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875402024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:4875792024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python Programming Fundamentalsent://SD_ILS/0/SD_ILS:4876062024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6642-9">https://doi.org/10.1007/978-1-4471-6642-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4877632024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4884252024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analyzing Discourse and Text Complexity for Learning and Collaborating A Cognitive Approach Based on Natural Language Processingent://SD_ILS/0/SD_ILS:4888972024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dascălu, Mihai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03419-5">https://doi.org/10.1007/978-3-319-03419-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889262024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889362024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889652024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894002024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dil kültür ilişkisi ve edebi eserlerdeki yansımasıent://SD_ILS/0/SD_ILS:5057242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kurt, Gülnaz.<br/>Yer Numarası P35 K878 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Subtitles and Language Learning.ent://SD_ILS/0/SD_ILS:5075052024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Gambier, Yves. Caimi, Annamaria. Mariotti, Cristina.<br/>Yer Numarası ONLİNE<br/>Elektronik Erişim <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=904681">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=904681</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856672024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856912024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857252024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:4869522024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Vohra, Deepak. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Evolution of Social Communication in Primates A Multidisciplinary Approachent://SD_ILS/0/SD_ILS:4882982024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Pina, Marco. editor. Gontier, Nathalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-02669-5">https://doi.org/10.1007/978-3-319-02669-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4889802024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890032024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890132024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890412024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4896222024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4896342024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar McCarthy, Jay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Politik der Sprache in der "konservativen Revolution"ent://SD_ILS/0/SD_ILS:4903672024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Hornacek, Milan, author.<br/>Yer Numarası PT405 H676 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sprachwissenschaft und Fremdsprachenunterricht : Spracherwerb und Sprachkompetenzen im Fokusent://SD_ILS/0/SD_ILS:4904842024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Bürgel, Christoph, 1971- editor. Siepmann, Dirk, 1966- editor.<br/>Yer Numarası P51 S65 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Teaching and researching motivationent://SD_ILS/0/SD_ILS:3779492024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dörnyei, Zoltán. Ushioda, Ema.<br/>Yer Numarası P118.2 D68 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Türk dili tarihi : dönem, eser, bibliyografyaent://SD_ILS/0/SD_ILS:3116252024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Akar, Ali.<br/>Yer Numarası PL21 A73 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Türk dilinin yurtları.ent://SD_ILS/0/SD_ILS:3116902024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Özkan, Nevzat.<br/>Yer Numarası PL21 O95 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Matlab ile programlama : çözümlü ve açıklamalı uygulamalarent://SD_ILS/0/SD_ILS:3152832024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Dal, Deniz<br/>Yer Numarası QA76 .7 D25 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Schriften zur Spracheent://SD_ILS/0/SD_ILS:3168612024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Humboldt, Wilhelm, Freiherr von, 1767-1835. Böhler, Michael.<br/>Yer Numarası P105 H77 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>English-German glossary of Namibian termsent://SD_ILS/0/SD_ILS:3218182024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Teichmann, Regine von, editor. Lowe, Andrea, editor. Hügel, Hanne, editor. Grassmann, Heide, editor. Eichoff, Hella, editor.<br/>Yer Numarası ONLINE(321818.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9789991642048/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reworking English in rhetoric and composition global interrogations, local interventionsent://SD_ILS/0/SD_ILS:3233192024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Kopelson, Karen, 1967- editor of compilation. Horner, Bruce, 1957- editor of compilation. Project Muse.<br/>Yer Numarası ONLINE(323319.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780809333394/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Hellenistic Far East archaeology, language, and identity in Greek Central Asiaent://SD_ILS/0/SD_ILS:3240392024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Mairs, Rachel. Project Muse.<br/>Yer Numarası ONLINE(324039.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780520959545/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Le langage au bout des doigts les liens fonctionnels entre la motricite et le langageent://SD_ILS/0/SD_ILS:3243812024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Nazir, Tatjana, editor of compilation. Frak, Victor, editor of compilation. Project Muse.<br/>Yer Numarası ONLINE(324381.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9782760540057/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interaktionsforschung : gesprächsanalytische fallstudien und forschungspraxisent://SD_ILS/0/SD_ILS:3169442024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Schwarze, Cordula, editor. Konzett, Carmen, editor. Weidner, Claudia, cover designer.<br/>Yer Numarası P105 I584 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845312024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:4856722024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to discourse analysis : theory and methodent://SD_ILS/0/SD_ILS:3651312024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Gee, James Paul, author.<br/>Yer Numarası P302 G4 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>50 soruda dil felsefesient://SD_ILS/0/SD_ILS:3665412024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Altınörs, Atakan<br/>Yer Numarası B809.15 A48 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The impact of self-concept on language learningent://SD_ILS/0/SD_ILS:3911182024-10-15T14:27:27Z2024-10-15T14:27:27ZYazar Csizér, Kata, 1971- editor. Magid, Michael, 1974- editor.<br/>Yer Numarası P53.445 I67 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>