Search Results for Languages. - Narrowed by: 2014SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2024-12-23T18:48:14ZIntroduction to programming languagesent://SD_ILS/0/SD_ILS:3123742024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bansal, Arvind Kumar.<br/>Preferred Shelf Number QA76.5 B36 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Natural Language Processing of Semitic Languagesent://SD_ILS/0/SD_ILS:4883732024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Zitouni, Imed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Languages of the unsayable : the play of negativity in literature and literary theoryent://SD_ILS/0/SD_ILS:636772024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Budick, Sanford, 1942- ed. Iser, Wolfgang, ed.<br/>Preferred Shelf Number PN 56.S55 L36 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Information on music : a handbook of reference sources in European languagesent://SD_ILS/0/SD_ILS:1155292024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Marco, Guy A 1927- Ferris, Sharon Paugh<br/>Preferred Shelf Number REF ML113 .M33 1975- V.1<br/>Format: Books<br/>Availability Conservatory Library~1<br/>Discourse grammar : studies in indiggenous languages of Colombia, Panama, and Ecuadorent://SD_ILS/0/SD_ILS:690972024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Longacre, R. E., ed. Woods, F., ed.<br/>Preferred Shelf Number P 302 D631 1976-<br/>Format: Books<br/>Availability Beytepe Library~3<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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Tekin, Şinasi, ed. Alpay, Gönül.<br/>Preferred Shelf Number PJ 307 D679 1970- V.3<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Foundations of fuzzy logic and semantic web languagesent://SD_ILS/0/SD_ILS:3427522024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Straccia, Umberto.<br/>Preferred Shelf Number ONLINE(342752.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439853481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal languages, automata and numeration systems. 1, Introduction to combinatorics on wordsent://SD_ILS/0/SD_ILS:3421652024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Rigo, Michel.<br/>Preferred Shelf Number ONLINE(342165.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>A prehistory of western North America the impact of Uto-Aztecan languagesent://SD_ILS/0/SD_ILS:3230432024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Shaul, David Leedom. Project Muse.<br/>Preferred Shelf Number ONLINE(323043.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780826354815/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:4879292024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Navarro Mesa, Juan Luis. editor. Ortega, Alfonso. editor. Teixeira, António. editor. Hernández Pérez, Eduardo. editor. Quintana Morales, Pedro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Abacı, Nurcan.<br/>Preferred Shelf Number KKX1610 O8812 2007 V.2<br/>Format: Books<br/>Availability Law Library~2<br/>Türk şiveleri lügati = (Divanü Lugat-it-Türk)ent://SD_ILS/0/SD_ILS:5069102024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Mahmud Kashgari, 11th cent. Dankoff, Robert.<br/>Preferred Shelf Number PL27 M34 1982 V.1<br/>Format: Books<br/>Availability Beytepe Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Sağol, Gülden. Tekin, Şinasi, 1933-2004. Alpay-Tekin, Gönül.<br/>Preferred Shelf Number BP131.13 K67 1993 V.1<br/>Format: Books<br/>Availability Beytepe Library~4<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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Ebü'l-Hayr-ı Rumî, active 1480-1489. İz, Fahir. Tekin, Şinasi.<br/>Preferred Shelf Number PL248.E28 S3 1974- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>Measured language quantitative studies of acquisition, assessment, and variationent://SD_ILS/0/SD_ILS:3223242024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Amoroso, Luke Wander., editor. Connor-Linton, Jeff., editor. Project Muse.<br/>Preferred Shelf Number ONLINE(322324.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781626160385/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Juan de Segovia and the fight for peace Christians and Muslims in the fifteenth centuryent://SD_ILS/0/SD_ILS:3228322024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Wolf, Anne Marie. Project Muse.<br/>Preferred Shelf Number ONLINE(322832.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780268096700/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Profession.ent://SD_ILS/0/SD_ILS:2292692024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Modern Language Association of America. Association of Departments of English. ADE bulletin. Association of Departments of Foreign Languages (U.S.). ADFL bulletin.<br/>Format: Continuing Resources Other<br/>Availability ~0<br/>Semantic theoryent://SD_ILS/0/SD_ILS:176472024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kempson, Ruth M.<br/>Preferred Shelf Number P 325 K44 1977<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Decolonising the mind : The politics of language in African literatureent://SD_ILS/0/SD_ILS:808772024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Ngugi wa Thiong'o, 1938-<br/>Preferred Shelf Number PL 8010 N48 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Context and culture in language teachingent://SD_ILS/0/SD_ILS:847922024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kramsch, Claire J.<br/>Preferred Shelf Number P 53.45 K73 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Reflective teaching in second language classroomsent://SD_ILS/0/SD_ILS:785462024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Richards, Jack C. Lockhart, Charles, 1954- ort. yaz.<br/>Preferred Shelf Number P 51 R485 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A companion to the philosophy of languageent://SD_ILS/0/SD_ILS:790062024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Hale, Bob, ed.<br/>Preferred Shelf Number P 106 C5945 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The theory of speech and languageent://SD_ILS/0/SD_ILS:838342024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Gardiner, Alan Henderson, Sir, 1879-1963.<br/>Preferred Shelf Number P 105 G25 1951<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Language test construction and evaluationent://SD_ILS/0/SD_ILS:844742024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Alderson, J. Charles. Clapham, Caroline, ort. yaz. Wall, Dianne, ort. yaz.<br/>Preferred Shelf Number P 53.4 A43 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Teaching language as communication / H. G. Widdowson.ent://SD_ILS/0/SD_ILS:846872024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Widdowson, H. G.<br/>Preferred Shelf Number P 51 W49 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Türkbilig : Türkoloji araştırmaları.ent://SD_ILS/0/SD_ILS:2279472024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Hacettepe Üniversitesi. Türk Dili ve Edebiyatı Bölümü.<br/>Preferred Shelf Number ALFABETİK V.2005<br/>Electronic Access <a href="http://www.turkbilig.com/">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~1 ~0<br/>Translation Studies in the New Millennium : An international journal of translation and interpretingent://SD_ILS/0/SD_ILS:2293822024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bilkent Üniversitesi<br/>Format: Continuing Resources Other<br/>Availability ~0<br/>Kontaktlinguistik : ein internationales Handbuch zeitgenössischer Forschungent://SD_ILS/0/SD_ILS:1544172024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Goebl, Hans.<br/>Format: Books<br/>Availability ~0<br/>The art of computer programmingent://SD_ILS/0/SD_ILS:443242024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Knuth, Donald E.<br/>Preferred Shelf Number QA 76.5 K57 1968- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>The spirit of language in civilizationent://SD_ILS/0/SD_ILS:724972024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Vossler, Karl, 1872-1949.<br/>Preferred Shelf Number P 105 V5713 1932 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introducing language in use a coursebookent://SD_ILS/0/SD_ILS:3445342024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bloomer, Aileen, 1947-<br/>Preferred Shelf Number ONLINE(344534.1)<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9781315884318">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The syntax of roots and the roots of syntaxent://SD_ILS/0/SD_ILS:3571782024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Alexiadou, Artemis, editor. Borer, Hagit, editor. Schäfer, Florian, editor.<br/>Preferred Shelf Number P291 S957 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to languageent://SD_ILS/0/SD_ILS:3573142024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Fromkin, Victoria. Rodman, Robert, author. Hyams, Nina M., 1952- author.<br/>Preferred Shelf Number P107 F76 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The social origins of languageent://SD_ILS/0/SD_ILS:3578242024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dor, Danny, 1951- editor of compilation. Knight, Chris, 1942- editor of compilation. Lewis, Jerome, editor of compilation.<br/>Preferred Shelf Number P116 S637 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Çağdaş Türk yazı dillerient://SD_ILS/0/SD_ILS:3624612024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Buran, Ahmet. Alkaya, Ercan. Yalçın, Süleyman Kaya.<br/>Preferred Shelf Number PL21 B87 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The impact of self-concept on language learningent://SD_ILS/0/SD_ILS:3911182024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Csizér, Kata, 1971- editor. Magid, Michael, 1974- editor.<br/>Preferred Shelf Number P53.445 I67 2014<br/>Format: Books<br/>Availability Beytepe Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Schriften zur Spracheent://SD_ILS/0/SD_ILS:3168612024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Humboldt, Wilhelm, Freiherr von, 1767-1835. Böhler, Michael.<br/>Preferred Shelf Number P105 H77 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Interaktionsforschung : gesprächsanalytische fallstudien und forschungspraxisent://SD_ILS/0/SD_ILS:3169442024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Schwarze, Cordula, editor. Konzett, Carmen, editor. Weidner, Claudia, cover designer.<br/>Preferred Shelf Number P105 I584 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Hellenistic Far East archaeology, language, and identity in Greek Central Asiaent://SD_ILS/0/SD_ILS:3240392024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Mairs, Rachel. Project Muse.<br/>Preferred Shelf Number ONLINE(324039.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780520959545/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Afro-Bolivian Spanish determiner phrase a microparametric accountent://SD_ILS/0/SD_ILS:3242722024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Sessarego, Sandro. Project Muse.<br/>Preferred Shelf Number ONLINE(324272.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780814273210/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Le langage au bout des doigts les liens fonctionnels entre la motricite et le langageent://SD_ILS/0/SD_ILS:3243812024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Nazir, Tatjana, editor of compilation. Frak, Victor, editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(324381.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9782760540057/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dil öğretiminde teknik ve ilkelerent://SD_ILS/0/SD_ILS:3390562024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Freeman, Diane Larsen. Calp, Mehrali çev.<br/>Preferred Shelf Number PE1128.A2 F87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The origins of language : a slim guideent://SD_ILS/0/SD_ILS:3572012024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Hurford, James R., author.<br/>Preferred Shelf Number P140 H87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The handbook of language socializationent://SD_ILS/0/SD_ILS:3579402024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Duranti, Alessandro. Ochs, Elinor. Schieffelin, Bambi B.<br/>Preferred Shelf Number P118 H3485 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Propaganda ve toplumsal zihinent://SD_ILS/0/SD_ILS:3607652024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Chomsky, Noam. Barsamian, David. Atam, Zahit.<br/>Preferred Shelf Number P85.C47 A519 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Dil bilimient://SD_ILS/0/SD_ILS:3612932024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bayraktar, Nesrin.<br/>Preferred Shelf Number P121 B39 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Türk dili tarihi : dönem, eser, bibliyografyaent://SD_ILS/0/SD_ILS:3116252024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Akar, Ali.<br/>Preferred Shelf Number PL21 A73 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Türk dilinin yurtları.ent://SD_ILS/0/SD_ILS:3116902024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Özkan, Nevzat.<br/>Preferred Shelf Number PL21 O95 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Reworking English in rhetoric and composition global interrogations, local interventionsent://SD_ILS/0/SD_ILS:3233192024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kopelson, Karen, 1967- editor of compilation. Horner, Bruce, 1957- editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(323319.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780809333394/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Routledge handbook of language and professional communicationent://SD_ILS/0/SD_ILS:3635962024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bhatia, V. K. (Vijay Kumar), 1942- editor. Bremner, Stephen, editor.<br/>Preferred Shelf Number P91.3 R685 2014<br/>Format: Books<br/>Availability Beytepe Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:4856722024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:4869522024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4873572024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dascălu, Mihai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Subtitles and Language Learning.ent://SD_ILS/0/SD_ILS:5075052024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Gambier, Yves. Caimi, Annamaria. Mariotti, Cristina.<br/>Preferred Shelf Number ONLİNE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Teaching and researching motivationent://SD_ILS/0/SD_ILS:3779492024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dörnyei, Zoltán. Ushioda, Ema.<br/>Preferred Shelf Number P118.2 D68 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor McCarthy, Jay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Politik der Sprache in der "konservativen Revolution"ent://SD_ILS/0/SD_ILS:4903672024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Hornacek, Milan, author.<br/>Preferred Shelf Number PT405 H676 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Assertion : new philosophical essaysent://SD_ILS/0/SD_ILS:3647982024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Brown, Jessica (Jessica Anne) Cappelen, Herman.<br/>Preferred Shelf Number P95.55 A87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dictionary of building and civil engineering : English, German, French, Dutch, Russianent://SD_ILS/0/SD_ILS:3713562024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Korchomkin, S. N., author. Kurbatov, S. V. (Sergeĭ Vasilʹevich), author. Sheikhon, N. B. author. Viljkovyskaja, G. B. author.<br/>Preferred Shelf Number TA9 K67 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Matlab ile programlama : çözümlü ve açıklamalı uygulamalarent://SD_ILS/0/SD_ILS:3152832024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Dal, Deniz<br/>Preferred Shelf Number QA76 .7 D25 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Türkoloji için dilbilim: konular kavramlar teorilerent://SD_ILS/0/SD_ILS:3115652024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Demirci, Kerim.<br/>Preferred Shelf Number PL121 D46 2014<br/>Format: Books<br/>Availability Beytepe Library~4<br/>Perspectives of gender and language in Cameroonian contextsent://SD_ILS/0/SD_ILS:3226882024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Atanga, Lilian Lem, editor. Project Muse, distributor. Project Muse.<br/>Preferred Shelf Number ONLINE(322688.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9789956791309/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Plateau Indian Ways with Words the Rhetorical Tradition of the Tribes of the Inland Pacific Northwestent://SD_ILS/0/SD_ILS:3230982024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Monroe, Barbara. Project Muse.<br/>Preferred Shelf Number ONLINE(323098.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780822979562/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The rose and geryon the poetics of fraud and violence in Jean de Meun and Danteent://SD_ILS/0/SD_ILS:3231472024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Baika, Gabriella I. Project Muse.<br/>Preferred Shelf Number ONLINE(323147.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780813226101/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>English-German glossary of Namibian termsent://SD_ILS/0/SD_ILS:3218182024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Teichmann, Regine von, editor. Lowe, Andrea, editor. Hügel, Hanne, editor. Grassmann, Heide, editor. Eichoff, Hella, editor.<br/>Preferred Shelf Number ONLINE(321818.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9789991642048/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Incapacity Wittgenstein, anxiety, and performance behaviorent://SD_ILS/0/SD_ILS:3233892024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Golub, Spencer, author. Project Muse.<br/>Preferred Shelf Number ONLINE(323389.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780810167797/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Duns Scotus on time and existence the questions on Aristotle's On interpretationent://SD_ILS/0/SD_ILS:3239732024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Duns Scotus, John, approximately 1266-1308. Buckner, Edward, 1955- translator. Project Muse.<br/>Preferred Shelf Number ONLINE(323973.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780813226040/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The linguistic dimension of Kant's thought historical and critical essaysent://SD_ILS/0/SD_ILS:3240252024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Velkley, Richard L., editor of compilation. Schalow, Frank, 1956- editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(324025.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780810167841/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python Programming Fundamentalsent://SD_ILS/0/SD_ILS:4876062024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Evolution of Social Communication in Primates A Multidisciplinary Approachent://SD_ILS/0/SD_ILS:4882982024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Pina, Marco. editor. Gontier, Nathalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Sprachwissenschaft und Fremdsprachenunterricht : Spracherwerb und Sprachkompetenzen im Fokusent://SD_ILS/0/SD_ILS:4904842024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Bürgel, Christoph, 1971- editor. Siepmann, Dirk, 1966- editor.<br/>Preferred Shelf Number P51 S65 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dil kültür ilişkisi ve edebi eserlerdeki yansımasıent://SD_ILS/0/SD_ILS:5057242024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kurt, Gülnaz.<br/>Preferred Shelf Number P35 K878 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:4875792024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to discourse analysis : theory and methodent://SD_ILS/0/SD_ILS:3651312024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Gee, James Paul, author.<br/>Preferred Shelf Number P302 G4 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>50 soruda dil felsefesient://SD_ILS/0/SD_ILS:3665412024-12-23T18:48:14Z2024-12-23T18:48:14ZAuthor Altınörs, Atakan<br/>Preferred Shelf Number B809.15 A48 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>