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:33:23ZIntroduction to programming languagesent://SD_ILS/0/SD_ILS:3123742024-12-23T18:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor Goebl, Hans.<br/>Format: Books<br/>Availability ~0<br/>The art of computer programmingent://SD_ILS/0/SD_ILS:443242024-12-23T18:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor Ö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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor 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:33:23Z2024-12-23T18:33:23ZAuthor Altınörs, Atakan<br/>Preferred Shelf Number B809.15 A48 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>